DSN
2004
IEEE
14 years 3 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
DSN
2004
IEEE
14 years 3 months ago
2004
IEEE
DSN
2004
IEEE
14 years 3 months ago
2004
IEEE
This paper describes a decentralized consistency protocol for survivable storage that exploits local data versioning within each storage-node. Such versioning enables the protocol...
DSN
2004
IEEE
14 years 3 months ago
2004
IEEE
DSN
2004
IEEE
14 years 3 months ago
2004
IEEE
Software configuration problems are a major source of failures in computer systems. In this paper, we present a new framework for categorizing configuration problems. We apply thi...
DSN
2004
IEEE
14 years 3 months ago
2004
IEEE
A Federated Array of Bricks is a scalable distributed storage system composed from inexpensive storage bricks. It achieves high reliability with low cost by using erasure coding a...
DSN
2004
IEEE
14 years 3 months ago
2004
IEEE
DSN
2004
IEEE
2004
IEEE
Evaluating the Impact of Limited Resource on the Performance of Flooding in Wireless Sensor Networks
14 years 3 months ago
Abstract-- Wireless sensor networks (WSNs) are large collections of resource limited nodes, densely deployed over a landscape. They gather and disseminate local data using multihop...
DSN
2004
IEEE
14 years 3 months ago
2004
IEEE
Wireless sensor networks face acute security concerns in applications such as battlefield monitoring. A central point of failure in a sensor network is the base station, which act...
DSN
2004
IEEE
14 years 3 months ago
2004
IEEE
We describe an approach to quantitatively evaluating human-assisted failure-recovery tools and processes in the environment of modern Internet- and enterprise-class server systems...