1222 search results - page 25 / 245 » Verifying a File System Implementation |
EUC
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. This paper provides a survey of searchable, peer-to-peer filesharing systems that offer the user some form of anonymity. We start this survey by giving a brief descript...
ICDE
2007
IEEE
14 years 8 months ago
2007
IEEE
We introduce IR-Wire, a tool for information retrieval research and education in peer-to-peer file-sharing systems. Built on top of LimeWire's implementation of the popular G...
ESAW
2007
Springer
14 years 1 months ago
2007
Springer
OCAMS is a practical engineering application of multi-agent systems technology, involving redesign of the tools and practices in a complex, distributed system. OCAMS is designed to...
ADHOCNOW
2006
Springer
14 years 1 months ago
2006
Springer
Flash memory is often the technology of choice for sensor networks because of its cost-effectiveness and attractive energy properties. In storage-constrained sensor network applica...
TKDE
2008
13 years 7 months ago
2008
Checking data possession in networked information systems such as those related to critical infrastructures (power facilities, airports, data vaults, defense systems, and so forth)...