Skip to main content
SpringerLink
Log in

Dependable Computing

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

  • Conference proceedings
  • © 2005

Overview

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)

Included in the following conference series:

Conference proceedings info: LADC 2005.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Front Matter

    Download chapter 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

    2. A Methodology for the Automated Identification of Buffer Overflow Vulnerabilities in Executable Software Without Source-Code

      • João Durães, Henrique Madeira
      Pages 20-34

    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

    1. Soft Error Mitigation in Cache Memories of Embedded Systems by Means of a Protected Scheme

      • Hamid R. Zarandi, Seyed Ghassem Miremadi
      Pages 121-130

    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

Keywords

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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation