1744 search results - page 100 / 349 » A Proof-Carrying File System |
SOSP
2005
ACM
15 years 6 months ago
2005
ACM
Connections is a file system search tool that combines traditional content-based search with context information gathered from user activity. By tracing file system calls, Conne...
SPAA
2009
ACM
15 years 10 months ago
2009
ACM
Modern peer-to-peer file sharing systems distribute large files among peers using block partitioning. Blocks can be redistributed by a peer even before the whole file is available...
PCM
2001
Springer
15 years 2 months ago
2001
Springer
It is very common that a user likes to collect many multimedia files of their interests from the web or other sources for his/her daily use, such as in emails, presentations, and t...
EUC
2006
Springer
15 years 1 months ago
2006
Springer
- Modern portable or embedded systems support more and more complex applications. These applications make embedded devices require not only low powerconsumption, but also high comp...
IKE
2003
14 years 11 months ago
2003
Many information retrieval systems use the inverted file as indexing structure. The inverted file, however, is not suited to supporting incremental updates when new documents are ...