1214 search results - page 228 / 243 » Network Processing of Mobile Agents, by Mobile Agents, for M... |
TELECARE
2004
13 years 9 months ago
2004
The growing percentage of elderly population imposes an urgent need to develop new approaches to care provision. Integration of a number of technologies such as multi-agent systems...
PDPTA
2003
13 years 9 months ago
2003
We present a novel approach to parallel Boolean satisfiability (SAT) checking. A distinctive feature of our parallel SAT checker is that it incorporates all essential heuristics ...
WSC
2000
13 years 9 months ago
2000
Simulations often operate on static datasets and data sources, but many simulations would benefit from access to dynamic data. This paper describes our work developing a software ...
KBS
2007
13 years 7 months ago
2007
The paper introduces and formalizes a distributed approach for the model-based monitoring of the execution of a plan, where concurrent actions are carried on by a team of mobile r...
ENTCS
2002
13 years 7 months ago
2002
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...