1192 search results - page 186 / 239 » Variation-Aware Fault Modeling |
122
click to vote
ISPDC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents MojaveFS, a distributed file system with support for sequential consistency. It provides location transparency and makes use of replication for reliability an...
140
click to vote
SEW
2006
IEEE
15 years 10 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
150
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
The goal of a Public-Key-Infrastructure (PKI) is to prove whether a cryptographic public key is authentic for a certain user. This information is crucial for the reliability of as...
169
click to vote
PRDC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
162
Voted
DSVIS
2005
Springer
15 years 9 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...