1222 search results - page 38 / 245 » Verifying a File System Implementation |
120
click to vote
ACSC
2008
IEEE
15 years 8 months ago
2008
IEEE
Modern computer systems are based on the traditional hierarchical file system model, but typically contain large numbers of files with complex interrelationships. This tradition...
ESWS
2009
Springer
15 years 8 months ago
2009
Springer
With the increasing storage capacity of personal computing devices, the problems of information overload and information fragmentation become apparent on users’ desktops. For the...
114
click to vote
SIGSOFT
2000
ACM
15 years 6 months ago
2000
ACM
It is essential to manage versions of software products created during software development. There are various versioning tools actually used in these days, although most of them ...
129
click to vote
ICDCS
2000
IEEE
15 years 6 months ago
2000
IEEE
Despite increasingly distributed internet information sources with diverse storage formats and access-control constraints, most of the end applications (e.g., filters and media p...
110
click to vote
SIGMOD
1994
ACM
15 years 6 months ago
1994
ACM
We present a framework which allows the user to access and manipulate data uniformly, regardless of whether it resides in a database or in the file system (or in both). A key issu...