MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Specification of (parts of) a Lip-Sync Protocol Using

Download:
Download as a PDF | Download as a PS
by Thomas Stauner
http://www4.informatik.tu-muenchen.de/papers/Stauner99.ps.gz
Add To MetaCart

Abstract:

This paper presents the specification of some parts of a lip-synchronization protocol using HyCharts [GSB98]. The specification is based on a timed automata model for the protocol presented in [BFK 98]. The primary motivation of this work is to examine the utility of HyCharts for problems in the multimedia field, in particular in comparison to timed automata [AD94]. 1

Citations

410 Real-Time ObjectOriented Modeling – Selic, Gullekson, et al. - 1994
332 Uppaal in a Nutshell – Larsen, Pettersson, et al. - 1997
116 A Theory of Timed Automata, Theoretical Computer Science 126 – Alur, Dill - 1994
35 A Modular Visual Model for Hybrid Systems – Grosu, Stauner, et al. - 1998
22 Formal Specification of Distributed Multimedia Systems – Blair, Blair, et al. - 1998
20 Computational Model for Distributed Multimedia Application Based on a Synchronous Programming Language – Stefani, Hazard, et al. - 1992
14 Multimedia in temporal LOTOS: A lip synchronisation algorithm – Regan - 1993
9 Using timed CSP for specification, verification and simulation of multimedia synchronization – Ates, Bilgic, et al. - 1996
9 Modular and visual specification of hybrid systems - an introduction to HyCharts – Grosu, Stauner
6 Specification and Verification of an Electronic Height Control System using Hybrid Automata – Stauner - 1997
1 The constructive semantics of Esterel. Book in preparation – Berry - 1996
View or Download | Add to My Collection | Correct Errors