1299 search results - page 244 / 260 » On the Correctness of Operating System Kernels |
CCS
2010
ACM
14 years 1 months ago
2010
ACM
Despite a plethora of recent research regarding trust management approaches to authorization, relatively little attention has been given to exactly how these technologies can be e...
ICN
2007
Springer
14 years 27 days ago
2007
Springer
— The fields of autonomics and system configuration share a common goal in decreasing the cost of ownership of large fabrics. In this paper we present a combined vision in whic...
SIGMETRICS
2004
ACM
14 years 4 days ago
2004
ACM
This paper develops and evaluates new share-based scheduling algorithms for differentiated service quality in network services, such as network storage servers. This form of resou...
ECOOP
1998
Springer
13 years 11 months ago
1998
Springer
This paper will lead you into the world of mobile agents, an emerging technology that makes it very much easier to design, implement, and maintain distributed systems. You will fin...
EMSOFT
2007
Springer
13 years 10 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...