default search action
4th EDCC 2002: Toulouse, France
- Fabrizio Grandoni, Pascale Thévenod-Fosse:
Dependable Computing - EDCC-4, 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002, Proceedings. Lecture Notes in Computer Science 2485, Springer 2002, ISBN 3-540-00012-7
Keynote Talk
- René Amalberti:
Use and Misuse of Safety Models in Design. 1
Modeling and Evaluation
- Stefano Porcarelli, Felicita Di Giandomenico:
On the Effects of Outages on the QoS of GPRS Networks under Different User Characterizations. 2-18 - Pierre Bieber, Charles Castel, Christel Seguin:
Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System. 19-31 - György Csertán, András Pataricza, Péter Harang, Orsolya Dobán, Gabor Biros, András Dancsecz, Ferenc Friedler
:
BPM Based Robust E-business Application Development (Practical Experience Report). 32-43
Agreement Protocols
- Fernando Pedone
Solving Agreement Problems with Weak Ordering Oracles. 44-61 - Emmanuelle Anceaume, Michel Hurfin, Philippe Raipin Parvédy:
An Efficient Solution to the k-Set Agreement Problem. 62-78
Panel: Novel Approaches for Dependable Computing
- Rogério de Lemos:
Novel Approaches in Dependable Computing. 79-80 - Algirdas Avizienis:
An Immune System Paradigm for the Design of Fault Tolerant Systems. 81-83 - John Bigham:
Security and Survivability of Large Scale Critical Infrastructures. 84-85 - José Luiz Fiadeiro:
An Architectural Approach to Fault Treatment in Critical Infrastructures. 86-87 - Andrew M. Tyrrell:
Biologically Inspired Fault-Tolerant Computer Systems. 88-89
Error Detection and Fault Tolerance
- Maciej Bellos, Dimitrios Kagaris, Dimitris Nikolos:
Test Set Embedding Based on Phase Shifters. 90-101 - João Carlos Cunha
Reset-Driven Fault Tolerance. 102-120 - István Majzik, Gábor Huszerl:
Towards Dependability Modeling of FT-CORBA Architectures. 121-139
Experimental Validation
- Kaustubh R. Joshi, Michel Cukier, William H. Sanders:
Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol. 140-158 - Volkmar Sieh, Kerstin Buchacker:
UMLinux - A Versatile SWIFI Tool. 159-171 - Astrit Ademaj:
A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection. 172-190
Distributed Algorithms
- Partha Dutta, Rachid Guerraoui:
Fast Indulgent Consensus with Zero Degradation. 191-208 - Fernando Pedone
Probabilistic Queries in Large-Scale Networks. 209-226
Panel
- Luca Simoncini:
Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability. 227-233
Real-Time
- Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves:
The Design of a COTSReal-Time Distributed Security Kernel. 234-252 - Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat:
Wrapping Real-Time Systems from Temporal Logic Specifications. 253-270 - Pavel Herout, Stanislav Racek, Jan Hlavicka:
Model-Based Dependability Evaluation Method for TTP/C Based Systems. 271-282
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: