2838 search results - page 544 / 568 » Verifying Controlled Components |
SSDBM
2005
IEEE
14 years 1 months ago
2005
IEEE
As with many large organizations, the Government's data is split in many different ways and is collected at different times by different people. The resulting massive data he...
SC
2005
ACM
14 years 1 months ago
2005
ACM
We are developing Virtuoso, a system for distributed computing using virtual machines (VMs). Virtuoso must be able to mix batch and interactive VMs on the same physical hardware, ...
SIGIR
2005
ACM
14 years 1 months ago
2005
ACM
Search engines represent a key component of Web economy these days. Despite that, there is not much technical literature available on their design, fine tuning, and internal oper...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes an integrated system for coordinating multiple rover behavior with the overall goal of collecting planetary surface data. The MISUS system combines techniques...
E4MAS
2005
Springer
14 years 1 months ago
2005
Springer
Stigmergy (the coordination of agents through signs they make and sense in a shared environment) was originally articulated in the study of social insects. Its basic processes are ...