eprintid: 318
rev_number: 16
eprint_status: archive
userid: 32
dir: disk0/00/00/03/18
datestamp: 2011-05-31 12:07:34
lastmod: 2014-01-15 10:28:52
status_changed: 2011-05-31 12:07:34
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_name: Ferrari, GianLuigi
creators_name: Montanari, Ugo
creators_name: Pugliese, Rosario
creators_name: Tuosto, Emilio
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
creators_id: 
creators_id: 
title: A Formal Basis for Reasoning on Programmable QoS
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
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.
date: 2004
date_type: published
series: Lecture Notes in Computer Science
volume: 2772
publisher: Springer
pagerange: 185-187
id_number: 10.1007/978-3-540-39910-0_21
refereed: TRUE
isbn: 3-540-21002-4
book_title: Verification: Theory and Practice
editors_name: Dershowitz, Nachum
official_url: http://dx.doi.org/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. 
funders: 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.
funders: E. Tuosto has been supported by MIUR project NAPOLI and EU-FET project PROFUNDIS IST-2001-33100.
funders: 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". 
citation:   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)