Executing temporal logic programs
Executing temporal logic programs
Specifying real-time properties with metric temporal logic
Real-Time Systems
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Synchronization models for multimedia presentation with user participation
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
Structured multimedia authoring
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
Automatic temporal layout mechanisms
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
Hyperdocuments as automata: trace-based browsing property verification
ECHT '92 Proceedings of the ACM conference on Hypertext
A graphical environment for the design of concurrent real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
Synchronization of distributed multimedia systems with user interactions
Multimedia Systems
MING-I: a distributed interactive multimedia document development mechanism
Multimedia Systems
Do you have the time? Composition and linking in time-based hypermedia
Proceedings of the tenth ACM Conference on Hypertext and hypermedia : returning to our diverse roots: returning to our diverse roots
Authoring techniques for temporal scenarios of multimedia documents
Handbook of Internet and multimedia
Maintaining knowledge about temporal intervals
Communications of the ACM
Modeling Reactive Multimedia: Events and Behaviors
Multimedia Tools and Applications
Temporal Relations and Synchronization Agents
IEEE MultiMedia
A Logic Based Formalism for Temporal Constraints in Multimedia Documents
PODP '96 Proceedings of the Third International Workshop on Principles of Document Processing
A Combination of Clausal and Non Clausal Temporal Logic Programs
IJCAI '93 Proceedings of the Workshop on Executable Modal and Temporal Logics
A Tableau Method for Interval Temporal Logic with Projection
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Using Temporal Logic for Prototyping: The Design of a Lift Controller
Temporal Logic in Specification
Some Very Compositional Temporal Properties
PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems
Temporal Logic in Specification
A Complete Axiomatization of Interval Temporal Logic with Infinite Time
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Interval Expressions - a Functional Model for Interactive Dynamic Multimedia Presentations
ICMCS '96 Proceedings of the 1996 International Conference on Multimedia Computing and Systems
Modeling logical and temporal synchronization in hypermedia systems
IEEE Journal on Selected Areas in Communications
Using timed CSP for specification verification and simulation of multimedia synchronization
IEEE Journal on Selected Areas in Communications
Hi-index | 0.00 |
This paper explores a formalism for describing a wide class of multimedia document constraints, based on an interval temporal logic. We describe the requirements that arise from the multimedia documents application area, and we illustrate these requirements using several examples. Then we present the temporal logic formalism that we use. This logic extends existing interval temporal logic with a number of new features: actions, framing of actions, past operators, a projection-like operator called filter and a new handling of interval length. The notation is applied to the specification of the examples, and in particular a set of logical manipulations, providing feedback to an author, is presented. A model theory, logic and satisfaction relation are defined for the notation.