1744 search results - page 104 / 349 » A Proof-Carrying File System |
SEKE
2005
Springer
15 years 3 months ago
2005
Springer
- Many software development platforms provide a large number of library components to make it easy to build high quality software. On the other hand, it became more and more diffic...
117
click to vote
MSS
1999
IEEE
15 years 2 months ago
1999
IEEE
With an ever increasing amount of data to store, hierarchical storage management (HSM) systems must still use tape for tertiary storage. A disk cache is used to reduce the access ...
ESCIENCE
2005
IEEE
15 years 3 months ago
2005
IEEE
Existing Grid workflow tools assume that individual components either communicate by passing files from one application to another, or are explicitly linked using interprocess com...
EPIA
2005
Springer
15 years 3 months ago
2005
Springer
Space applications’ users have been relying for the past decades on custom developed software tools capable of addressing short term necessities during critical Spacecraft contro...
ICDCS
2009
IEEE
15 years 7 months ago
2009
IEEE
Block-level continuous data protection (CDP) logs every disk block update so that disk updates within a time window are undoable. Standard file servers and DBMS servers can enjoy...