On formal descriptions of synchronization requirements in multimedia systems

On formal descriptions of synchronization requirements in multimedia systems

Bibliographic Details
Main Authors:	Fong, A, Simpson, A
Format:	Conference item
Published:	IEEE 2008

Similar Items

Design and implementation of synchronization models for multimedia systems
by: Ren, Junxin
Published: (2008)

Formalizing Metamodel of Requirements Management System
by: D. S. Kildishev, et al.
Published: (2018-12-01)

Formalisms for Morphographemic Description
by: Black, A, et al.
Published: (1987)

Model development and simulation for multimedia synchronization
by: Choo, Kok Seng.
Published: (2010)

Synchronization Protocol for Real Time Multimedia in Mobile Distributed Systems
by: Miguel Angel Olmos Bello, et al.
Published: (2018-01-01)

Formal Verification of Real-Time System Requirements
by: Marcin Szpyrka
Published: (2000-01-01)

Ontology for multimedia content descriptions
by: Liu, Song
Published: (2010)

Formal description of programming concepts /
by: 282483 Neuhold, Erich J.

Using CSP to model the synchronization process of variable length codes
by: Fong, A, et al.
Published: (2015)

The formal specification for competency requirements
by: Roslina, Mohd Sidek, et al.
Published: (2011)

Formal requirements of a science
by: Pool, Ithiel de Sola, 1917-1984
Published: (2013)

A Formal Specification of an Automatic Train Protection System
by: Simpson, A
Published: (1994)

The mobile multimedia business : requirements and solutions /
by: 464143 Eylert, Bernd
Published: (2005)

Formal Verification of a Clock Synchronization Method in a Distributed Automotive System
by: Böhm, P
Published: (2007)

Formal Multilevel Hierarchical Verification of Synchronous MOS Circuits
by: Weise, Daniel Wayne
Published: (2004)

FORMAL METHOD TO IMPLEMENT FUZZY REQUIREMENTS
by: MARLENE GONCALVES, et al.
Published: (2012-01-01)

Formalization and Validation of Safety-Critical Requirements
by: Alessandro Cimatti, et al.
Published: (2010-03-01)

USABILITY REQUIREMENT OF FORMAL VERIFICATION TOOLS
by: Rozilawati Razali, et al.
Published: (2012-12-01)

Formal models for privacy
by: Simpson, A, et al.
Published: (2016)

Formal Relational Database Design: An Exercise in Extending the Formal Template Language
by: Wu, N, et al.
Published: (2014)

The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System
by: Simpson, A
Published: (1995)

Synchronous and Asynchronous Multimedia and Iranian EFL Learners’ Learning of Collocations
by: Goudarz Alibakhshi, et al.
Published: (2016-07-01)

Formalizing Trust Requirements and Specification in Service Workflow Environments.
by: Viriyasitavat, W, et al.
Published: (2011)

Approach to a Quantitative Description of Social Systems Based on Thermodynamic Formalism
by: Kresimir Perackovic, et al.
Published: (2000-07-01)

Components of formalized description of selecting tools for ensuring stability of banking system
by: N.P. Pogorelenko
Published: (2015-09-01)

Does interactivity require multimedia? The case of SAKI
by: Michael Horwood
Published: (1993-12-01)

SALON ontology for the formal description of sequence alignments
by: Antonio Benítez-Hidalgo, et al.
Published: (2023-02-01)

Digital steganography model and its formal description
by: SONG Haitao, TANG Guangming, SUN Yifeng, WANG Yang
Published: (2020-06-01)

Synchronic requirements and diachronic permissions
by: Broome, J
Published: (2015)

General requirements for synchronous machines
by: 11585 American National Standards Institute

On Formalizing and Normalizing Role-Based Access Control Systems
by: Power, D, et al.
Published: (2009)

Requirements for Semantic Educational Recommender Systems in Formal E-Learning Scenarios
by: Jesus G. Boticario, et al.
Published: (2011-07-01)

Formal modeling analysis of military requirement assessment
by: MA Baolin, ZHU Xuyu, DU Bin
Published: (2024-02-01)

Multimedia description framework for media data processing and application
by: Ye, Jian.
Published: (2008)

Introduction to MPEG 7 : multimedia content description interface /
by: Sikora, Thomas, et al.
Published: (2002)

Evaluation of required sensing time for multimedia transmision over cognitive ultra wideband system /
by: Norazizah Mohd. Aripin, 1979-, author, et al.
Published: (2009)

Visual Calculating Aesthetic Value: Formal Models of Description and Evaluation for Aesthetic Systems
by: Haridis, Alexandros
Published: (2023)

Modelling of splicing systems using formal language theory
by: Fong, Wan Heng
Published: (2008)

Teaching Formal Methods in Context
by: Davies, J, et al.
Published: (2004)

Teaching Formal Methods in Context
by: Davies, J, et al.
Published: (2004)