TY - GEN
T1 - Providing consistent SMIL 2.0 documents
AU - Sampaio, P. N.M.
AU - Courtiat, J. P.
N1 - Publisher Copyright:
© 2002 IEEE.
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 -