2814 search results - page 55 / 563 » Can We Make Operating Systems Reliable and Secure |
JFR
2008
15 years 4 months ago
2008
Hot Metal Carriers (HMCs) are large forklift-type vehicles used to move molten metal in aluminium smelters. This paper reports on field experiments that demonstrate that HMCs can ...
123
click to vote
USENIX
2003
15 years 5 months ago
2003
Abstract: A virtual-machine monitor (VMM) is a useful technique for adding functionality below existing operating system and application software. One class of VMMs (called Type II...
150
click to vote
MICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
Voltage scaling is one of the most effective mechanisms to reduce microprocessor power consumption. However, the increased severity of manufacturing-induced parameter variations a...
158
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
156
click to vote
ICDCS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract: Current peer-to-peer systems are network-agnostic, often generating large volumes of unnecessary inter-ISP traffic. Although recent work has shown the benefits of ISP-a...