Experiments on Formal Verification of Mobile Agent Data Integrity Properties.
Paolo MaggiRiccardo SistoPublished in: WOA (2002)
Keyphrases
- mobile agents
- formal verification
- data integrity
- client server
- model checking
- database design
- distributed databases
- mobile agent technology
- distributed systems
- mobile agent system
- agent technology
- data storage
- fault tolerance
- mobile users
- mobile computing
- computing environments
- intelligent agents
- database systems
- database
- web server
- database server
- context aware
- wireless sensor networks