Document Type

Technical Report

Publication Date



Quality of service (Computer networks), Adaptive computing systems, Streaming technology (Telecommunications), Electronic data processing -- Distributed processing, Multimedia systems


Multimedia presentations can convey information not only by the sequence of events but by their timing. The correctness of such presentations thus depends on the timing of events as well as their sequence and content. This paper introduces a formal specification language for playback of real-time presentations. The main contribution of this language is a quality of service (QOS) specification that relaxes resolution and synchronization requirements for playback. Our definitions give a precise meaning to the correctness of a presentation. This specification language will form the basis for a QOS interface for reservation of operating system resources.


A Technical Report produced by the Oregon Graduate Institute of Science and Technology Department of Computer Science & Engineering.

Persistent Identifier