71 search results - page 9 / 15 » Lazy Verification in Fault-Tolerant Distributed Storage Syst... |
109
click to vote
ICDCS
2011
IEEE
13 years 9 months ago
2011
IEEE
Many distributed software systems allow participation by large numbers of untrusted, potentially faulty components on an open network. As faults are inevitable in this setting, th...
112
click to vote
HPDC
2010
IEEE
14 years 10 months ago
2010
IEEE
As scientific research becomes more data intensive, there is an increasing need for scalable, reliable, and high performance storage systems. Such data repositories must provide b...
HPDC
2006
IEEE
15 years 3 months ago
2006
IEEE
Desktop grid (DG) systems use the idle computing power of many volunteered desktop PC’s on the Internet to support large-scale computation and storage. For over a decade, DG sys...
SP
2008
IEEE
15 years 4 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
EATIS
2007
ACM
15 years 1 months ago
2007
ACM
This paper presents a new fault injection tool called Exhaustif (Exhaustive Workbench for Systems Reliability). Exhaustif is a SWIFI fault injection tool for fault tolerance verif...