wyszukanych pozycji: 6
Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, Tacas 2006, Held as Part of the Joint European Confe
ISBN: 9783540330561 / Angielski / Miękka / 2006 / 512 str. Termin realizacji zamówienia: ok. 20 dni roboczych. ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 18 satellite workshops (AC- CAT, AVIS, CMCS, COCV, DCC, EAAI, FESCA, FRCSS, GT-VMT, LDTA, MBT, QAPL, SC, SLAP, SPIN, TERMGRAPH, WITS and WRLA), two tutorials, and seven invited lectures (not including those that were speci?c to the satellite events). We - ceived over 550 submissions to the ?ve...
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that w...
|
|
cena:
194,08 zł |
Interactive Markov Chains: The Quest for Quantified Quality
ISBN: 9783540442615 / Angielski / Miękka / 2002 / 217 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Markov Chains are widely used as stochastic models to study a broad spectrum of system performance and dependability characteristics. This monograph is devoted to compositional specification and analysis of Markov chains.
Based on principles known from process algebra, the author systematically develops an algebra of interactive Markov chains. By presenting a number of distinguishing results, of both theoretical and practical nature, the author substantiates the claim that interactive Markov chains are more than just another formalism: Among other, an algebraic theory of interactive Markov... Markov Chains are widely used as stochastic models to study a broad spectrum of system performance and dependability characteristics. This monograph i...
|
|
cena:
194,08 zł |
Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop Papm-Probmiv 2002, Copenhagen, D
ISBN: 9783540439134 / Angielski / Miękka / 2002 / 222 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25-26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and Performance Modeling) and PROBMIV (Probabilistic Methods in Veri?cation). The aim of the joint workshop is to bring together the researchers working across the whole spectrum of techniques for the modeling, speci?cation, analysis, and veri?cation of probabilistic systems. Probability is widely used...
This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25-26, 2002 as par...
|
|
cena:
194,08 zł |
Measurement, Modelling and Evaluation of Computing Systems: 20th International Gi/ITG Conference, Mmb 2020, Saarbrücken, Germany, March 16-18, 2020, P
ISBN: 9783030430238 / Angielski / Miękka / 2020 / 279 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
194,08 zł |
Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, Setta 2023, Nanjing, China, November 27-29, 2023, Pro
ISBN: 9789819986637 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
287,26 zł |
Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
ISBN: 9783540424796 / Angielski / Miękka / 2001 / 434 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by di?erent research communities. This has resulted in the development of successful, but distinct and largely unrelated modeling and analysis techniques for both domains. In many modern systems, however, the di?erence between their functional features and their performance properties has become blurred, as relevant functionalities become inextricably linked to performance aspects, e.g. isochronous...
Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance ...
|
|
cena:
194,08 zł |