Home > Research > Publications & Outputs > A formal description technique supporting expre...

Research

Links

Text available via DOI:

View graph of relations

A formal description technique supporting expression of quality of service and media synchronization

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

A formal description technique supporting expression of quality of service and media synchronization. / Bowman, Howard; Blair, Lynne; Blair, Gordon S. et al.
Multimedia Transport and Teleservices - International COST 237 Workshop, Proceedings. Springer-Verlag, 1994. p. 145-167 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 882 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Bowman, H, Blair, L, Blair, GS & Chetwynd, AG 1994, A formal description technique supporting expression of quality of service and media synchronization. in Multimedia Transport and Teleservices - International COST 237 Workshop, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 882 LNCS, Springer-Verlag, pp. 145-167, International Workshop on COST 237 Multimedia Transport and Teleservices, 1994, Vienna, Austria, 13/11/94. https://doi.org/10.1007/3-540-58759-4_33

APA

Bowman, H., Blair, L., Blair, G. S., & Chetwynd, A. G. (1994). A formal description technique supporting expression of quality of service and media synchronization. In Multimedia Transport and Teleservices - International COST 237 Workshop, Proceedings (pp. 145-167). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 882 LNCS). Springer-Verlag. https://doi.org/10.1007/3-540-58759-4_33

Vancouver

Bowman H, Blair L, Blair GS, Chetwynd AG. A formal description technique supporting expression of quality of service and media synchronization. In Multimedia Transport and Teleservices - International COST 237 Workshop, Proceedings. Springer-Verlag. 1994. p. 145-167. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-58759-4_33

Author

Bowman, Howard ; Blair, Lynne ; Blair, Gordon S. et al. / A formal description technique supporting expression of quality of service and media synchronization. Multimedia Transport and Teleservices - International COST 237 Workshop, Proceedings. Springer-Verlag, 1994. pp. 145-167 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Bibtex

@inproceedings{d9bd836037f148249b9d7356a9f41e41,
title = "A formal description technique supporting expression of quality of service and media synchronization",
abstract = "Formal description techniques have been applied successfully to the fields of communications and distributed systems. We argue, however, that the recent emergence of multimedia computing will have a significant impact on this work. In particular, existing formal description techniques do not satisfactorily model the real-time behaviour exhibited by distributed multimedia systems. This paper considers the impact of multimedia on formal description techniques and proposes an approach in which functional behaviour is expressed in the language LOTOS and non-functional quality of service is expressed in a real-time temporal logic. This dual language approach to formal description is demonstrated through a number of multimedia examples, culminating in the specification of a lip-synchronization algorithm.",
author = "Howard Bowman and Lynne Blair and Blair, {Gordon S.} and Chetwynd, {Amanda G.}",
year = "1994",
month = jan,
day = "1",
doi = "10.1007/3-540-58759-4_33",
language = "English",
isbn = "9783540587590",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "145--167",
booktitle = "Multimedia Transport and Teleservices - International COST 237 Workshop, Proceedings",
note = "International Workshop on COST 237 Multimedia Transport and Teleservices, 1994 ; Conference date: 13-11-1994 Through 15-11-1994",

}

RIS

TY - GEN

T1 - A formal description technique supporting expression of quality of service and media synchronization

AU - Bowman, Howard

AU - Blair, Lynne

AU - Blair, Gordon S.

AU - Chetwynd, Amanda G.

PY - 1994/1/1

Y1 - 1994/1/1

N2 - Formal description techniques have been applied successfully to the fields of communications and distributed systems. We argue, however, that the recent emergence of multimedia computing will have a significant impact on this work. In particular, existing formal description techniques do not satisfactorily model the real-time behaviour exhibited by distributed multimedia systems. This paper considers the impact of multimedia on formal description techniques and proposes an approach in which functional behaviour is expressed in the language LOTOS and non-functional quality of service is expressed in a real-time temporal logic. This dual language approach to formal description is demonstrated through a number of multimedia examples, culminating in the specification of a lip-synchronization algorithm.

AB - Formal description techniques have been applied successfully to the fields of communications and distributed systems. We argue, however, that the recent emergence of multimedia computing will have a significant impact on this work. In particular, existing formal description techniques do not satisfactorily model the real-time behaviour exhibited by distributed multimedia systems. This paper considers the impact of multimedia on formal description techniques and proposes an approach in which functional behaviour is expressed in the language LOTOS and non-functional quality of service is expressed in a real-time temporal logic. This dual language approach to formal description is demonstrated through a number of multimedia examples, culminating in the specification of a lip-synchronization algorithm.

U2 - 10.1007/3-540-58759-4_33

DO - 10.1007/3-540-58759-4_33

M3 - Conference contribution/Paper

AN - SCOPUS:9244223966

SN - 9783540587590

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 145

EP - 167

BT - Multimedia Transport and Teleservices - International COST 237 Workshop, Proceedings

PB - Springer-Verlag

T2 - International Workshop on COST 237 Multimedia Transport and Teleservices, 1994

Y2 - 13 November 1994 through 15 November 1994

ER -