A Language for Description and Verification of Mobile Agent Algorithms.

Xuhui Li Jiannong Cao Yanxiang He

Published in: CIT (2004)

Keyphrases

mobile agents
fault tolerance
artificial intelligence
distributed systems
load balancing
agent technology
distributed computing
data mining
learning algorithm
sensor networks
information processing
client server
mobile agent system