1744 search results - page 139 / 349 » A Proof-Carrying File System |
127
click to vote
JSS
2006
15 years 4 months ago
2006
Current software systems contain increasingly more elements that have not usually been considered in software engineering research and studies. Source artifacts, understood as the...
100
click to vote
HPDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Today, several data-storage systems allow applications to create and manage custom metadata to improve data search and navigability in large-scale storage systems. Our thesis is t...
129
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
105
click to vote
LISA
2003
15 years 5 months ago
2003
Passive NFS traces provide an easy and unobtrusive way to measure, analyze, and gain an understanding of an NFS workload. Historically, such traces have been used primarily by fil...
166
click to vote
ICN
2007
Springer
15 years 10 months ago
2007
Springer
– Peer-to-peer is a popular distributed system. Mobile ad hoc networks and peer-to-peer file sharing systems both lack fixed infrastructure support and hold no a-priori knowledge...