2678 search results - page 524 / 536 » Operational Semantics of Transactions |
ISSTA
2010
ACM
15 years 1 months ago
2010
ACM
Virtual machines offer the ability to partition the resources of a physical system and to create isolated execution environments. The development of virtual machines is a very ch...
GRID
2007
Springer
15 years 1 months ago
2007
Springer
The global inter-networking infrastructure that has become essential for contemporary day-to-day computing and communication tasks, has also enabled the deployment of several large...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
The challenge we address is to reason about projected resource usage within a hierarchical task execution framework in order to improve agent effectiveness. Specifically, we seek ...
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
Robots are autonomous agents whose actions are performed in the real world during a period of time. There are a number of general constraints on such actions, for example that the ...
EDBTW
2006
Springer
15 years 1 months ago
2006
Springer
Geospatial image data obtained by satellites and aircraft are increasingly important to a wide range of applications, such as disaster management, climatology, and environmental m...