Providing consistent SMIL 2.0 documents

P. N.M. Sampaio; J. P. Courtiat

doi:10.1109/ICME.2002.1035598

Providing consistent SMIL 2.0 documents

P. N.M. Sampaio
, J. P. Courtiat

Research output: Chapter in Book/Report/Conference proceeding › Paper (Conference contribution) › peer-review

5 Scopus citations

Abstract

This paper presents a methodology to provide the formal verification, scheduling and presentation of consistent SMIL 2.0 documents. The second version of SMIL provides a temporal model much more flexible enabling the author to specify synchronization constraints that can not be potentially satisfied during the presentation of his document. For this reason, some types of inconsistency that can be produced in a SMIL 2.0 document are characterized in this paper and the effect of these inconsistencies were analysed using some SMIL 2.0 players. Furthermore, some results are also presented in order to provide a consistent diagnosis of the verification analysis based on a simple and operational scheduling graph.

Original language	English
Title of host publication	Proceedings - 2002 IEEE International Conference on Multimedia and Expo, ICME 2002
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	337-340
Number of pages	4
ISBN (Electronic)	0780373049
DOIs	https://doi.org/10.1109/ICME.2002.1035598
State	Published - 2002
Externally published	Yes
Event	2002 IEEE International Conference on Multimedia and Expo, ICME 2002 - Lausanne, Switzerland Duration: 26 Aug 2002 → 29 Aug 2002

Publication series

Name	Proceedings - 2002 IEEE International Conference on Multimedia and Expo, ICME 2002
Volume	2

Conference

Conference	2002 IEEE International Conference on Multimedia and Expo, ICME 2002
Country/Territory	Switzerland
City	Lausanne
Period	26/08/02 → 29/08/02

Access to Document

10.1109/ICME.2002.1035598

Cite this

Sampaio, P. N. M., & Courtiat, J. P. (2002). Providing consistent SMIL 2.0 documents. In Proceedings - 2002 IEEE International Conference on Multimedia and Expo, ICME 2002 (pp. 337-340). Article 1035598 (Proceedings - 2002 IEEE International Conference on Multimedia and Expo, ICME 2002; Vol. 2). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICME.2002.1035598

@inproceedings{dc57d5b59cc84597805981539eeef46b,

title = "Providing consistent SMIL 2.0 documents",

abstract = "This paper presents a methodology to provide the formal verification, scheduling and presentation of consistent SMIL 2.0 documents. The second version of SMIL provides a temporal model much more flexible enabling the author to specify synchronization constraints that can not be potentially satisfied during the presentation of his document. For this reason, some types of inconsistency that can be produced in a SMIL 2.0 document are characterized in this paper and the effect of these inconsistencies were analysed using some SMIL 2.0 players. Furthermore, some results are also presented in order to provide a consistent diagnosis of the verification analysis based on a simple and operational scheduling graph.",

author = "Sampaio, \{P. N.M.\} and Courtiat, \{J. P.\}",

note = "Publisher Copyright: {\textcopyright} 2002 IEEE.; 2002 IEEE International Conference on Multimedia and Expo, ICME 2002 ; Conference date: 26-08-2002 Through 29-08-2002",

year = "2002",

doi = "10.1109/ICME.2002.1035598",

language = "Ingl{\'e}s",

series = "Proceedings - 2002 IEEE International Conference on Multimedia and Expo, ICME 2002",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "337--340",

booktitle = "Proceedings - 2002 IEEE International Conference on Multimedia and Expo, ICME 2002",

}

Sampaio, PNM & Courtiat, JP 2002, Providing consistent SMIL 2.0 documents. in Proceedings - 2002 IEEE International Conference on Multimedia and Expo, ICME 2002., 1035598, Proceedings - 2002 IEEE International Conference on Multimedia and Expo, ICME 2002, vol. 2, Institute of Electrical and Electronics Engineers Inc., pp. 337-340, 2002 IEEE International Conference on Multimedia and Expo, ICME 2002, Lausanne, Switzerland, 26/08/02. https://doi.org/10.1109/ICME.2002.1035598

Providing consistent SMIL 2.0 documents. / Sampaio, P. N.M.; Courtiat, J. P.
Proceedings - 2002 IEEE International Conference on Multimedia and Expo, ICME 2002. Institute of Electrical and Electronics Engineers Inc., 2002. p. 337-340 1035598 (Proceedings - 2002 IEEE International Conference on Multimedia and Expo, ICME 2002; Vol. 2).

Research output: Chapter in Book/Report/Conference proceeding › Paper (Conference contribution) › peer-review

TY - GEN

T1 - Providing consistent SMIL 2.0 documents

AU - Sampaio, P. N.M.

AU - Courtiat, J. P.

PY - 2002

Y1 - 2002

N2 - This paper presents a methodology to provide the formal verification, scheduling and presentation of consistent SMIL 2.0 documents. The second version of SMIL provides a temporal model much more flexible enabling the author to specify synchronization constraints that can not be potentially satisfied during the presentation of his document. For this reason, some types of inconsistency that can be produced in a SMIL 2.0 document are characterized in this paper and the effect of these inconsistencies were analysed using some SMIL 2.0 players. Furthermore, some results are also presented in order to provide a consistent diagnosis of the verification analysis based on a simple and operational scheduling graph.

AB - This paper presents a methodology to provide the formal verification, scheduling and presentation of consistent SMIL 2.0 documents. The second version of SMIL provides a temporal model much more flexible enabling the author to specify synchronization constraints that can not be potentially satisfied during the presentation of his document. For this reason, some types of inconsistency that can be produced in a SMIL 2.0 document are characterized in this paper and the effect of these inconsistencies were analysed using some SMIL 2.0 players. Furthermore, some results are also presented in order to provide a consistent diagnosis of the verification analysis based on a simple and operational scheduling graph.

UR - https://www.scopus.com/pages/publications/33645965435

U2 - 10.1109/ICME.2002.1035598

DO - 10.1109/ICME.2002.1035598

M3 - Articulo (Contribución a conferencia)

AN - SCOPUS:33645965435

T3 - Proceedings - 2002 IEEE International Conference on Multimedia and Expo, ICME 2002

SP - 337

EP - 340

BT - Proceedings - 2002 IEEE International Conference on Multimedia and Expo, ICME 2002

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2002 IEEE International Conference on Multimedia and Expo, ICME 2002

Y2 - 26 August 2002 through 29 August 2002

ER -

Providing consistent SMIL 2.0 documents

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this