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

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
• Edizione: 1st ed. 2003.
• Descrizione fisica: 1 online resource (XIV, 374 p.)
• Disciplina: 004.2
• Soggetto topico: Computers; Computers, Special purpose; Computer system failures; 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
• Persona (resp. second.): LemosRogério le; Silva WeberTaisy; Camargo JrJoao Batista
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Titolo autorizzato: Dependable Computing
• ISBN: 3-540-45214-1
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910144035003321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture Notes in Computer Science, . 0302-9743 ; ; 2847