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