A Notation and Logic for Mobile Computing.
Gruia-Catalin RomanPeter J. McCannPublished in: Formal Methods Syst. Des. (2002)
Keyphrases
- mobile computing
- wireless networks
- mobile devices
- context aware
- data management
- mobile users
- mobile environments
- mobile communications
- wireless communication
- ubiquitous computing
- mobile computing environment
- low bandwidth
- transaction processing
- data collection
- distributed systems
- computing environments
- mobile agents
- location dependent
- location tracking
- computing paradigm
- social computing
- database systems
- learning experience
- transaction model
- online learning
- learning systems