http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002 : proceedings
European Dependable Computing Conference 2002 : Toulouse, France)
1 online resource (xiii, 282 pages) : illustrations
Use and Misuse of Safety Models in Design / Rene Amalberti -- On the Effects of Outages on the QoS of GPRS Networks under Different User Characterizations / Stefano Porcarelli and Felicita Di Giandomenico -- Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System / Pierre Bieber, Charles Castel and Christel Seguin -- BPM Based Robust E-business Application Development (Practical Experience Report) / Gyorgy Csertan, Andras Pataricza, P. Harang, Orsolya Doban, Gabor Biros, Andras Dancsecz and Ferenc Friedler -- Solving Agreement Problems with Weak Ordering Oracles / Fernando Pedone, Andre Schiper, Peter Urban and David Cavin -- An Efficient Solution of the k-Set Agreement Problem / Emmanuelle Anceaume, Michel Hurfin and Philippe Raipin Parvedy -- Panel 1. Novel Approaches for Dependable Computing -- Novel Approaches in Dependable Computing / Rogerio de Lemos -- An Immune System Paradigm for the Design of Fault Tolerant Systems / Algirdas Avizienis -- Security and Survivability of Large Scale Critical Infrastructures / John Bigham -- An Architectural Approach to Fault Treatment in Critical Infrastructures / Jose Luiz Fiadeiro -- Biologically Inspired Fault-Tolerant Computer Systems / Andy Tyrrell -- Test Set Embedding Based on Phase Shifters / Maciej Bellos, Dimitri Kagaris and Dimitris Nikolos -- Reset-Driven Fault Tolerance / Joao Carlos Cunha, Antonio Correia, Jorge Henriques, Mario Zenha Rela and Joao Gabriel Silva -- Towards Dependability Modeling of FT-CORBA Architectures / Istvan Majzik and Gabor Huszerl -- Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol / Kaustubh R. Joshi, Michel Cukier and William H. Sanders -- UMLinux -- A Versatile SWIFI Tool / Volkmar Sieh and Kerstin Buchacker -- A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection / Astrit Ademaj -- Panel 2. Critical Infrastructure Protection -- Fast Indulgent Consensus with Zero Degradation / Partha Dutta and Rachid Guerraoui -- Probabilistic Queries in Large-Scale Networks / Fernando Pedone, Nelson L. Duarte and Mario Goulart -- Panel 3. Towards Information Society Initiative in FP6: Roadmapping Activities in Dependability -- Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability / Luca Simoncini -- The Design of a COTS Real-Time Distributed Security Kernel / Miguel Correia, Paulo Verissimo and Nuno Ferreira Neves -- Wrapping Real-Time Systems from Temporal Logic Specifications / Manuel Rodriguez, Jean-Charles Fabre and Jean Arlat -- Model-Based Dependability Evaluation Method for TTP/C Based Systems / Pavel Herout, Stanislav Racek and Jan Hlavicka.
Andrea Bondavalli, Pascale Thevenod-Fosse (eds.).
Includes bibliographical references and index.
Lecture notes in computer science ; 2485