{"product_id":"le-lemos-dependable-computing-9783540202240","title":"Dependable Computing","description":"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.","brand":"Springer","offers":[{"title":"Default Title","offer_id":54716120400214,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783540202240_1.jpg?v=1790976836","url":"https:\/\/www.momoxbooks.com\/products\/le-lemos-dependable-computing-9783540202240","provider":"momox","version":"1.0","type":"link"}