Enriching SMIL with assertions for temporal validation
Proceedings of the 15th international conference on Multimedia
Designing consistent multimedia documents: the RT-LOTOS methodology
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Robust synchronization models for Presentation System using SMIL-driven approach
Computers & Education
Hi-index | 0.00 |