396 search results - page 68 / 80 » Process Migration: A Generalized Approach Using a Virtualizi... |
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
AMAST
2004
Springer
14 years 29 days ago
2004
Springer
concerns, abstraction (particularly hierarchical abstraction), simplicity, and restricted visibility (locality of information). The overall goal behind these principles was stated ...
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
ICCAD
2009
IEEE
13 years 5 months ago
2009
IEEE
While Dynamic Voltage Scaling (DVS) remains as a popular energy management technique for real-time embedded applications, recent research has identified significant and negative i...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
Kernel rootkits have posed serious security threats due to their stealthy manner. To hide their presence and activities, many rootkits hijack control flows by modifying control d...