1222 search results - page 44 / 245 » Verifying a File System Implementation |
130
click to vote
DELOS
2000
15 years 3 months ago
2000
Stand-alone ranking systems based on highly optimized inverted file structures are generally considered `the' solution for building search engines. Observing various developm...
131
click to vote
SISW
2005
IEEE
15 years 8 months ago
2005
IEEE
Protecting sensitive files from a compromised system helps administrator to thwart many attacks, discover intrusion trails, and fast restore the system to a safe state. However, ...
117
click to vote
PVLDB
2008
15 years 1 months ago
2008
We present SGuard, a new fault-tolerance technique for distributed stream processing engines (SPEs) running in clusters of commodity servers. SGuard is less disruptive to normal s...
DEXA
1994
Springer
15 years 6 months ago
1994
Springer
We describe the design and implementation of a legal text database. The database of provides a number of Greek Council of State decisions in the form of a computer-accessible mediu...
127
Voted
WMRD
1990
15 years 6 months ago
1990
Ficus is a replicated general ling environment for Unix intended to scale to very large nationwide networks. The system employs an optimistic one copy availability" model in ...