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: | https://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. , 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 |
