A CSP-based framework for the specification, verification, and implementation of adaptive systems.

Björn Bartels Moritz Kleine

Published in: SEAMS (2011)

Keyphrases

adaptive systems
constraint satisfaction problems
data mining
fuzzy logic
general purpose
distributed systems
user model
specification language
formal verification
protocol specification