A Formal Basis for Reasoning on Programmable QoS
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.
@InProceedings\{de-nicola.etal:formal-reasoning-programmable-qos,
author = \{R.~{De Nicola} and G.-L.~Ferrari and U.~Montanari and R.~Pugliese and E.~Tuosto},
title = \{A Formal Basis for Reasoning on Programmable QoS},
booktitle = \{International Symposium on Verification (Theory and Practice)--Celebrating Zohar Manna's 64-th Birthday},
year = \{2003},
volume = \{2772},
series = \{LNCS},
publisher = \{Springer},
url = \{http://mikado.di.fc.ul.pt/repository/de-nicola.etal_formal-reasoning-programmable-qos.pdf}
}
About this site. Last modified: Wed Mar 4 17:54:25 CET 2020