In this paper, we use the Z notation to analyze the temporal knowledge underlying a multimedia presentation. We then present a system based on the four ...

In this paper, we use the Z notation to analyze the temporal knowledge underlying a multimedia presentation. We then present a system based on the four temporal ...

In this paper, we use the Z notation to analyze the temporal knowledge underlying a multimedia presentation. We then present a system based on the four temporal ...

In this paper, we use the Z notation to analyze the temporal knowledge underlying a multimedia presentation. We then present a system based on the four temporal ...

Bibliographic details on Temporal Properties Underlying Multimedia Presentations with Z Notations.

The Z notation is a formal specification language widely used in Europe. In this paper, we use the Z notation to analyze the temporal knowledge underlying a ...

Oct 24, 2011 · In this paper, we use the Z notation to analyze the temporal knowledge underlying a multimedia presentation. We then present a system based ...

Formal model of temporal properties underlying multimedia presentations ... The Z Notation: A Reference Manual, Prentice-Hall Internat. Ser. Comput. Sci ...

A formal description technique supporting expression of quality of service and media synchronization · Abstract · Extracted data · Related items.

Mar 26, 2010 · 題名: Temporal Properties Underlying Multimedia Presentations with Z Notations. 作者: 施國琛;Shih, Timothy K.;葛煥昭;Keh, Huan-chao; ...