Global consistency checking of distributed models with TReMer+.

Mehrdad Sabetzadeh Shiva Nejati Steve M. Easterbrook Marsha Chechik

Published in: ICSE (2008)

Keyphrases

consistency checking
computer vision
temporal reasoning
database
multi agent
distributed environment
temporal constraints
search algorithm
probabilistic model
distributed systems
constraint programming