DSN
2004
IEEE
14 years 12 days 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 12 days ago
2004
IEEE
DSN
2004
IEEE
14 years 12 days 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 12 days ago
2004
IEEE
DSN
2004
IEEE
14 years 12 days 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 12 days 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 12 days 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 12 days 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 12 days 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 12 days 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...