1119 search results - page 89 / 224 » Computing in the Presence of Timing Failures |
DSN
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper tests the hypothesis that generic recovery techniques, such as process pairs, can survive most application faults without using application-specific information. We ex...
CAV
2001
Springer
14 years 1 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
IEEEARES
2006
IEEE
14 years 3 months ago
2006
IEEE
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...
EOR
2006
13 years 9 months ago
2006
The popular models for repairable item inventory, both in the literature as well as practical applications, assume that the demands for items are independent of the number of work...
JNW
2006
13 years 9 months ago
2006
This paper presents a new approach to integrated security and dependability evaluation, which is based on stochastic modeling techniques. Our proposal aims to provide operational m...