The aim of this workshop was to discuss any aspect of time critical applications which are based on (a combination of) object-oriented and constraint technology: Language design, implementation, hybrid systems, temporal deductive databases, semantic models, specification, verification nad analysis methods, constraint domains and solvers for temporal reasoning, temporal aspects of internet and multimedia computing, applications. Papers illustrating products and protoypes were particularly encouraged.
展开▼