%V 2772
%D 2004
%S Lecture Notes in Computer Science
%R 10.1007/978-3-540-39910-0_21
%A Rocco De Nicola
%A GianLuigi Ferrari
%A Ugo Montanari
%A Rosario Pugliese
%A Emilio Tuosto
%L eprints318
%X 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.
%B Verification: Theory and Practice
%E Nachum Dershowitz
%T A Formal Basis for Reasoning on Programmable QoS
%P 185-187
%I Springer