A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is
Proceedings of the eighth ACM international conference on Multimedia - MULTIMEDIA '00
This paper presents the on-going work using a formal approach for the design of Interactive Multimedia Documents (IMDs) based on the RT-LOTOS formal description technique. The present work extends this approach proposing the scheduling of IMDs based on a simple and operational model obtained as a result from the reachability analysis. One important breakthrough of this model is that it is a scheduling graph that provides the control of the occurrence of non-deterministic events, such as userdoi:10.1145/354384.376346 fatcat:ifhggyikwvcprjvmuj4gmuq4zm