Proceedings of the Eighth International Conference on Quantitative Evaluation of SysTems

Catuscia Palamidessi 1 Alma Riska 2
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : QEST is a leading forum on evaluation and verification of computer systems and networks, through stochastic models and measurements and has a broad range of interest with a common thread resting on quantitative evaluation. The range of performance metrics of interest spans classical measures involving performance and reliability, as well as quantification of properties that are classically qualitative, such as safety, correctness, and security. QEST welcomes measurement-based studies as well as analytic studies, diversity in the model formalisms and methodologies employed, as well as development of new formalisms and methodologies such as quantitative planning for infrastructures. QEST is also interested in case studies highlighting the role of quantitative evaluation in the design of systems, intended in a broad sense, such as computer hardware and software architectures, communication systems, embedded systems, and biological systems. Moreover, tools for supporting the practical application of research results in all of the above areas are of special interest, and therefore tool papers are sought as well. In short, QEST aims to create a sound methodological basis for assessing and designing systems using quantitative means.
Type de document :
Ouvrage (y compris édition critique et traduction)
Catuscia Palamidessi and Alma Riska. IEEE, 276 p., 2011, 978-1-4577-0973-9
Liste complète des métadonnées

https://hal.inria.fr/hal-00655524
Contributeur : Catuscia Palamidessi <>
Soumis le : vendredi 30 décembre 2011 - 01:40:17
Dernière modification le : jeudi 10 mai 2018 - 02:06:42

Identifiants

  • HAL Id : hal-00655524, version 1

Collections

Citation

Catuscia Palamidessi, Alma Riska. Proceedings of the Eighth International Conference on Quantitative Evaluation of SysTems. Catuscia Palamidessi and Alma Riska. IEEE, 276 p., 2011, 978-1-4577-0973-9. 〈hal-00655524〉

Partager

Métriques

Consultations de la notice

591