Static Consistency Checking for Distributed Specifications.

Christian Nentwich Wolfgang Emmerich Anthony Finkelstein

Published in: ASE (2001)

Keyphrases

consistency checking
stochastic search
query answering
distributed systems
temporal reasoning
mobile agents
cooperative
distributed environment
temporal constraints
three dimensional
image sequences
peer to peer
data exchange
temporal information