Dependable computing : first Latin-American symposium, LADC 2003, Sao Paulo, Brazil, october 21-24, 2003 : proceedings
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | , , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colecção: | Lecture notes in computer science
2847 |
| Assuntos: | |
| Acesso em linha: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Dependable computing, first Latin-American symposium, LADC 2003, Sao Paulo, Brazil, october 21-24, 2003, proceedings, Rogério de Lemos, Taisy Silva Weber, João Batista Camargo, Jr. (eds.), Berlin, Springer, 2003, 1 vol. (XIV-370 p.), Lecture notes in computer science, 3-540-20224-2 • Dependable Computing, Texte imprimé, 9783662191163 |
Sumário:
- 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.