FEEDBACK Smiley face
Normal view MARC view ISBD view

Dependable Computing [electronic resource] :First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings /

Contributor(s): Lemos, Rogério de [editor.] | Weber, Taisy Silva [editor.] | Camargo, João Batista [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 2847Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Description: XIV, 374 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540452140.Subject(s): Computer science | Special purpose computers | Computer system failures | Software engineering | Operating systems (Computers) | Coding theory | Computers | Computer Science | Theory of Computation | Special Purpose and Application-Based Systems | System Performance and Evaluation | Software Engineering | Operating Systems | Coding and Information TheoryOnline resources: Click here to access online
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.
In: Springer eBooks
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

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 for this item.

Log in to your account to post a comment.

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in