A Formal Approach to Enforcing Consistency in Self-adaptive Systems.

Najla Hadj Kacem Ahmed Hadj Kacem Khalil Drira

Published in: ECSA (2010)

Keyphrases

management system
complex systems
formal methods
real time
data sets
knowledge based systems
database
data mining
computer vision
case study
distributed systems
retrieval systems
formal model
global consistency
disjunctive constraints