520 search results - page 96 / 104 » coordination 2005 |
SENSYS
2005
ACM
14 years 2 months ago
2005
ACM
MAX is a system that facilitates human-centric search of the physical world. It allows humans to search for and locate objects as and when they need it instead of organizing them ...
SOUPS
2005
ACM
14 years 2 months ago
2005
ACM
In our research, we have been concerned with the question of how to make relevant features of security situations visible to users in order to allow them to make informed decision...
VEE
2005
ACM
14 years 2 months ago
2005
ACM
Virtual Machine (VM) environments (e.g., VMware and Xen) are experiencing a resurgence of interest for diverse uses including server consolidation and shared hosting. An applicati...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...