114 search results - page 20 / 23 » A Formalism for Hierarchical Mobile Agents |
112
click to vote
CIA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We present a trust model extension that attempts to relax the assumptions that are currently taken by the majority of existing trust models: (i) proven identity of agents...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Mobile ip (mip) is an internet protocol that allows mobile nodes to have continuous network connectivity to the internet without changing their ip addresses while moving to other ...
TASE
2009
IEEE
15 years 4 months ago
2009
IEEE
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
ICALP
2003
Springer
15 years 2 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
KBS
2007
14 years 9 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...