Towards concurrent task verification in context-aware applications.
Shinji IwamotoRen OhmuraPublished in: UbiComp/ISWC Adjunct (2015)
Keyphrases
- context aware
- ubiquitous computing
- model checking
- smart phones
- face verification
- context awareness
- virtual communities
- functional verification
- database
- signature verification
- ambient intelligence
- verification method
- concurrent systems
- collaborative filtering
- web services
- knowledge base
- formal methods
- pervasive computing
- information systems
- formal verification
- high security
- concurrent execution
- neural network