Logo eprints

A Formal Basis for Reasoning on Programmable QoS

De Nicola, Rocco and Ferrari, GianLuigi and Montanari, Ugo and Pugliese, Rosario and Tuosto, Emilio A Formal Basis for Reasoning on Programmable QoS. In: Verification: Theory and Practice. Lecture Notes in Computer Science, 2772 . Springer, pp. 185-187. ISBN 3-540-21002-4 (2004)

Full text not available from this repository.

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.

Item Type: Book Section
Identification Number: 10.1007/978-3-540-39910-0_21
Funders: R. De Nicola has been supported by MIUR project NAPOLI and EU-FET project MIKADO IST-2001-32222. G. Ferrari has been supported by MIUR project NAPOLI and EU-FET project PROFUNDIS IST-2001-33100. , U. Montanari has been supported by MIUR project COMETA and EU-FET project AGILE IST-2001-32747. R. Pugliese has been supported by MIUR project NAPOLI and EU-FET project AGILE IST-2001-32747., E. Tuosto has been supported by MIUR project NAPOLI and EU-FET project PROFUNDIS IST-2001-33100., All authors have been supported by the MIUR project SP4 "Architetture Software ad Alta Qualità di Servizio per Global Computing su Cooperative Wide Area Networks".
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Rocco De Nicola
Date Deposited: 31 May 2011 12:07
Last Modified: 15 Jan 2014 10:28
URI: http://eprints.imtlucca.it/id/eprint/318

Actions (login required)

Edit Item Edit Item