Dealing with resource requirement in multimedia document consistency verification

Authors:
A. Abdelli
Affiliations:
Computer Science Department, Algiers, Algeria
Venue:
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
Year:
2007

Citing 6
Cited 1

Proving temporal consistency in a new multimedia synchronization model

MULTIMEDIA '96 Proceedings of the fourth ACM international conference on Multimedia
Dealing with Uncertain Durations in Synchronized Multimedia Presentations

Multimedia Tools and Applications
A Design Methodology for the Formal Specification and Verification of Hypermedia Documents

FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
A study of the recoverability of computing systems.

A study of the recoverability of computing systems.
Synchronized Transitions Preemptive Time Petri Nets: A new model towards specifying multimedia requirements

AICCSA '06 Proceedings of the IEEE International Conference on Computer Systems and Applications
Towards SMIL document analysis using an algebraic time net

PCM'04 Proceedings of the 5th Pacific Rim conference on Advances in Multimedia Information Processing - Volume Part III

Improving the consistency verification and the quality of multimedia presentations

International Journal of Critical Computer-Based Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper proposes to revisit the concept of multimedia document consistency. Within this context, numerous works have addressed approaches for the temporal consistency verification of such documents, especially those that are encoded using the SMIL language, but to our best knowledge, no one has proposed to handle the resource conflict issue and its impact on both multimedia presentation quality and consistency. Therefore, we propose to work out this issue by taking into account the resource needs when carrying out the consistency verification. Hence, a new paradigm called "qualitative consistency" is defined improving the previous concepts already defined for this topic.