eBooks-it.org Logo
eBooks-IT.org Inner Image

Quantitative Evaluation of Systems

10th International Conference

Quantitative Evaluation of Systems Image

Book Details:

Publisher:Springer
Series: Springer
Author:Kaustubh Joshi
Edition:1
ISBN-10:3642401953
ISBN-13:9783642401954
Pages:420
Published:Aug 07 2013
Posted:Nov 19 2014
Language:English
Book format:PDF
Book size:11.45 MB

Book Description:

This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 21 revised full papers presented together with 9 tool demonstrations were carefully reviewed and selected from 52 submissions. The papers are organized in topics such as probabilistic automata and Markov automata, population models, model checking and systems, systems, control and games, timed automata and simulation.

Download Link:

Related Books:

Usability of Complex Information Systems

Evaluation of User Interaction
Usability of Complex Information Systems Image
Why do enterprise systems have complicated search pages, when Google has a single search box that works better? Why struggle with an expense reimbursement system that is not as easy as home accounting software? Although this seems like comparing apples to oranges, as information and communication technologies increasingly reach into every industry the demand for easy-to-use work tools continues to grow. An exploration of cutting-edge approaches for evaluating the usability of complex user interaction, Usability of Complex Information Systems: Evaluation of User Interaction focuses on improving design and communicating content to the end user. The book continues the conversation about the evolution of usability, asking how we can design and evaluate ...

Resilience Assessment and Evaluation of Computing Systems

Resilience Assessment and Evaluation of Computing Systems Image
The resilience of computing systems includes their dependability as well as their fault tolerance and security. It defines the ability of a computing system to perform properly in the presence of various kinds of disturbances and to recover from any service degradation. These properties are immensely important in a world where many aspects of our daily life depend on the correct, reliable and secure operation of often large-scale distributed computing systems.Wolter and her co-editors grouped the 20 chapters from leading researchers into seven parts: an introduction and motivating examples, modeling techniques, model-driven prediction, measurement and metrics, testing techniques, case studies, and conclusions. The core is formed by 12 technical paper...

Evaluation of Novel Approaches to Software Engineering

6th International Conference
Evaluation of Novel Approaches to Software Engineering Image
This book contains a collection of thoroughly refereed papers presented at the 6th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2011, held in Beijing, China, in June 2011. The 18 revised and extended full papers presented together with 10 revised short papers were carefully reviewed and selected from 75 initial submissions. The papers cover a wide range of topics, such as software quality and testing, requirements engineering, programming, software processes and methods, software tools and environments, business process and services modeling, software components, software effort and processes, and socio-technical aspects of software development....



2007 - 2021 © eBooks-IT.org