Achieving Adaptation for Adaptive Systems via Runtime Verification: A Model-Driven Approach.
Zhuoqun YangZhi JinZhi LiPublished in: CoRR (2017)
Keyphrases
- adaptive systems
- adaptation strategies
- learning systems
- adaptive hypermedia
- e learning
- user model
- user modeling
- learning environment
- model checking
- context awareness
- metamodel
- user centred evaluation
- verification method
- hybrid intelligent systems
- context sensitive
- signature verification
- embedded systems
- machine learning
- domain independent
- intelligent systems
- natural language processing
- artificial neural networks
- multi agent
- learning algorithm