Willkommen, schön sind Sie da!
Logo Ex Libris

Interactive Markov Chains

  • Kartonierter Einband
  • 236 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Markov Chains are widely used as stochastic models to study a broad spectrum of system performance and dependability characteristi... Weiterlesen
20%
78.00 CHF 62.40
Sie sparen CHF 15.60
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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 chains is developed, devise algorithms to mechanize compositional aggregation are presented, and state spaces of several million states resulting from the study of an ordinary telefone system are analyzed.


Includes supplementary material: sn.pub/extras



Inhalt
Interactive Processes.- Markov Chains.- Interactive Markov Chains.- Algebra of Interactive Markov Chains.- Interactive Markov Chains in Practice.- Conclusion.- Proofs for Chapter 3 and Chapter 4.- Proofs for Chapter 5.

Produktinformationen

Titel: Interactive Markov Chains
Untertitel: The Quest for Quantified Quality
Autor:
EAN: 9783540442615
ISBN: 3540442618
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Genre: Informatik
Anzahl Seiten: 236
Gewicht: 365g
Größe: H235mm x B155mm x T12mm
Jahr: 2002
Untertitel: Englisch
Auflage: 2002

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"