314 search results - page 37 / 63 » The Nachos Instructional Operating System |
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
— Software protection is increasingly necessary for uses in commercial systems, digital content distributors, and military systems. The Secure Software (SecSoft) architecture is ...
ICPR
2004
IEEE
14 years 10 months ago
2004
IEEE
Automatic semantic summarisation of human activity and detection of unusual inactivity are useful goals for a vision system operating in a supportive home environment. Learned mod...
CADE
2007
Springer
14 years 9 months ago
2007
Springer
Abstract. The verification of device drivers is essential for the pervasive verification of an operating system. To show the correctness of device drivers, devices have to be forma...
CSFW
2006
IEEE
14 years 2 months ago
2006
IEEE
A common theoretical assumption in the study of information flow security in Java-like languages is that pointers are opaque – i.e., that the only properties that can be observ...
FDL
2005
IEEE
14 years 2 months ago
2005
IEEE
To address performance limitations and expand their applications range, emerging and mature display technologies rely on the design of novel display controllers. Under current mod...