1222 search results - page 9 / 245 » Verifying a File System Implementation |
ICA3PP
2005
Springer
14 years 27 days ago
2005
Springer
Many of the key features of file transfer mechanisms like reliable file transferring and parallel transferring are developed as part of the service. It makes very hard to re-use th...
JCSS
2008
13 years 7 months ago
2008
With the growing number of Web applications and their variety, the need to prevent unauthorised access to data and to ensure data integrity in distributed systems has led to an in...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
The ability to detect fragments of deleted image files and to reconstruct these image files from all available fragments on disk is an important activity in the field of digital f...
FAST
2010
13 years 9 months ago
2010
Cloud computing promises large-scale and seamless access to vast quantities of data across the globe. Applications will demand the reliability, consistency, and performance of a t...
EUROSYS
2007
ACM
14 years 4 months ago
2007
ACM
Two oft-cited file systems, the Fast File System (FFS) and the Log-Structured File System (LFS), adopt two sharply different update strategies—update-in-place and update-out-of-...