940 search results - page 174 / 188 » Local rely-guarantee reasoning |
100
Voted
MOBIDE
2005
ACM
15 years 3 months ago
2005
ACM
In the context of mobile data access, data caching is fundamental for both performance and functionality. For this reason there have been many studies into developing energy-effi...
122
click to vote
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
We describe a very large scale distributed robotic system, involving a team of over 100 robots, that has been successfully deployed in large, unknown indoor environments, over ext...
E4MAS
2005
Springer
15 years 3 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 ...
ECAL
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper presents a model of the co-evolution of transmissible disease and a population of non-randomly mixed susceptible agents. The presence of the disease elements i...
AMAST
2004
Springer
15 years 3 months ago
2004
Springer
concerns, abstraction (particularly hierarchical abstraction), simplicity, and restricted visibility (locality of information). The overall goal behind these principles was stated ...