عنوان

Dependable computing :

(Number (ISBN

3540000127

(Number (ISBN

9783540000129

Number

b557876

Title Proper

Dependable computing :

General Material Designation

[Book]

Other Title Information

EDCC-4.

First Statement of Responsibility

Andrea Bondavalli

Specific Material Designation and Extent of Item

[1 volume]

Text of Note

Papers. Described as proceedings.

Text of Note

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.

Class number

Book number

Andrea Bondavalli

Andrea Bondavalli

Pascale Thevenod-Fosse

Electronic name

[Book]

Y