Context-aware counter abstraction.
Gérard BaslerMichele MazzucchiThomas WahlDaniel KroeningPublished in: Formal Methods Syst. Des. (2010)
Keyphrases
- context aware
- contextual information
- context awareness
- ubiquitous computing
- mobile devices
- mobile computing
- context aware ubiquitous learning
- ubiquitous learning
- ambient intelligence
- smart home
- mobile users
- smart environments
- high level
- context aware systems
- ubiquitous computing environments
- context aware services
- mobile applications
- dynamic integration
- artificial intelligence
- ubiquitous environment
- user context
- smart spaces
- pervasive computing
- mobile environments
- learning environment