|
" Dependable computing : "
Andrea Bondavalli
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
737997
|
| Doc. No
|
:
|
b557876
|
| Main Entry
|
:
|
Andrea Bondavalli
|
| Title & Author
|
:
|
Dependable computing : : EDCC-4.\ Andrea Bondavalli
|
| Page. NO
|
:
|
[1 volume]
|
| ISBN
|
:
|
3540000127
|
|
|
:
|
: 9783540000129
|
| Notes
|
:
|
Papers. Described as proceedings.
|
| 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.
|
| LC Classification
|
:
|
QA76.9.F3A537 9999
|
| Added Entry
|
:
|
Andrea Bondavalli
|
|
|
:
|
Pascale Thevenod-Fosse
|
| |