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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 1

Author(s):

Jens Nordahl

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 ◽

Cited By ~ 32

Author(s):

Gul Agha ◽

Svend Frølund ◽

Rajendra Panwar ◽

Daniel Sturman

Keyword(s):

Dynamic Composition ◽

Linguistic Framework

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 ◽

Cited By ~ 7

Author(s):

Luke T. Young ◽

Carlos Alonso ◽

Ravi K. Iyer ◽

Kumar K. Goswami

Keyword(s):

Fault Injection

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 ◽

Cited By ~ 2

Author(s):

Dino Mandrioli ◽

Sandro Morasca ◽

Angelo Morzenti

Keyword(s):

Real Time ◽

Functional Test ◽

Test Case Generation ◽

Test Case ◽

Real Time Systems ◽

Time Systems

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 ◽

Cited By ~ 2

Author(s):

Paul Curzon

Keyword(s):

Input Output ◽

Compiler Correctness

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 ◽

Cited By ~ 7

Author(s):

Henk Schepers

Keyword(s):

Fault Tolerance

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 ◽

Cited By ~ 5

Author(s):

Ann T. Tai ◽

Algirdas Avižienis ◽

John F. Meyer

Keyword(s):

Fault Tolerant ◽

Modeling Approach

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 ◽

Cited By ~ 6

Author(s):

Sushil Jajodia ◽

Catherine McCollum

Keyword(s):

Database Management ◽

Database Management Systems ◽

Management Systems ◽

Two Phase ◽

Crash Recovery

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 ◽

Cited By ~ 3

Author(s):

Navin Budhiraja ◽

Keith Marzullo ◽

Fred B. Schneider ◽

Sam Toueg

Keyword(s):

Lower Bounds

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 ◽

Cited By ~ 2

Author(s):

Ben L. Di Vito ◽

Ricky W. Butler

Keyword(s):

Fault Tolerant ◽

Fault Tolerant Systems ◽

Formal Techniques

Dependable Computing for Critical Applications 3 - Dependable Computing and Fault-Tolerant SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Vienna

Design for Dependability

A Linguistic Framework for Dynamic Composition of Dependability Protocols

A Hybrid Monitor Assisted Fault Injection Environment

Functional Test Case Generation for Real-Time Systems

Compiler Correctness and Input/Output

Tracing Fault Tolerance

Evaluation of Fault-Tolerant Software: A Performability Modeling Approach

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

Primary-Backup Protocols: Lower Bounds and Optimal Implementations

Formal Techniques for Synchronized Fault-Tolerant Systems

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