1268 search results - page 14 / 254 » Verifying distributed systems: the operational approach |
PERCOM
2006
ACM
14 years 9 months ago
2006
ACM
It is difficult to build user interfaces that must be distributed over a set of dynamic and heterogeneous I/O devices. This difficulty increases when we want to split, merge, repl...
HPDC
1998
IEEE
14 years 2 months ago
1998
IEEE
In this paper, we argue for the power of providing a common set of OS services to wide area applications, including mechanisms for resource discovery, a global namespace, remote p...
WIESS
2000
13 years 11 months ago
2000
Our research is motivated by the scaleability, availability, and extensibility challenges in deploying open systems based, enterprise operational applications. We present Delta�...
SIGCSE
2002
ACM
13 years 9 months ago
2002
ACM
In this paper, we describe PortOS, an educational operating system designed to complement undergraduate and graduate level classes on operating systems. PortOS is a complete user-...
SP
1997
IEEE
14 years 2 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...