Proceedings of the Eighth International Conference on Quantitative Evaluation of SysTems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2011

Proceedings of the Eighth International Conference on Quantitative Evaluation of SysTems

Résumé

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.
Fichier non déposé

Dates et versions

hal-00655524 , version 1 (30-12-2011)

Identifiants

  • HAL Id : hal-00655524 , version 1

Citer

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⟩
369 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More