Query Language for Location-Based Services: A Model Checking Approach.
Christian HoareauIchiro SatohPublished in: IEICE Trans. Inf. Syst. (2008)
Keyphrases
- location based services
- model checking
- query language
- temporal logic
- mobile devices
- data model
- spatial data
- location information
- formal specification
- automated verification
- road network
- location privacy
- model checker
- mobile users
- uncertain data
- temporal properties
- formal verification
- verification method
- object oriented
- symbolic model checking
- timed automata
- computation tree logic
- formal methods
- transition systems
- bounded model checking
- mobile applications
- mobile phone
- database
- asynchronous circuits
- context aware
- user interface
- concurrent systems
- data mining
- linear temporal logic
- databases