Improving the consistency verification and the quality of multimedia presentations
暂无分享,去创建一个
[1] Patrick Sénac,et al. Modeling Logical and Temporal Synchronization in Hypermedia Systems , 1996, IEEE J. Sel. Areas Commun..
[2] Luiz Fernando Rust da Costa Carmo,et al. A General-Purpose Multimedia Synchronization Mechanism Based on Casual Relations , 1996, IEEE J. Sel. Areas Commun..
[3] Soon Myoung Chung,et al. Timed Petri net representation of SMIL , 2005, IEEE MultiMedia.
[4] Pierre de Saqui-Sannes,et al. Multimedia Authoring with Hierarchical Timed Stream Petri Nets and Java , 2004, Multimedia Tools and Applications.
[5] M. Diaz,et al. Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..
[6] Muriel Jourdan,et al. Constraint Techniques for Authoring Multimedia Documents , 2004, Constraints.
[7] Abdelkrim Abdelli,et al. A Formal Approach for an Environment-aware Verification of the Consistency of a Multimedia Presentation , 2009 .
[8] Nadjib Badache,et al. A semantic based pre-fetch scheme for SMIL presentation proxy-delivery , 2006, 2006 12th International Multi-Media Modelling Conference.
[9] Philip Meir Merlin,et al. A study of the recoverability of computing systems. , 1974 .
[10] A. Abdelli. Dealing with resource requirement in multimedia document consistency verification , 2007 .
[11] Nadjib Badache,et al. Synchronized Transitions Preemptive Time Petri Nets: A new model towards specifying multimedia requirements , 2006, IEEE International Conference on Computer Systems and Applications, 2006..
[12] Nadjib Badache,et al. Context-aware adaptation of multimedia documents for consistent presentations , 2011, Multimedia Systems.
[13] Nadjib Badache,et al. Towards Building the State Class Graph of the TSPN Model , 2008, Fundam. Informaticae.
[14] Celso A. S. Santos,et al. A Design Methodology for the Formal Specification and Verification of Hypermedia Documents , 1998, FORTE.
[15] Dick C. A. Bulterman,et al. Structured multimedia authoring , 2005, TOMCCAP.
[16] Nabil Layaïda,et al. Dealing with Uncertain Durations in Synchronized Multimedia Presentations , 2002, Multimedia Tools and Applications.