Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Why looking isn't always seeing: readership skills and graphical programming
Communications of the ACM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Incremental consistency checking for pervasive context
Proceedings of the 28th international conference on Software engineering
H-SMIL-Net: A Hierarchical Petri Net Model for SMIL Documents
UKSIM '08 Proceedings of the Tenth International Conference on Computer Modeling and Simulation
Intermedia synchronization management in DTV systems
Proceedings of the eighth ACM symposium on Document engineering
Composer: Authoring Tool for iTV Programs
EUROITV '08 Proceedings of the 6th European conference on Changing Television Environments
A software model supporting the management of home network services through the brazilian iDTV
Proceedings of the seventh european conference on European interactive television conference
Using versioned tree data structure, change detection and node identity for three-way XML merging
Proceedings of the 10th ACM symposium on Document engineering
SMIL builder: An incremental authoring tool for SMIL Documents
ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)
Incremental Validation of XML Document Based on Simplified XML Element Sequence Pattern
WISA '10 Proceedings of the 2010 Seventh Web Information Systems and Applications Conference
Jumping between devices and services: towards an integrated concept for social tv
Proceddings of the 9th international interactive conference on Interactive television
Textual authoring of interactive digital TV applications
Proceddings of the 9th international interactive conference on Interactive television
Efficient incremental validation of XML documents after composite updates
XSym'06 Proceedings of the 4th international conference on Database and XML Technologies
Hi-index | 0.00 |
This paper presents an incremental validation process for multimedia documents describing interactive digital TV (iTV) applications. This work delves more specifically into documents defined in Nested Context Language (NCL), a declarative language standard adopted by ISDB-Tb and ITU-T for IPTV. The focus of incremental validation, the approach proposed in this work, relies on checking only the pieces of code that have been modified since the latest validation as well as those parts that have suffered any side effects, thus eliminating the need for a thorough checking of the document. The implications of performing this type of validation in a declarative language such as NCL are discussed and implementation details are given. Performance tests comparing the standard and incremental validation approaches have been carried out revealing a significant improvement concerning the latter.