<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A Formal Basis for Reasoning on Programmable QoS"^^ . "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."^^ . "2004" . "2772" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . . . . "Ugo"^^ . "Montanari"^^ . "Ugo Montanari"^^ . . "Emilio"^^ . "Tuosto"^^ . "Emilio Tuosto"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "GianLuigi"^^ . "Ferrari"^^ . "GianLuigi Ferrari"^^ . . "Nachum"^^ . "Dershowitz"^^ . "Nachum Dershowitz"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . . . . "HTML Summary of #318 \n\nA Formal Basis for Reasoning on Programmable QoS\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .