1087 search results - page 102 / 218 » Achieving Distributed Control through Model Checking |
HPCC
2009
Springer
14 years 1 months ago
2009
Springer
—Grid applications need to move large amounts of data between distributed resources within deterministic time frames. In most cases it is possible to specify the volume and the d...
CCS
2006
ACM
14 years 27 days ago
2006
ACM
In trust negotiation and other distributed proving systems, networked entities cooperate to form proofs that are justified by collections of certified attributes. These attributes...
ISER
2004
Springer
14 years 2 months ago
2004
Springer
We present a series of experiments concerned with the inspection of regular, engineered structures carried out using swarms of five to twenty autonomous, miniature robots, solely ...
CVPR
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents a new model of object classes which incorporates appearance and shape information jointly. Modeling objects appearance by distributions of visual words has rec...
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
Decentralized MDPs provide powerful models of interactions in multi-agent environments, but are often very difficult or even computationally infeasible to solve optimally. Here we...