Dependable Computing for Critical Applications 3 - Dependable Computing and Fault-Tolerant Systems
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Vienna

9783709140116, 9783709140093

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Design for Dependability

Dependable Computing for Critical Applications 3 - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-4009-3_3 ◽

1993 ◽

pp. 65-89 ◽

Author(s):

Jens Nordahl

Download Full-text

A Linguistic Framework for Dynamic Composition of Dependability Protocols

Dependable Computing for Critical Applications 3 - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-4009-3_15 ◽

1993 ◽

pp. 345-363 ◽

Author(s):

Gul Agha ◽

Svend Frølund ◽

Rajendra Panwar ◽

Daniel Sturman

Keyword(s):

Dynamic Composition ◽

Linguistic Framework

Download Full-text

A Hybrid Monitor Assisted Fault Injection Environment

Dependable Computing for Critical Applications 3 - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-4009-3_12 ◽

1993 ◽

pp. 281-302 ◽

Author(s):

Luke T. Young ◽

Carlos Alonso ◽

Ravi K. Iyer ◽

Kumar K. Goswami

Keyword(s):

Fault Injection

Download Full-text

Functional Test Case Generation for Real-Time Systems

Dependable Computing for Critical Applications 3 - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-4009-3_2 ◽

1993 ◽

pp. 29-61 ◽

Author(s):

Dino Mandrioli ◽

Sandro Morasca ◽

Angelo Morzenti

Keyword(s):

Real Time ◽

Functional Test ◽

Test Case Generation ◽

Test Case ◽

Real Time Systems ◽

Download Full-text

Compiler Correctness and Input/Output

Dependable Computing for Critical Applications 3 - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-4009-3_8 ◽

1993 ◽

pp. 189-209 ◽

Author(s):

Paul Curzon

Keyword(s):

Input Output ◽

Compiler Correctness

Download Full-text

Tracing Fault Tolerance

Dependable Computing for Critical Applications 3 - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-4009-3_4 ◽

1993 ◽

pp. 91-110 ◽

Author(s):

Henk Schepers

Keyword(s):

Fault Tolerance

Download Full-text

Evaluation of Fault-Tolerant Software: A Performability Modeling Approach

Dependable Computing for Critical Applications 3 - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-4009-3_5 ◽

1993 ◽

pp. 113-135 ◽

Author(s):

Ann T. Tai ◽

Algirdas Avižienis ◽

John F. Meyer

Keyword(s):

Fault Tolerant ◽

Modeling Approach

Download Full-text

Using Two-Phase Commit for Crash Recovery in Federated Multilevel Secure Database Management Systems

Dependable Computing for Critical Applications 3 - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-4009-3_16 ◽

1993 ◽

pp. 365-381 ◽

Author(s):

Sushil Jajodia ◽

Catherine McCollum

Keyword(s):

Database Management ◽

Database Management Systems ◽

Management Systems ◽

Two Phase ◽

Download Full-text

Primary-Backup Protocols: Lower Bounds and Optimal Implementations

Dependable Computing for Critical Applications 3 - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-4009-3_14 ◽

1993 ◽

pp. 321-343 ◽

Author(s):

Navin Budhiraja ◽

Keith Marzullo ◽

Fred B. Schneider ◽

Sam Toueg

Keyword(s):

Download Full-text

Formal Techniques for Synchronized Fault-Tolerant Systems

Dependable Computing for Critical Applications 3 - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-4009-3_7 ◽

1993 ◽

pp. 163-188 ◽

Author(s):

Ben L. Di Vito ◽

Ricky W. Butler

Keyword(s):

Fault Tolerant ◽

Fault Tolerant Systems ◽

Formal Techniques

Download Full-text