A Higher Order -Calculus Specification for a Mobile Agent in JINI.
Andreea BarbuFabrice MourlinPublished in: SNPD (2003)
Keyphrases
- mobile agents
- higher order
- transition systems
- provably correct
- mobile agent technology
- formal language
- load balancing
- fault tolerance
- client server
- distributed computing
- distributed data mining
- distributed systems
- pairwise
- lambda calculus
- mobile agent system
- computing environments
- intelligent agents
- agent technology
- middleware architecture
- network management
- mobile computing
- mobile users
- agent systems
- web services
- artificial intelligence
- machine learning