Sökt på: fault
totalt 14 träffar
Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance
This book constitutes the refereed proceedings of the 17th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and …
Formal Techniques in Real-Time and Fault-Tolerant Systems
The six Schools and Symposia on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT) have seen the eld develop from tentative explo- tions to a far higher degree of …
Fault Diagnosis and Tolerance in Cryptography
In recent years applied cryptography has developed considerably to satisfy the - creasing security requirements of various information technology disciplines, such as …
Reliability Evaluation of Some Fault-Tolerant Computer Architectures
Formal Techniques in Real-Time and Fault-Tolerant Systems
This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, …
Formal Techniques in Real-Time and Fault-Tolerant Systems
This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers …
Formal Techniques in Real-Time and Fault-Tolerant Systems
This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in …
Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance
This volume contains the papers presented at the International GI/ITG C- ference on "Measurement, Modelling and Evaluation of Computing Systems" and "Dependability and Fault …
Hardware and Software Architectures for Fault Tolerance
Fault tolerance has been an active research area for many years. This volume presents papers from a workshop held in 1993 where a small number of key researchers and practitioners …
Formal Techniques in Real-Time and Fault-Tolerant Systems
This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably …
Fault-Tolerant Distributed Computing
The goal of the Asilomar Workshop on Fault-Tolerant Distributed Computing, held March 17-19, 1986, was to facilitate interaction between theoreticians and practitioners by inviting …
Formal Techniques in Real-Time and Fault-Tolerant Systems
This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, …