Dependable Computing First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings / edited by Rogério le Lemos, Taisy Silva Weber, Joao Batista Camargo Jr.

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Lemos, Rogério le (Editor), Silva Weber, Taisy (Editor), Camargo Jr., Joao Batista (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
Edition:	1st ed. 2003.
Series:	Lecture Notes in Computer Science, 2847 Springer eBook Collection.
Subjects:	Computers. Special purpose computers. Computer system failures. Software engineering. Operating systems (Computers). Coding theory. Information theory. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

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.

Dependable Computing First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings / edited by Rogério le Lemos, Taisy Silva Weber, Joao Batista Camargo Jr.

Similar Items