Login / Signup
A formal model-based approach for developing an interoperable mobile agent system.
Junhua Ding
Peter J. Clarke
Dianxiang Xu
Xudong He
Yi Deng
Published in:
Multiagent Grid Syst. (2006)
Keyphrases
</>
formal model
mobile agent system
mobile agents
formal models
predicate calculus
fault tolerant
digital libraries
security properties
metadata
web services
data mining
information systems
computational intelligence
security patterns