Book Cover
Author European Dependable Computing Conference (4th : 2002 : Toulouse, France)

Title Dependable computing, EDCC-4 : 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002 : proceedings / Andrea Bondavalli, Pascale Thevenod-Fosse (eds.)
Published Berlin ; New York : Springer, 2002


Location Call no. Vol. Availability
 W'PONDS  004.2 Eur/Dce 2002  AVAILABLE
Description xiii, 282 pages : fig., tables ; 24 cm
Series Lecture notes in computer science ; 2485
Lecture notes in computer science ; 2485
Contents Keynote Talk -- Use and Misuse of Safety Models in Design -- Modeling and Evaluation -- On the Effects of Outages on the QoS of GPRS Networks under Different User Characterizations -- Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System -- BPM Based Robust E-business Application Development -- Agreement Protocols -- Solving Agreement Problems with Weak Ordering Oracles -- An Efficient Solution to the k-Set Agreement Problem -- Fast Abstracts I -- Novel Approaches in Dependable Computing -- An Immune System Paradigm for the Design of Fault Tolerant Systems -- Security and Survivability of Large Scale Critical Infrastructures -- An Architectural Approach to Fault Treatment in Critical Infrastructures -- Biologically Inspired Fault-Tolerant Computer Systems -- Error Detection and Fault Tolerance -- Test Set Embedding Based on Phase Shifters -- Reset-Driven Fault Tolerance -- Towards Dependability Modeling of FT-CORBA Architectures -- Experimental Validation -- Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol -- UMLinux -- A Versatile SWIFI Tool -- A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection -- Distributed Algorithms -- Fast Indulgent Consensus with Zero Degradation -- Probabilistic Queries in Large-Scale Networks -- Distributed Algorithms -- Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability -- Real-Time -- The Design of a COTS Real-Time Distributed Security Kernel -- Wrapping Real-time Systems from Temporal Logic Specifications -- Model-Based Dependability Evaluation Method for TTP/C Based Systems
Summary This book constitutes the refereed proceedings fo the 4th European Dependable Computing Conference, EDCC-4, held in Toulouse, France in October 2002. The 16 revised full papers presented together with some panel statements were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on modeling and evaluation, agreement protocols, error detection and fault tolerance, experimental valiation, distributed algorithms, and real-time
Bibliography Includes bibliographical references and index
Notes Also available via the World Wide Web
Mode of access: World Wide Web
Lecture notes in computer science no:2485 0302-9743
Subject Fault-tolerant computing -- Congresses.
Electronic digital computers -- Reliability -- Congresses.
Author Bondavalli, Andrea.
Thevenod-Fosse, Pascale.
LC no. 2002036555
ISBN 3540000127 softcover
Other Titles 4th European Dependable Computing Conference
OTHER TI Springer Link