Expressing and Verifying Temporal and Structural Properties of Mobile Agents.
Marek A. BednarczykWojciech JamrogaWieslaw PawlowskiPublished in: Fundam. Informaticae (2006)
Keyphrases
- structural properties
- mobile agents
- distributed systems
- network management
- mobile agent technology
- distributed computing
- client server
- load balancing
- fault tolerance
- computing environments
- distributed data mining
- topological properties
- tree width
- mobile users
- mobile agent system
- intelligent agents
- network evolution
- temporal constraints
- mobile computing
- temporal information
- mobile environments
- model checking
- black hole search
- virtual enterprise
- temporal reasoning