1222 search results - page 113 / 245 » Verifying a File System Implementation |
136
Voted
SOSP
2001
ACM
15 years 11 months ago
2001
ACM
ing Abstraction to Improve Fault Tolerance MIGUEL CASTRO Microsoft Research and RODRIGO RODRIGUES and BARBARA LISKOV MIT Laboratory for Computer Science Software errors are a major...
103
Voted
ICDIM
2006
IEEE
15 years 8 months ago
2006
IEEE
Electronic publishing of material digitized using imaging and OCR calls for a special delivery format capable of reconstructing original documents in a well-usable electronic form...
138
Voted
ACSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
We propose an efficient and flexible system for a secure and authentic data exchange in a multiinstitutional environment, where the institutions maintain different databases and p...
107
Voted
NETWORKING
2004
15 years 4 months ago
2004
We consider the utility of two key properties of network-embedded storage: programmability and network-awareness. We describe two extensive applications, whose performance and fun...
132
click to vote
ODRL
2004
15 years 4 months ago
2004
This paper describes the design and implementation of the distributed digital rights management (DDRM) system as undertaken by the eduSource project, a national network of learnin...