DocumentCode :
341683
Title :
Temporal integrity constraints in interactive multimedia documents
Author :
Mirbel, I. ; Pernici, B. ; Vazirgiannis, M.
Author_Institution :
Lab. I3S, CNRS, France
Volume :
2
fYear :
1999
fDate :
36342
Firstpage :
867
Abstract :
When authoring multimedia scenarios, and in particular scenarios with user interaction, where the sequence and time of occurrence of interactions is not predefined, it is difficult to guarantee the consistency of the resulting scenarios. As a consequence, the execution of the scenario may result in unexpected behavior or inconsistent use of media. The paper proposes to use temporal constraint verification techniques in a methodology for checking the temporal integrity of interactive multimedia document scenarios at authoring time at various levels
Keywords :
authoring systems; data integrity; document handling; formal verification; interactive systems; multimedia computing; temporal logic; authoring time; inconsistent media use; interactive multimedia document scenarios; interactive multimedia documents; multimedia scenarios; temporal constraint verification techniques; temporal integrity; temporal integrity constraints; unexpected behavior; user interaction; Access control; Buildings; Resumes;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Multimedia Computing and Systems, 1999. IEEE International Conference on
Conference_Location :
Florence
Print_ISBN :
0-7695-0253-9
Type :
conf
DOI :
10.1109/MMCS.1999.778601
Filename :
778601
Link To Document :
بازگشت