✦ LIBER ✦

Specification and verification of multimedia synchronization in Duration Calculus

✍ Scribed by HuaDong Ma

Book ID: 105666079
Publisher: Springer
Year: 2003
Tongue: English
Weight: 804 KB
Volume: 18
Category: Article
ISSN: 1000-9000
DOI: 10.1007/bf02948882

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Specification and verification of multim

Specification and verification of multimedia synchronization scenarios using time-Estelle

✍ Tony Tsang; Richard Lai 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 202 KB

Multimedia synchronization scenario modelling can be classified into four categories: axes-based model; synchronization point control; event-based model; and interval-based model. 1 Existing formal languages do not support the specifications and verifications of all these four categories of synchron

Synchronization in Specification-based M

Synchronization in Specification-based Multimedia Presentations

✍ Johnny Wong; Sriram Kini; Kishore Doobagunta 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 604 KB

Several information protocols exist for exchange of multimedia information. The HyperText 'Jkansfer Protocol (HITP) of NCSA combines hypertext techniques with multimedia to provide an intuitive, easy-to-use hypermedia interface. However, HTTP does not provide the means to synchronize different multi

A Calculus for Generation, Verification

A Calculus for Generation, Verification and Refinement of BPEL Specifications

✍ Faisal Abouzaid; John Mullins 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 355 KB

A Tool For Specification And Verificatio

A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems

✍ Franco Raimondi; Alessio Lomuscio 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 184 KB

We present a compiler that translates a multi-agent systems specification given in the formalism of Interpreted Systems into an SMV program. We show how an SMV model checker can be coupled with a Kripke model editor (Akka) to allow for the mechanical verification of epistemic properties of multi-age

[Lecture Notes in Computer Science] Corr

[Lecture Notes in Computer Science] Correct Hardware Design and Verification Methods Volume 3725 || Formal Verification of Synchronizers

✍ Borrione, Dominique; Paul, Wolfgang 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 141 KB

[Lecture Notes in Computer Science] Corr

[Lecture Notes in Computer Science] Correct Hardware Design and Verification Methods Volume 3725 || Formal Verification of Synchronizers

✍ Borrione, Dominique; Paul, Wolfgang 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 141 KB

This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbr?cken, Germany, in October 2005. The 21 revised full papers and 18 short papers presented together with 2 invi