639 search results - page 75 / 128 » A Finite State Mobile Agent Computation Model |
141
click to vote
CCCG
2008
15 years 6 months ago
2008
Local route discovery in geometric, strongly connected, undirected plane graphs is guaranteed by the Face Routing algorithm. The algorithm is local and geometric in the sense that...
144
click to vote
FLAIRS
2003
15 years 5 months ago
2003
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...
140
click to vote
ICTCS
2001
Springer
15 years 9 months ago
2001
Springer
In [BCC00], we presented a general framework for extending calculi of mobile agents with object-oriented features, and we studied a typed instance of that model based on Cardelli a...
157
click to vote
JAIR
2010
15 years 2 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
193
click to vote
EATIS
2009
ACM
15 years 7 months ago
2009
ACM
In this paper, we describe our work in developing an agent based smart house platform using TAOM4E development methodology and the JADE-platform with the Jadex-extension. In order...