Jane hillston (68 resultados)

Paperback. Condición: New.

Paperback. Condición: Fine. Mint condition.

Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condición: New.

Condición: New.

Condición: New. Describes new theory for performance modelling and applies it to communication systems. Series: Distinguished Dissertations in Computer Science. Num Pages: 172 pages, 5 b/w illus. BIC Classification: UT; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 9. Weight in Grams: 290. . 2008. Revised ed. paperback. . . . .…

Hardcover. Condition vg in dj. The first book presenting a stochastic extension of process algebra, PEPA; this is shown to be suitable for specifying a Markov process, which can then be applied to performance modelling. Part of the Distinguished Dissertations in Computer Science series. 158pp.

Condición: New.

Condición: New. In English.

Condición: New. In English.

Condición: New. In English.

Condición: New. pp. 172 Index.

Condición: As New. Unread book in perfect condition.

Condición: New. pp. 208.

Condición: New. Describes new theory for performance modelling and applies it to communication systems. Series: Distinguished Dissertations in Computer Science. Num Pages: 172 pages, 5 b/w illus. BIC Classification: UT; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 9. Weight in Grams: 290. . 2008. Revised ed. paperback. . . . . Books ship from the US and Ireland.…

Condición: As New. Unread book in perfect condition.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Performance engineering is a fast-moving field where advances in technology mean that new issues constantly need to be addressed. In response to this, the UK Computer and Telecommunications Performance Engineering workshops were set up in 1985 to provide a valuable opportunity for the discussion and exchange of ideas. They have subsequently become well established as the focus for academic and industrial practitioners from the UK and Europe with an interest in performance and modelling and analysis. This volume contains the 16 papers which were presented at the 7th annual workshop, held in Edinburgh in July 1991. The workshop highlighted various aspects of parallel computing - an area which is attracting an increasing amount of interest - and the work presented in these papers is of particular interest as the contributors used real analysis to evaluate their models. The papers cover an unusually wide range of topics, both practical and theoretical, including advances in queueing theory, common performance problems and their solutions, assessments of available tools and presentations of new theoretical results. The result is an extremely comprehensive coverage of this important and challenging field. This volume provides an up-to-date assessment of work being carried out by performance engineers in the UK and Europe and will be an invaluable reference book for researchers and practitioners wishing to familiarise themselves with the benefits of performance and analysis.…

Paperback. Condición: Brand New. 208 pages. 9.61x6.70x0.44 inches. In Stock.

Paperback. Condición: Brand New. 1st edition. 467 pages. 9.00x6.00x1.00 inches. In Stock.

Condición: New. In English.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007.SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field.…

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: New.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This is the first book presenting a stochastic extension of process algebra, PEPA; this is shown to be suitable for specifying a Markov process, which can then be applied to performance modelling. The method, which is illustrated with case studies taken from the area of communication systems, can readily be used to construct a variety of models that can be analysed using standard numerical techniques. One of the major advantages of PEPA over the standard methods for specifying stochastic performance models is the inherent apparatus for reasoning about the structure and behaviour of models. In the later chapters this apparatus is exploited to define four equivalence relations over PEPA components. Each of these notions of equivalence has intrinsic interest from a process algebra perspective. However, they are also demonstrated to be useful in a performance modelling context. To conclude the book, a section has been added surveying recent results in the area and discussing open questions.…

Taschenbuch. Condición: Neu. Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems | 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures | Marco Bernardo (u. a.) | Taschenbuch | Lecture Notes in Computer Science | vii | Englisch | 2016 | Springer | EAN 9783319340951 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condición: Neu. Formal Methods for Performance Evaluation | 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures | Marco Bernardo (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540724827 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu. …

Paperback. Condición: Brand New. 272 pages. 9.25x6.10x0.62 inches. In Stock.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the First International Joint Conference onQuantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2024. This year the 21th International Conference on Quantitative Evaluation of SysTems (QEST 2024) andthe 22nd International Conference on Formal Modeling and Analysis of TimedSystems (FORMATS 2024) joint forces and took place as part of the CONFEST 2024 umbrella conference.The 19 full papers presented in this book were carefully reviewed and selected from 33 submissions. They deal with up-to-date topics inquantitative evaluation and verification of systems, focusing on fundamental and practical aspects of systems with quantitative nature,such as probability, timing, and cost, and modeling, design and analysis ofcomputational systems. …