تفاصيل الكتاب

978-3-540-35365-2

Formal Methods and Stochastic Models for Performance Evaluation

Publication Date: 2006

ISBN: 978-3-540-35365-2

Internet Resource: Please Login to download book


This volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, June 21-22, 2006. These proceedings comprise the 16 accepted contributed papers of EPEW 2006.Toensurethehigh-qualityevaluationofthesubmittedpapersweextended the ProgramCommittee of EPEW 2006 with international experts from all over the world. The ?nal workshop program, as well as this volume, are made up of ?ve thematic sessions: – Stochastic process algebra – Workloads and benchmarks – Theory of stochastic processes – Formal dependability and performance evaluation – Queues, theory and practice These sessions cover a wide range of performance evaluation methods and c- pose an overview of the current research directions in performance evaluation.


Subject: Computer Science, QoS, Unified Modeling Language (UML), Web services, algorithms, benchmarking, calculus, formal method, formal verification, model checking, performance engineering, program semantics, scheduling, software analysis, stochastic modeling, systems analysis