Referenced Items are not available for this document.
The increasing number of multimedia applications has motivated the construction of platforms with end-to-end quality of service (QoS) support. This work proposes the use of Wright architecture description language (ADL) in the QoS provisioning domain, as the basis for the formal verification of QoS system properties. To smooth this task, the LindaQoS domain-specific language was designed as a high-level notation for the specification of resource (QoS) orchestration. As a result of this approach, we expect that designers can define clear and unambiguous instantiated platforms, with support to multimedia application implementations, in a reduced development time.
Published in:
Multimedia Modelling Conference, 2004. Proceedings. 10th International
Date of Conference: 5-7 Jan. 2004
- Page(s):
- 161 - 166
- Print ISBN:
- 0-7695-2084-7
- INSPEC Accession Number:
- 7979774
- Digital Object Identifier :
- 10.1109/MULMM.2004.1264981
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
