Relaxing Synchronization Constraints in Behavioral Programs.

David Harel Amir Kantor Guy Katz

Published in: LPAR (2013)

Keyphrases

database systems
constraint satisfaction
constrained optimization
global constraints
real time
data mining
similarity measure
pairwise
human behavior