@incollection{eprints318,
            year = {2004},
       booktitle = {Verification: Theory and Practice},
           title = {A Formal Basis for Reasoning on Programmable QoS},
       publisher = {Springer},
           pages = {185--187},
          editor = {Nachum Dershowitz},
          volume = {2772},
          series = {Lecture Notes in Computer Science},
          author = {Rocco De Nicola and GianLuigi Ferrari and Ugo Montanari and Rosario Pugliese and Emilio Tuosto},
             url = {http://eprints.imtlucca.it/318/},
        abstract = {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.}
}