Specification and Prototyping of Structured Multimedia Documents Using Interval Temporal Logic

Advances in Temporal Logic
doi 10.1007/978-94-015-9586-5_22
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Netherlands

Related search

Using Transformations in Specification-Based Prototyping

IEEE Transactions on Software Engineering
Software
1993English

Document Engineering Approaches Toward Scalable and Structured Multimedia, Web and Printable Documents

Multimedia Tools and Applications
Media TechnologyComputer NetworksHardwareCommunicationsArchitectureSoftware
2009English

Theoretical Foundations: Formalized Temporal Models for Hyperlinked Multimedia Documents

2018English

Model Checking Cryptographic Protocols With Interval Temporal Logic

Journal of Convergence Information Technology
2010English

Many-Dimensional Modal Logic of Tense and Temporal Interval and Its Decidability

Transactions of the Japanese Society for Artificial Intelligence
Artificial IntelligenceSoftware
2006English

Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic

Journal of Applied Non-Classical Logics
PhilosophyLogic
2004English

Using Argumentation Logic for Firewall Policy Specification and Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Structured Multimedia Authoring

ACM Transactions on Multimedia Computing, Communications and Applications
HardwareComputer NetworksArchitectureCommunications
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy