Keyphrases
- formal methods
- mobile computing
- mobile devices
- context aware
- wireless networks
- data management
- mobile environments
- ubiquitous computing
- mobile users
- wireless communication
- knowledge based systems
- model checking
- artificial intelligence
- formal specification
- data collection
- computing environments
- mobile agents
- distributed systems
- transaction processing
- location dependent
- mobile technologies
- databases
- development lifecycle
- mobile computing environment
- data sources
- query language
- transaction model