1744 search results - page 78 / 349 » A Proof-Carrying File System |
ICDCS
2000
IEEE
15 years 2 months ago
2000
IEEE
Despite increasingly distributed internet information sources with diverse storage formats and access-control constraints, most of the end applications (e.g., filters and media p...
ICCD
2005
IEEE
15 years 6 months ago
2005
IEEE
We present a scalable architectural approach which aims to simplify embedded software development by supporting key development tasks like debugging, tracing and monitoring. Our a...
SAC
2005
ACM
15 years 3 months ago
2005
ACM
We consider the problem of information retrieval in a peerto-peer file sharing system. We assume that peers are unreliable, metadata are sparse, and queries are short. In light o...
ADHOCNOW
2006
Springer
15 years 3 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...
APSEC
2002
IEEE
15 years 2 months ago
2002
IEEE
In this paper, we propose a virtual file system, “SPDFS,” which provides global declarations in source programs as virtual files to programmers. Global declarations means ob...