4. EDCC 2002: Toulouse, France

Fabrizio Grandoni, Pascale Thévenod-Fosse (Eds.): 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

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

Fernando Pedone, André Schiper, Péter Urbán, David Cavin:
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

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

Maciej Bellos, Dimitrios Kagaris, Dimitris Nikolos:
Test Set Embedding Based on Phase Shifters. 90-101
João Carlos Cunha, António Correia, Jorge Henriques, Mário Zenha Rela, João Gabriel Silva:
Reset-Driven Fault Tolerance. 102-120
István Majzik, Gábor Huszerl:
Towards Dependability Modeling of FT-CORBA Architectures. 121-139

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

Partha Dutta, Rachid Guerraoui:
Fast Indulgent Consensus with Zero Degradation. 191-208
Fernando Pedone, Nelson L. Duarte, Mario Goulart:
Probabilistic Queries in Large-Scale Networks. 209-226

Luca Simoncini:
Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability. 227-233

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

Last update Fri May 25 05:55:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page