ActivFORMS: active formal models for self-adaptation.

M. Usman Iftikhar Danny Weyns

Published in: SEAMS (2014)

Keyphrases

formal models
formal model
rule based systems
process model
decision making
evolution strategy
autonomic computing systems
real time
information retrieval
learning algorithm
information systems
evolutionary algorithm
control system