An Algebraic Framework for the Verification of Context-Aware Adaptive Systems.
Katerina KsystraPetros S. StefaneasPanayiotis FrangosPublished in: Int. J. Softw. Eng. Knowl. Eng. (2015)
Keyphrases
- context aware
- adaptive systems
- context awareness
- contextual information
- context aware systems
- ubiquitous computing
- ambient intelligence
- smart environments
- mobile devices
- mobile users
- mobile applications
- ubiquitous learning
- current context
- user behavior
- learning systems
- computational intelligence
- pervasive computing
- management system
- smart spaces
- artificial intelligence
- adaptation strategies