Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2005

Dependable Computing

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

Editors:

  1. Carlos Alberto Maziero

    1. Pontifícia Universidade Católica do Paraná (PUCPR), PPGIA, Paraná, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. João Gabriel Silva

    1. Dept. Engenharia Informática/CISUC Universidade de Coimbra - Polo II, Coimbra, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Aline Maria Santos Andrade

    1. Universidade Federal da Bahia (UFBA), Prédio do CPD, Salvador, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Flávio Morais Assis Silva

    1. Universidade Federal da Bahia (UFBA), Prédio do CPD, Salvador, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): LADC: Latin-American Symposium on Dependable Computing

Conference proceedings info: LADC 2005.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (24 papers)

  1. Front Matter

    PDF

  3. Evaluation

    1. Using Stratified Sampling for Fault Injection

      • Regina Lúcia O. de Moraes, Eliane Martins, Elaine C. Catapani Poletti, Naaliel Vicente Mendes
      Pages 9-19

    3. Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension

      • Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico
      Pages 35-51

  4. Certification

    1. Airborne Software Concerns in Civil Aviation Certification

      • Benedito Sakugawa, Edson Cury, Edgar Toshiro Yano
      Pages 52-60

  5. Modelling

    1. A Method for Modeling and Testing Exceptions in Component-Based Software Development

      • Patrick Henrique da S. Brito, Camila Ribeiro Rocha, Fernando Castor Filho, Eliane Martins, Cecília M. Fischer Rubira
      Pages 61-79

    2. Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars

      • Fernando L. Dotti, Odorico M. Mendizabal, Osmar M. dos Santos
      Pages 80-100

    3. The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems

      • Christian Buckl, Alois Knoll, Gerhard Schrott
      Pages 101-120

  6. Embedded Systems

    2. On the Effects of Errors During Boot

      • Mário Zenha-Rela, João Carlos Cunha, Carlos Bruno Silva, Luís Ferreira da Silva
      Pages 131-142

    3. A Fault Tolerant Approach to Object Oriented Design and Synthesis of Embedded Systems

      • M. Fazeli, R. Farivar, S. Hessabi, S. G. Miremadi
      Pages 143-153

  8. Distributed Systems Algorithms

    1. Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution

      • HariGovind V. Ramasamy, Adnan Agbaria, William H. Sanders
      Pages 206-225

    2. Generating Fast Atomic Commit from Hyperfast Consensus

      • Fabíola Gonçalves Pereira Greve, Jean-Pierre Le Narzul
      Pages 226-244

    3. Group-Based Replication of On-Line Transaction Processing Servers

      • A. Correia Jr., A. Sousa, L. Soares, J. Pereira, F. Moura, R. Oliveira
      Pages 245-260
Back to top

Other Volumes

  1. Dependable Computing

Back to top

Keywords

Back to top

Editors and Affiliations

  • Pontifícia Universidade Católica do Paraná (PUCPR), PPGIA, Paraná, Brazil

    Carlos Alberto Maziero

  • Dept. Engenharia Informática/CISUC Universidade de Coimbra - Polo II, Coimbra, Portugal

    João Gabriel Silva

  • Universidade Federal da Bahia (UFBA), Prédio do CPD, Salvador, Brazil

    Aline Maria Santos Andrade, Flávio Morais Assis Silva

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation