Performance Evaluation of Complex Systems: Techniques and Tools
Performance Evaluation of Complex Systems: Techniques and Tools

Author: Maria Carla Calzarossa

Publisher: Springer

Published: 2003-08-02

Total Pages: 509

ISBN-13: 3540457984

DOWNLOAD EBOOK

This book presents the tutorial lectures given by leading experts in the area at the IFIP WG 7.3 International Symposium on Computer Modeling, Measurement and Evaluation, Performance 2002, held in Rome, Italy in September 2002.The survey papers presented are devoted to theoretical and methodological advances in performance and reliability evaluation as well as new perspectives in the major application fields. Modeling and verification issues, solution methods, workload characterization, and benchmarking are addressed from the methodological point of view. Among the applications dealt with are hardware and software architectures, wired and wireless networks, grid environments, Web services, and real-time voice and video processing.This book is intended to serve as a state-of-the-art survey and reference for students, scientists, and engineers active in the area of performance and reliability evaluation.

Formal Methods and Stochastic Models for Performance Evaluation
Formal Methods and Stochastic Models for Performance Evaluation

Author: András Horváth

Publisher: Springer Science & Business Media

Published: 2006-06-12

Total Pages: 246

ISBN-13: 3540353623

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third European Performance Engineering Workshop, EPEW 2006, held in Budapest, Hungary in June 2006. The 16 revised full papers presented were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on stochastic process algebra, workloads and benchmarks, theory of stochastic processes, formal dependability and performance evaluation, as well as queues, theory and practice.

Formal Methods for Software Architectures
Formal Methods for Software Architectures

Author: Marco Bernardo

Publisher: Springer Science & Business Media

Published: 2003-09-12

Total Pages: 293

ISBN-13: 3540200835

DOWNLOAD EBOOK

In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the software development life cycle, from requirements analysis and validation, to design and down to code and execution level. This book presents the tutorial lectures given by leading authorities at the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2003, held in Bertinoro, Italy, in September 2003. The book is ideally suited for advanced courses on software architecture as well as for ongoing education of software engineers using formal methods in their day-to-day professional work.

Reliability and Maintenance of Complex Systems
Reliability and Maintenance of Complex Systems

Author: Süleyman Özekici

Publisher: Springer Science & Business Media

Published: 1996-06-18

Total Pages: 616

ISBN-13: 9783540611097

DOWNLOAD EBOOK

Complex high-technology devices are in growing use in industry, service sectors, and everyday life. Their reliability and maintenance is of utmost importance in view of their cost and critical functions. This book focuses on this theme and is intended to serve as a graduate-level textbook and reference book for scientists and academics in the field. The chapters are grouped into five complementary parts that cover the most important aspects of reliability and maintenance: stochastic models of reliability and maintenance, decision models involving optimal replacement and repair, stochastic methods in software engineering, computational methods and simulation, and maintenance management systems. This wide range of topics provides the reader with a complete picture in a self-contained volume.

Computer and Information Sciences - ISCIS 2004
Computer and Information Sciences - ISCIS 2004

Author: Cevdet Aykanat

Publisher: Springer Science & Business Media

Published: 2004-10-14

Total Pages: 1027

ISBN-13: 3540235264

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 19th International Symposium on Computer and Information Sciences, ISCIS 2004, held in Kemer-Antalya, Turkey in October 2004. The 99 revised full papers presented together with an invited paper were carefully reviewed and selected from 335 submissions. The papers are organized in topical sections on artificial intelligence and machine learning, computer graphics and user interfaces, computer networks and security, computer vision and image processing, database systems, modeling and performance evaluation, natural language processing, parallel and distributed computing, real-time control applications, software engineering and programming, and theory of computing.

Complex System Governance
Complex System Governance

Author: Charles B. Keating

Publisher: Springer Nature

Published: 2022-04-18

Total Pages: 592

ISBN-13: 3030938522

DOWNLOAD EBOOK

This book explores Complex System Governance (CSG)—an emerging field concerned with the design, execution, and evolution of essential functions necessary to ensure continued viability of a system. The book focuses on three primary development areas to better understand and utilize current developments CSG. First, the conceptual foundations for CSG are developed, from systems theory, management cybernetics, and governance. Second, a set of critical CSG topics are examined from conceptual as well as practice perspectives. Third, several development and application issues are discussed. Ultimately, CSG is positioned as an emerging field with strong theoretical grounding and significant implications for improving practices and performance to better address complex systems and their problems.