Dependable Computing First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings /
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2003.
|
Έκδοση: | 1st ed. 2003. |
Σειρά: | Lecture Notes in Computer Science,
2847 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.