Verifying Runtime Architectural Reconfiguration of Dynamically Adaptive Systems.

Sihem Loukil Slim Kallel Mohamed Jmaiel

Published in: EUROMICRO-SEAA (2013)

Keyphrases

adaptive systems
learning systems
user model
user modeling
e learning
software architecture
adaptation strategies
learning environment
model checking
manufacturing systems
changing environment
context awareness
hybrid intelligent systems
high level
domain independent
management system
data streams