HOTOS
2007
IEEE
14 years 4 months ago
2007
IEEE
Many systems design, configuration, runtime and management decisions must be made from a large set of possible alternatives. Ad hoc heuristics have traditionally been used to make...
HOTOS
2007
IEEE
14 years 4 months ago
2007
IEEE
System configuration management is difficult because systems evolve in an undisciplined way: packages are upgraded, configuration files are edited, and so on. The management of ex...
HOTOS
2007
IEEE
14 years 4 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
HOTOS
2007
IEEE
14 years 4 months ago
2007
IEEE
Commodity operating systems achieve good performance by running device drivers in-kernel. Unfortunately, this architecture offers poor fault isolation. This paper introduces micro...
HOTOS
2007
IEEE
14 years 4 months ago
2007
IEEE
A growing number of online service providers offer to store customers' photos, email, file system backups, and other digital assets. Currently, customers cannot make informed...
HOTOS
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper, we question whether hypervisors are really acting as a disruptive force in OS research, instead arguing that they have so far changed very little at a technical lev...
HOTOS
2007
IEEE
14 years 4 months ago
2007
IEEE
Web applications are important, ubiquitous distributed systems whose current security relies primarily on server-side mechanisms. This paper makes the end-toend argument that the ...
HOTOS
2007
IEEE
14 years 4 months ago
2007
IEEE
Optimistic synchronization allows concurrent execution of critical sections while performing dynamic conflict detection and recovery. Optimistic synchronization will increase perf...
HOTOS
2007
IEEE
14 years 4 months ago
2007
IEEE
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...
HOTOS
2007
IEEE
14 years 4 months ago
2007
IEEE
Today's rich and varied wireless environment, including mobile phones, Wi-Fi-enabled laptops, and Bluetooth headsets, poses threats to our privacy that cannot be addressed wi...