Author: Annabelle McIver
Publisher: Springer
ISBN: 331999154X
Category : Computers
Languages : en
Pages : 435
Book Description
This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer systems and networks through stochastic models and measurements emphasizing two frontier topics in research: quantitative information flow for security and industrial formal methods.
Quantitative Evaluation of Systems
Author: Annabelle McIver
Publisher: Springer
ISBN: 331999154X
Category : Computers
Languages : en
Pages : 435
Book Description
This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer systems and networks through stochastic models and measurements emphasizing two frontier topics in research: quantitative information flow for security and industrial formal methods.
Publisher: Springer
ISBN: 331999154X
Category : Computers
Languages : en
Pages : 435
Book Description
This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer systems and networks through stochastic models and measurements emphasizing two frontier topics in research: quantitative information flow for security and industrial formal methods.
Quantitative Evaluation of Systems
Author: Marco Gribaudo
Publisher: Springer Nature
ISBN: 3030598543
Category : Computers
Languages : en
Pages : 301
Book Description
This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020. The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as classic measures involving performance and reliability, quantification of properties that are classically qualitative, such as safety, correctness, and security as well as analytic studies, diversity in the model formalisms and methodologies employed, and development of new formalisms and methodologies.
Publisher: Springer Nature
ISBN: 3030598543
Category : Computers
Languages : en
Pages : 301
Book Description
This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020. The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as classic measures involving performance and reliability, quantification of properties that are classically qualitative, such as safety, correctness, and security as well as analytic studies, diversity in the model formalisms and methodologies employed, and development of new formalisms and methodologies.
Quantitative Evaluation of Systems
Author: Nathalie Bertrand
Publisher: Springer
ISBN: 3319663356
Category : Computers
Languages : en
Pages : 369
Book Description
This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and performance modeling; parametric verification; machine learning and formal methods; tools.
Publisher: Springer
ISBN: 3319663356
Category : Computers
Languages : en
Pages : 369
Book Description
This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and performance modeling; parametric verification; machine learning and formal methods; tools.
Quantitative Evaluation of Systems
Author: Javier Campos
Publisher: Springer
ISBN: 3319222643
Category : Computers
Languages : en
Pages : 334
Book Description
This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing systems and hybrid systems. The book also contains one full-paper invited talk.
Publisher: Springer
ISBN: 3319222643
Category : Computers
Languages : en
Pages : 334
Book Description
This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing systems and hybrid systems. The book also contains one full-paper invited talk.
Quantitative Evaluation of Systems
Author: Gul Agha
Publisher: Springer
ISBN: 331943425X
Category : Computers
Languages : en
Pages : 385
Book Description
This book constitutes the proceedings of the 13th International Conference on Quantitative Evaluation Systems, QEST 2016, held in Quebec City, Canada, in August 2016. The 21 full papers and 3 tool demonstration papers presented were carefully reviewed and selected from 46 submissions. They are organized in topical sections entitled: Markov processes; tools; sampling, inference, and optimization methods; Markov decision processes and Markovian analysis; networks.
Publisher: Springer
ISBN: 331943425X
Category : Computers
Languages : en
Pages : 385
Book Description
This book constitutes the proceedings of the 13th International Conference on Quantitative Evaluation Systems, QEST 2016, held in Quebec City, Canada, in August 2016. The 21 full papers and 3 tool demonstration papers presented were carefully reviewed and selected from 46 submissions. They are organized in topical sections entitled: Markov processes; tools; sampling, inference, and optimization methods; Markov decision processes and Markovian analysis; networks.
Quantitative Evaluation of Computing and Communication Systems
Author: Heinz Beilner
Publisher: Springer Science & Business Media
ISBN: 9783540603009
Category : Computers
Languages : en
Pages : 434
Book Description
This book constitutes the proceedings of the 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (Performance Tools '95) and of the 8th GI/ITG Conference on Measuring, Modelling and Evaluating Computing and Communication Systems, MMB '95, held jointly in Heidelberg, Germany in September 1995. The volume presents 26 full refereed papers selected from a total of 86 submissions, together with two invited contributions. The scope of the papers includes measurement- and model-based approaches for quantitative systems assessment, reports on theoretical and methodological progress, and novel and improved assessment techniques and their tool implementations and applications.
Publisher: Springer Science & Business Media
ISBN: 9783540603009
Category : Computers
Languages : en
Pages : 434
Book Description
This book constitutes the proceedings of the 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (Performance Tools '95) and of the 8th GI/ITG Conference on Measuring, Modelling and Evaluating Computing and Communication Systems, MMB '95, held jointly in Heidelberg, Germany in September 1995. The volume presents 26 full refereed papers selected from a total of 86 submissions, together with two invited contributions. The scope of the papers includes measurement- and model-based approaches for quantitative systems assessment, reports on theoretical and methodological progress, and novel and improved assessment techniques and their tool implementations and applications.
Quantitative Models for Performance Evaluation and Benchmarking
Author: Joe Zhu
Publisher: Springer
ISBN: 3319066471
Category : Business & Economics
Languages : en
Pages : 419
Book Description
The author is one of the prominent researchers in the field of Data Envelopment Analysis (DEA), a powerful data analysis tool that can be used in performance evaluation and benchmarking. This book is based upon the author’s years of research and teaching experiences. It is difficult to evaluate an organization’s performance when multiple performance metrics are present. The difficulties are further enhanced when the relationships among the performance metrics are complex and involve unknown tradeoffs. This book introduces Data Envelopment Analysis (DEA) as a multiple-measure performance evaluation and benchmarking tool. The focus of performance evaluation and benchmarking is shifted from characterizing performance in terms of single measures to evaluating performance as a multidimensional systems perspective. Conventional and new DEA approaches are presented and discussed using Excel spreadsheets — one of the most effective ways to analyze and evaluate decision alternatives. The user can easily develop and customize new DEA models based upon these spreadsheets. DEA models and approaches are presented to deal with performance evaluation problems in a variety of contexts. For example, a context-dependent DEA measures the relative attractiveness of similar operations/processes/products. Sensitivity analysis techniques can be easily applied, and used to identify critical performance measures. Two-stage network efficiency models can be utilized to study performance of supply chain. DEA benchmarking models extend DEA’s ability in performance evaluation. Various cross efficiency approaches are presented to provide peer evaluation scores. This book also provides an easy-to-use DEA software — DEAFrontier. This DEAFrontier is an Add-In for Microsoft® Excel and provides a custom menu of DEA approaches. This version of DEAFrontier is for use with Excel 97-2013 under Windows and can solve up to 50 DMUs, subject to the capacity of Excel Solver. It is an extremely powerful tool that can assist decision-makers in benchmarking and analyzing complex operational performance issues in manufacturing organizations as well as evaluating processes in banking, retail, franchising, health care, public services and many other industries.
Publisher: Springer
ISBN: 3319066471
Category : Business & Economics
Languages : en
Pages : 419
Book Description
The author is one of the prominent researchers in the field of Data Envelopment Analysis (DEA), a powerful data analysis tool that can be used in performance evaluation and benchmarking. This book is based upon the author’s years of research and teaching experiences. It is difficult to evaluate an organization’s performance when multiple performance metrics are present. The difficulties are further enhanced when the relationships among the performance metrics are complex and involve unknown tradeoffs. This book introduces Data Envelopment Analysis (DEA) as a multiple-measure performance evaluation and benchmarking tool. The focus of performance evaluation and benchmarking is shifted from characterizing performance in terms of single measures to evaluating performance as a multidimensional systems perspective. Conventional and new DEA approaches are presented and discussed using Excel spreadsheets — one of the most effective ways to analyze and evaluate decision alternatives. The user can easily develop and customize new DEA models based upon these spreadsheets. DEA models and approaches are presented to deal with performance evaluation problems in a variety of contexts. For example, a context-dependent DEA measures the relative attractiveness of similar operations/processes/products. Sensitivity analysis techniques can be easily applied, and used to identify critical performance measures. Two-stage network efficiency models can be utilized to study performance of supply chain. DEA benchmarking models extend DEA’s ability in performance evaluation. Various cross efficiency approaches are presented to provide peer evaluation scores. This book also provides an easy-to-use DEA software — DEAFrontier. This DEAFrontier is an Add-In for Microsoft® Excel and provides a custom menu of DEA approaches. This version of DEAFrontier is for use with Excel 97-2013 under Windows and can solve up to 50 DMUs, subject to the capacity of Excel Solver. It is an extremely powerful tool that can assist decision-makers in benchmarking and analyzing complex operational performance issues in manufacturing organizations as well as evaluating processes in banking, retail, franchising, health care, public services and many other industries.
Social Work Research and Evaluation
Author: Richard M. Grinnell, Jr.
Publisher: Oxford University Press
ISBN: 0199889899
Category : Social Science
Languages : en
Pages : 1196
Book Description
Over thirty years of input from instructors and students have gone into this popular research methods text, resulting in a refined ninth edition that is easier to read, understand, and apply than ever before. Using unintimidating language and real-world examples, it introduces students to the key concepts of evidence-based practice that they will use throughout their professional careers. It emphasizes both quantitative and qualitative approaches to research, data collection methods, and data analysis, providing students with the tools they need to become evidence-based practitioners.
Publisher: Oxford University Press
ISBN: 0199889899
Category : Social Science
Languages : en
Pages : 1196
Book Description
Over thirty years of input from instructors and students have gone into this popular research methods text, resulting in a refined ninth edition that is easier to read, understand, and apply than ever before. Using unintimidating language and real-world examples, it introduces students to the key concepts of evidence-based practice that they will use throughout their professional careers. It emphasizes both quantitative and qualitative approaches to research, data collection methods, and data analysis, providing students with the tools they need to become evidence-based practitioners.
Quantitative Evaluation of Systems
Author: Alessandro Abate
Publisher: Springer Nature
ISBN: 3030851729
Category : Computers
Languages : en
Pages : 469
Book Description
This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021. The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models.
Publisher: Springer Nature
ISBN: 3030851729
Category : Computers
Languages : en
Pages : 469
Book Description
This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021. The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models.
Systems Evaluation
Author: Sifeng Liu
Publisher: CRC Press
ISBN: 1466551399
Category : Technology & Engineering
Languages : en
Pages : 272
Book Description
A book in the Systems Evaluation, Prediction, and Decision-Making Series, Systems Evaluation: Methods, Models, and Applications covers the evolutionary course of systems evaluation methods, clearly and concisely. Outlining a wide range of methods and models, it begins by examining the method of qualitative assessment. Next, it describes the process and methods for building an index system of evaluation and considers the compared evaluation and the logical framework approach, analytic hierarchy process (AHP), and the data envelopment analysis (DEA) relative efficiency evaluation method. Unique in its emphasis on the practical applications of systems evaluation methods and models, the book introduces several new evaluation models of grey system, including general grey incidence model, grey incidence models based on similarity and closeness, grey cluster evaluation based on triangular whitenization functions, and multi-attribute grey target decision model. Explaining intricate concepts in language that is easy to understand it provides step-by-step explanations of the various methods and models. The text illustrates the practical application, analysis, and computation of systems evaluation methods and models with an abundance of practical examples and empirical studies. The case studies examine post evaluation of road-bridge construction projects, the efficiency evaluation of the science and technology activities, the evaluation of energy-saving projects in China, and the evaluation and selection of international cooperation projects.
Publisher: CRC Press
ISBN: 1466551399
Category : Technology & Engineering
Languages : en
Pages : 272
Book Description
A book in the Systems Evaluation, Prediction, and Decision-Making Series, Systems Evaluation: Methods, Models, and Applications covers the evolutionary course of systems evaluation methods, clearly and concisely. Outlining a wide range of methods and models, it begins by examining the method of qualitative assessment. Next, it describes the process and methods for building an index system of evaluation and considers the compared evaluation and the logical framework approach, analytic hierarchy process (AHP), and the data envelopment analysis (DEA) relative efficiency evaluation method. Unique in its emphasis on the practical applications of systems evaluation methods and models, the book introduces several new evaluation models of grey system, including general grey incidence model, grey incidence models based on similarity and closeness, grey cluster evaluation based on triangular whitenization functions, and multi-attribute grey target decision model. Explaining intricate concepts in language that is easy to understand it provides step-by-step explanations of the various methods and models. The text illustrates the practical application, analysis, and computation of systems evaluation methods and models with an abundance of practical examples and empirical studies. The case studies examine post evaluation of road-bridge construction projects, the efficiency evaluation of the science and technology activities, the evaluation of energy-saving projects in China, and the evaluation and selection of international cooperation projects.