|
|
libcats.org
Interactive Markov ChainsHolger HermannsMarkov 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.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Biorefineries - Industrial Processes and Products: Status Quo and Future DirectionsАвтор: Birgit Kamm, Автор: Patrick R. Gruber, Автор: Michael Kamm
Размер книги: 7.35 Mb
Understanding Sensory Dysfunction: Learning, Development and Sensory Dysfunction in Autism Spectrum Disorders, ADHD, Learning Disabilities and Bipolar DisorderАвтор: Liz McKendry Anderson, Автор: Polly Godwin EmmonsКатегория: Образование
Размер книги: 561 Kb
C# 4.0 in a NutshellАвтор: Ben Albahari, Автор: Joseph AlbahariКатегория: КНИГИ ПРОГРАММИНГ
Размер книги: 6.40 Mb
Security of Industrial Water Supply and ManagementАвтор: Aysel T. Atimtay, Автор: Subhas K. Sikdar
Размер книги: 7.56 Mb
|
|
|