Title :
Specifying and authoring multimedia scenarios
Author :
Vazirgiannis, Michalis ; Kostalas, Ioannis ; Sellis, Timos
Author_Institution :
Dept. of Inf., Athens Sch. of Econ. & Bus. Sci., Greece
Abstract :
An authoring methodology and a set of checking tools let authors specify the spatial and temporal features of an application and verify the application prior to its execution. The checking tools include an animation tool, spatial and temporal layouts, and the execution table of the application
Keywords :
authoring systems; computer animation; formal specification; formal verification; multimedia computing; animation tool; application verification; checking tools; execution table; multimedia scenario authoring methodology; multimedia scenario specification; spatial features; spatial layout; temporal features; temporal layout; Animation; Engines; Environmental economics; HTML; Manuals; Markup languages; Rendering (computer graphics); Synchronization; Uniform resource locators; Usability;
Journal_Title :
MultiMedia, IEEE
