PEQCHECK: Localized and Context-aware Checking of Functional Equivalence.
Marie-Christine JakobsPublished in: FormaliSE@ICSE (2021)
Keyphrases
- context aware
- contextual information
- ubiquitous computing
- context awareness
- mobile devices
- ambient intelligence
- ubiquitous learning
- mobile computing
- location aware
- smart environments
- ubiquitous environment
- mobile users
- pervasive computing
- smart spaces
- mobile applications
- current context
- context aware systems
- context aware ubiquitous learning
- smart home
- mobile environments
- ubiquitous computing environments
- action recognition
- dynamic integration