PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report).
Marie-Christine JakobsPublished in: CoRR (2021)
Keyphrases
- context aware
- technical report
- contextual information
- context awareness
- mobile devices
- ambient intelligence
- ubiquitous computing
- mobile users
- ubiquitous learning
- smart environments
- context aware systems
- smart home
- mobile computing
- context aware services
- current context
- location aware
- mobile applications
- smart spaces
- context aware computing
- context sensitive
- mobile agents
- sensor networks
- end users