Dependable Computing EDCC-4 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

23

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540000129, 9783540360803

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model-Based Dependability Evaluation Method for TTP/C Based Systems

Dependable Computing EDCC-4 - Lecture Notes in Computer Science ◽

10.1007/3-540-36080-8_23 ◽

2002 ◽

pp. 271-282 ◽

Author(s):

Pavel Herout ◽

Stanislav Racek ◽

Jan Hlavička

Keyword(s):

Evaluation Method ◽

Model Based ◽

Dependability Evaluation

Download Full-text

Wrapping Real-time Systems from Temporal Logic Specifications

Dependable Computing EDCC-4 - Lecture Notes in Computer Science ◽

10.1007/3-540-36080-8_22 ◽

2002 ◽

pp. 253-270 ◽

Author(s):

Manuel Rodrίguez ◽

Jean-Charles Fabre ◽

Jean Arlat

Keyword(s):

Real Time ◽

Temporal Logic ◽

Real Time Systems ◽

Download Full-text

UMLinux - A Versatile SWIFI Tool

Dependable Computing EDCC-4 - Lecture Notes in Computer Science ◽

10.1007/3-540-36080-8_16 ◽

2002 ◽

pp. 159-171 ◽

Author(s):

Volkmar Sieh ◽

Kerstin Buchacker

Download Full-text

Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol

Dependable Computing EDCC-4 - Lecture Notes in Computer Science ◽

10.1007/3-540-36080-8_15 ◽

2002 ◽

pp. 140-158 ◽

Author(s):

Kaustubh R. Joshi ◽

Michel Cukier ◽

William H. Sanders

Keyword(s):

Experimental Evaluation ◽

Group Membership

Download Full-text

Biologically Inspired Fault-Tolerant Computer Systems

Dependable Computing EDCC-4 - Lecture Notes in Computer Science ◽

10.1007/3-540-36080-8_11 ◽

2002 ◽

pp. 88-89

Author(s):

Andy Tyrrell

Keyword(s):

Fault Tolerant ◽

Computer Systems ◽

Biologically Inspired

Download Full-text

Novel Approaches in Dependable Computing

Dependable Computing EDCC-4 - Lecture Notes in Computer Science ◽

10.1007/3-540-36080-8_7 ◽

2002 ◽

pp. 79-80 ◽

Author(s):

Rogério de Lemos

Keyword(s):

Novel Approaches ◽

Dependable Computing

Download Full-text

Probabilistic Queries in Large-Scale Networks

Dependable Computing EDCC-4 - Lecture Notes in Computer Science ◽

10.1007/3-540-36080-8_19 ◽

2002 ◽

pp. 209-226

Author(s):

Fernando Pedone ◽

Nelson L. Duarte ◽

Mario Goulart

Keyword(s):

Large Scale ◽

Probabilistic Queries ◽

Large Scale Networks

Download Full-text

Solving Agreement Problems with Weak Ordering Oracles

Dependable Computing EDCC-4 - Lecture Notes in Computer Science ◽

10.1007/3-540-36080-8_5 ◽

2002 ◽

pp. 44-61 ◽

Author(s):

Fernando Pedone ◽

André Schiper ◽

Péter Urbán ◽

David Cavin

Keyword(s):

Download Full-text

Security and Survivability of Large Scale Critical Infrastructures

Dependable Computing EDCC-4 - Lecture Notes in Computer Science ◽

10.1007/3-540-36080-8_9 ◽

2002 ◽

pp. 84-85 ◽

Author(s):

John Bigham

Keyword(s):

Large Scale ◽

Critical Infrastructures

Download Full-text

An Immune System Paradigm for the Design of Fault Tolerant Systems

Dependable Computing EDCC-4 - Lecture Notes in Computer Science ◽

10.1007/3-540-36080-8_8 ◽

2002 ◽

pp. 81-83 ◽

Author(s):

Algirdas Avizienis

Keyword(s):

Immune System ◽

Fault Tolerant ◽

Fault Tolerant Systems ◽

System Paradigm

Download Full-text