An Ontology for Mobile Agents in the Context of Formal Verification.
Paulo Salem da SilvaAna Cristina Vieira de MeloPublished in: OTM Conferences (2) (2005)
Keyphrases
- mobile agents
- formal verification
- client server
- model checking
- mobile environments
- distributed computing
- distributed systems
- mobile agent technology
- load balancing
- fault tolerance
- bounded model checking
- mobile agent system
- model checker
- intelligent agents
- automated verification
- context aware
- network management
- virtual enterprise
- middleware architecture
- distributed data mining
- computing environments
- computational intelligence
- intelligent systems
- mobile computing
- symbolic model checking
- mobile users
- fault tolerant