218 search results - page 1 / 44 » Making Paths Explicit in the Scout Operating System |
OSDI
1996
ACM
13 years 6 months ago
1996
ACM
This paper makes a case for paths as an explicit abstraction in operating system design. Paths provide a unifying infrastructure for several OS mechanisms that have been introduce...
TROB
2002
13 years 4 months ago
2002
The objective of the CyberScout project is to develop an autonomous surveillance and reconnaissance system using a network of all-terrain vehicles. In this paper, we focus on two f...
OSDI
2006
ACM
14 years 5 months ago
2006
ACM
HiStar is a new operating system designed to minimize the amount of code that must be trusted. HiStar provides strict information flow control, which allows users to specify preci...
DIMVA
2010
13 years 6 months ago
2010
Abstract. In order to obtain and maintain control, kernel malware usually makes persistent control flow modifications (i.e., installing hooks). To avoid detection, malware develope...
TARK
2007
Springer
13 years 11 months ago
2007
Springer
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...