From model checking to data management in pervasive computing: a location-based query-processing framework.
Christian HoareauIchiro SatohPublished in: ICPS (2009)
Keyphrases
- model checking
- data management
- pervasive computing
- query processing
- temporal logic
- artifact centric
- ordered binary decision diagrams
- mobile computing
- formal specification
- database systems
- abstract interpretation
- verification method
- epistemic logic
- computation tree logic
- automated verification
- temporal properties
- formal verification
- smart environments
- bounded model checking
- context awareness
- daily life
- mobile devices
- databases