A location-based policy-specification language for mobile devices.
Joshua FinnisNalin SaigalAdriana IamnitchiJay LigattiPublished in: Pervasive Mob. Comput. (2012)
Keyphrases
- specification language
- mobile devices
- location based services
- formal specification
- description language
- programming language
- mobile learning
- mobile phone
- context aware
- smart phones
- location aware
- optimal policy
- symbolic execution
- mobile applications
- mobile technologies
- learning activities
- software environment
- requirements specification
- mobile computing
- mobile users
- location information
- open source
- artificial intelligence
- social networking
- distributed systems
- evolutionary algorithm
- machine learning