1744 search results - page 103 / 349 » A Proof-Carrying File System |
CSFW
2006
IEEE
15 years 4 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
122
click to vote
SIGOPSE
2004
ACM
15 years 3 months ago
2004
ACM
Anonymity is increasingly important for networked applications amidst concerns over censorship and privacy. This paper outlines the design of HerbivoreFS, a scalable and efficien...
QOFIS
2004
Springer
15 years 3 months ago
2004
Springer
Peer-to-peer networks have been commonly used for tasks such as file sharing or file distribution. We study a class of cooperative file distribution systems where a file is bro...
107
click to vote
HOTOS
2003
IEEE
15 years 3 months ago
2003
IEEE
—Traditional hierarchical namespaces are not sufficient for representing and managing the rich semantics of today’s storage systems. In this paper, we discuss the principles o...
OSDI
2008
ACM
15 years 10 months ago
2008
ACM
Mitigating the impact of computer failure is possible if accurate failure predictions are provided. Resources, applications, and services can be scheduled around predicted failure...