An Approach for the Automatic Generation of RT-LOTOS Specifications from SMIL 2.0 Documents

— The flexibility of high level authoring models (such as SMIL 2.0) for the edition of complex Interactive Multimedia Documents can lead authors, in certain cases, to specify synchronization relations which could not be satisfied during the presentation of the document, thus characterizing the occurrence of temporal inconsistencies. For this reason, we need… CONTINUE READING