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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Maziero, Carlos Alberto (Editor ), Silva, João Gabriel (Editor ), Andrade, Aline Maria Santos (Editor ), Assis Silva, Flávio Morais de (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Theoretical Computer Science and General Issues, 3747
Temas:
Computer science.
Computers, Special purpose.
Electronic digital computers > Evaluation.
Software engineering.
Logic design.
Coding theory.
Information theory.
Theory of Computation.
Special Purpose and Application-Based Systems.
System Performance and Evaluation.
Software Engineering.
Logic Design.
Coding and Information Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Invited Talks
  • Probabilistic Validation of Computer System Survivability
  • Timed Asynchronous Distributed Systems
  • WLAN in Automation - More Than an Academic Exercise?
  • Evaluation
  • Using Stratified Sampling for Fault Injection
  • A Methodology for the Automated Identification of Buffer Overflow Vulnerabilities in Executable Software Without Source-Code
  • Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension
  • Certification
  • Airborne Software Concerns in Civil Aviation Certification
  • Modelling
  • A Method for Modeling and Testing Exceptions in Component-Based Software Development
  • Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars
  • The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems
  • Embedded Systems
  • Soft Error Mitigation in Cache Memories of Embedded Systems by Means of a Protected Scheme
  • On the Effects of Errors During Boot
  • A Fault Tolerant Approach to Object Oriented Design and Synthesis of Embedded Systems
  • Time
  • Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults
  • On the Monitoring Period for Fault-Tolerant Sensor Networks
  • Adapting Failure Detectors to Communication Network Load Fluctuations Using SNMP and Artificial Neural Nets
  • Distributed Systems Algorithms
  • Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution
  • Generating Fast Atomic Commit from Hyperfast Consensus
  • Group-Based Replication of On-Line Transaction Processing Servers
  • Workshops
  • Third Workshop on Theses and Dissertations on Dependable Computing
  • Latin-American Workshop on Dependable Automation Systems
  • Tutorials
  • Software Architectures for Dependable Systems
  • Fault-Tolerant Techniques for Concurrent Objects
  • Agreement Protocols in Environments with Temporal Uncertainties.

Ejemplares similares