16702 search results - page 80 / 3341 » Server operating systems |
SIGMETRICS
1994
ACM
15 years 1 months ago
1994
ACM
In this paper we present results from a six-month empirical study of the high availability aspectsof the CodaFile System. We reporton the servicefailures experienced by Coda clien...
NSDI
2008
15 years 5 days ago
2008
Recent operating systems [12, 21, 26] have shown that decentralized information flow control (DIFC) can secure applications built from mostly untrusted code. This paper extends DI...
PPAM
2005
Springer
15 years 3 months ago
2005
Springer
The paper presents various transparency issues that have to be considered during development of object-oriented Grid applications based on virtual repositories. Higher-level transp...
ENTCS
2002
14 years 9 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
OSDI
2002
ACM
15 years 10 months ago
2002
ACM
In the span of only a few years, the Internet has experienced an astronomical increase in the use of specialized content delivery systems, such as content delivery networks and pe...