1744 search results - page 73 / 349 » A Proof-Carrying File System |
SRDS
2006
IEEE
15 years 3 months ago
2006
IEEE
Celeste is a robust peer-to-peer object store built on top of a distributed hash table (DHT). Celeste is a working system, developed by Sun Microsystems Laboratories. During the d...
IPTPS
2005
Springer
15 years 3 months ago
2005
Springer
Of the many P2P file-sharing prototypes in existence, BitTorrent is one of the few that has managed to attract millions of users. BitTorrent relies on other (global) components f...
KES
2005
Springer
15 years 3 months ago
2005
Springer
In most P2P business models, in which users purchase the media, it is necessary to securely identify the user in order to facilitate payment. In this paper, we present a technique ...
ICFEM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
SC
2003
ACM
15 years 3 months ago
2003
ACM
We develop and evaluate a system for load management in shared-disk file systems built on clusters of heterogeneous computers. The system generalizes load balancing and server pr...