TY  - CHAP
T3  - Lecture Notes in Computer Science
N2  - 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.
EP  - 187
ED  - Dershowitz, Nachum
T2  - Verification: Theory and Practice
PB  - Springer
AV  - none
SN  - 3-540-21002-4
M1  - 2772
SP  - 185
ID  - eprints318
Y1  - 2004///
TI  - A Formal Basis for Reasoning on Programmable QoS
UR  - http://dx.doi.org/10.1007/978-3-540-39910-0_21
A1  - De Nicola, Rocco
A1  - Ferrari, GianLuigi
A1  - Montanari, Ugo
A1  - Pugliese, Rosario
A1  - Tuosto, Emilio
ER  -