Weaving Aspects into C++ Applications for Validation of Temporal Invariants.

Tanton H. Gibbs Brian A. Malloy

Published in: CSMR (2003)

Keyphrases

temporal information
temporal constraints
spatio temporal
moment invariants
object recognition
temporal patterns
temporal databases
databases
neural network
case study
relational databases
image matching
temporal reasoning
temporal evolution
model validation