An Executable Semantics for a Multimedia Authoring Language
暂无分享,去创建一个
[1] Arjeh M. Cohen,et al. Synchronized Multimedia Integration Language (SMIL) 2.0 , 1998 .
[2] L. Stein,et al. OWL Web Ontology Language - Reference , 2004 .
[3] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[4] Ombretta Gaggi,et al. Enriching SMIL with assertions for temporal validation , 2007, ACM Multimedia.
[5] Simone Diniz Junqueira Barbosa,et al. NCL-inspector: towards improving NCL code , 2010, SAC '10.
[6] Luiz Fernando Gomes Soares,et al. Design methodology and formal validation of hypermedia documents , 1998, MULTIMEDIA '98.
[7] Ombretta Gaggi,et al. Analysis and verification of SMIL documents , 2011, Multimedia Systems.
[8] Chitta Baral,et al. Logic Programming and Knowledge Representation , 1994, J. Log. Program..
[9] C. M. Sperberg-McQueen,et al. Extensible Markup Language (XML) , 1997, World Wide Web J..
[10] Susan Elias,et al. Dynamic consistency checking for temporal and spatial relations in multimedia presentations , 2006, SAC '06.
[11] Rogério Ferreira Rodrigues,et al. Modeling, authoring and formatting hypermedia documents in the HyperProp system , 2000, Multimedia Systems.
[12] Maria Cristina Ferreira de Oliveira,et al. A statechart-based model for hypermedia applications , 2001, TOIS.
[13] Elisa Bertino,et al. A Constraint-Based Approach for the Authoring of Multi-Topic Multimedia Presentations , 2005, 2005 IEEE International Conference on Multimedia and Expo.
[14] Raphaël Troncy,et al. VAMP: a service for validating MPEG-7 descriptions w.r.t. to formal profile definitions , 2009, Multimedia Tools and Applications.
[15] Débora C. Muchaluat-Saade,et al. A Model-driven Approach for the Analysis of Multimedia Document , 2012, SLE.
[16] Jean-Marie Farines,et al. An approach to verify live NCL applications , 2012, WebMedia.