Dependable Computing [electronic resource] : First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings /
Material type: TextSeries: Lecture Notes in Computer Science ; 2847Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003Edition: 1st ed. 2003Description: XIV, 374 p. online resourceContent type:- text
- computer
- online resource
- 9783540452140
- Computer science
- Computers, Special purpose
- Electronic digital computers -- Evaluation
- Software engineering
- Operating systems (Computers)
- Coding theory
- Information theory
- Theory of Computation
- Special Purpose and Application-Based Systems
- System Performance and Evaluation
- Software Engineering
- Operating Systems
- Coding and Information Theory
- 004.0151 23
- QA75.5-76.95
Invited Talks -- Dependability Benchmarking: How Far Are We? -- Safety-Critical Systems in Air Traffic Management -- Managed Utility Computing: The Grid as Management Backplane -- Fault Injection -- Plug and Play Fault Injector for Dependability Benchmarking -- Non-intrusive Software-Implemented Fault Injection in Embedded Systems -- Constraints on the Use of Boundary-Scan for Fault Injection -- A Strategy for Validating an ODBMS Component Using a High-Level Software Fault Injection Tool -- Heavy-Ion Fault Injections in the Time-Triggered Communication Protocol -- Security -- Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures -- Building Trust Chains between CORBA Objects -- An Architecture for On-the-Fly File Integrity Checking -- Fault Injection Tool for Network Security Evaluation -- Adaptive Fault Tolerance -- Emulation of Software Faults: Representativeness and Usefulness -- Managing Adaptive Fault Tolerant CORBA Applications -- Adaptable Objects for Dependability -- A Genetic Algorithm for Fault-Tolerant System Design -- Distributed Algorithms -- Cyclic Strategies for Balanced and Fault-Tolerant Distributed Storage -- DisCusS and FuSe: Considering Modularity, Genericness, and Adaptation in the Development of Consensus and Fault Detection Services -- A Lightweight Interface to Predict Communication Delays Using Time Series -- A New Diagnosis Algorithm for Regular Interconnected Structures -- Components and Fault Tolerance -- A Tool for Fault Injection and Conformance Testing of Distributed Systems -- A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation -- An Architectural-Level Exception-Handling System for Component-Based Applications -- On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems -- Panel -- Panel“Dependability Benchmarks: Can We Rely on Them?” -- Workshops -- Workshop on Safety: Computer Systems in Critical Applications -- Second Workshop on Theses and Dissertations in Dependable Computing -- Tutorials -- Development of Safety-Critical Systems and Model-Based Risk Analysis with UML -- On the Cost of Fault-Tolerant Consensus When There Are No Faults – A Tutorial -- A Practical Approach to Quality Assurance in Critical Systems.
There are no comments on this title.