Advertisement

Dependable Computing

Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings

  • Carlos Alberto Maziero
  • João Gabriel Silva
  • Aline Maria Santos Andrade
  • Flávio Morais de Assis Silva
Conference proceedings LADC 2005

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3747)

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Evaluation

    1. Regina Lúcia O. de Moraes, Eliane Martins, Elaine C. Catapani Poletti, Naaliel Vicente Mendes
      Pages 9-19
    2. Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico
      Pages 35-51
  4. Certification

    1. Benedito Sakugawa, Edson Cury, Edgar Toshiro Yano
      Pages 52-60
  5. Modelling

    1. Patrick Henrique da S. Brito, Camila Ribeiro Rocha, Fernando Castor Filho, Eliane Martins, Cecília M. Fischer Rubira
      Pages 61-79
    2. Fernando L. Dotti, Odorico M. Mendizabal, Osmar M. dos Santos
      Pages 80-100
    3. Christian Buckl, Alois Knoll, Gerhard Schrott
      Pages 101-120
  6. Embedded Systems

    1. Mário Zenha-Rela, João Carlos Cunha, Carlos Bruno Silva, Luís Ferreira da Silva
      Pages 131-142
    2. M. Fazeli, R. Farivar, S. Hessabi, S. G. Miremadi
      Pages 143-153
  7. Time

  8. Distributed Systems Algorithms

    1. HariGovind V. Ramasamy, Adnan Agbaria, William H. Sanders
      Pages 206-225
    2. Fabíola Gonçalves Pereira Greve, Jean-Pierre Le Narzul
      Pages 226-244
    3. A. Correia Jr., A. Sousa, L. Soares, J. Pereira, F. Moura, R. Oliveira
      Pages 245-260
  9. Workshops

    1. Avelino Zorzo, Ingrid Jansch-Pôrto, Fabíola Gonçalves Pereira Greve
      Pages 261-261
    2. Herman Augusto Lepikson, Leandro Buss Becker
      Pages 262-262
  10. Tutorials

    1. Rogério de Lemos, Paulo Asterio de Castro Guerra
      Pages 263-264
    2. Rachid Guerraoui, Michel Raynal
      Pages 265-265
    3. Fabíola Gonçalves Pereira Greve
      Pages 266-266
  11. Back Matter

About these proceedings

Keywords

Processing Scheduling WLAN algorithms architecture communication dependable computing distributed systems algorithms embedded systems fault-tolerant systems high integrity systems modeling object oriented design quality assurance real-time systems

Editors and affiliations

  • Carlos Alberto Maziero
    • 1
  • João Gabriel Silva
    • 2
  • Aline Maria Santos Andrade
    • 3
  • Flávio Morais de Assis Silva
    • 3
  1. 1.Pontifícia Universidade Católica do Paraná (PUCPR), PPGIAParanáBrazil
  2. 2.Dept. Engenharia Informática/CISUC Universidade de Coimbra - Polo IICoimbraPortugal
  3. 3.Universidade Federal da Bahia (UFBA), Prédio do CPDSalvadorBrazil

Bibliographic information

  • DOI https://doi.org/10.1007/11572329
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-29572-3
  • Online ISBN 978-3-540-32092-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site