1744 search results - page 16 / 349 » A Proof-Carrying File System |
OSDI
2006
ACM
15 years 10 months ago
2006
ACM
We present the design, implementation, and evaluation of a fully distributed directory service for Farsite, a logically centralized file system that is physically implemented on a...
ICIW
2007
IEEE
15 years 4 months ago
2007
IEEE
— This paper describes the Open P2P tracing system which aims to improve the research community’s understanding of P2P file sharing systems by providing continuous and up-todat...
ACMSE
2006
ACM
15 years 3 months ago
2006
ACM
Software researchers have already developed static code security checkers to parse through and scan source code files, looking for security vulnerabilities [8, 9]. What about exec...
MSS
2005
IEEE
15 years 3 months ago
2005
IEEE
To meet enterprise and grand challenge-scale performance and interoperability requirements, a group of engineers—initially ad-hoc but now integrated into the IETF—is designing...
USENIX
2000
14 years 11 months ago
2000
Traditional file system development is difficult. Stackable file systems promise to ease the development of file systems by offering a mechanism for incremental development. Unfor...