relation: http://eprints.imtlucca.it/318/
title: A Formal Basis for Reasoning on Programmable QoS
creator: De Nicola, Rocco
creator: Ferrari, GianLuigi
creator: Montanari, Ugo
creator: Pugliese, Rosario
creator: Tuosto, Emilio
subject: QA75 Electronic computers. Computer science
description: The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the development of the novel wide area network applications. In this paper, we introduce a foundational model for specification of QoS attributes at application level. The model handles QoS attributes as semantic constraints within a graphical calculus for mobility. In our approach QoS attributes are related to the programming abstractions and are exploited to select, configure and dynamically modify the underlying system oriented QoS mechanisms.
publisher: Springer
contributor: Dershowitz, Nachum
date: 2004
type: Book Section
type: PeerReviewed
identifier:   De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio  A Formal Basis for Reasoning on Programmable QoS.   In:  Verification: Theory and Practice.   Lecture Notes in Computer Science, 2772 .  Springer, pp. 185-187.  ISBN 3-540-21002-4      (2004)  
relation: http://dx.doi.org/10.1007/978-3-540-39910-0_21
relation: 10.1007/978-3-540-39910-0_21