Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Analytical and Stochastic Modelling Techniques and Applications: 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings > Model Checking of Open Interval Markov Chains
Analytical and Stochastic Modelling Techniques and Applications: 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings |
Marco Gribaudo; Daniele Manini; Anne Remke
Springer International Publishing
Analytical and Stochastic Modelling Techniques and Applications: 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings
Model Checking of Open Interval Markov Chains
Authors

Souymodip Chakraborty; Joost-Pieter Katoen

ARI Id

1674219901931_3581247

Access

Not Available Free

Pages

30-42

DOI

10.1007/978-3-319-18579-8_3

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-319-18579-8_3

Table of Contents of Book
Showing 1 to 17 of 17 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-X
Optimal Analysis for M/G/1 Retrial Queue with Two-Way Communication
Amar Aissani; Tuan Phung-Duc
1-14
Use of Flow Equivalent Servers in the Transient Analysis of Product Form Queuing Networks
Alessio Angius; András Horváth; Sami M. Halawani; Omar Barukab; Ab Rahman Ahmad; Gianfranco Balbo
15-29
Model Checking of Open Interval Markov Chains
Souymodip Chakraborty; Joost-Pieter Katoen
30-42
Performance Modeling of Cellular Systems with Finite Processor Sharing Queues in Random Environment, Guard Policy and Flex Retrial Users
Ioannis Dimitriou
43-58
Efficient Performance Evaluation of Wireless Networks with Varying Channel Conditions
Ekaterina Evdokimova; Koen De Turck; Sabine Wittevrongel; Dieter Fiems
59-72
Mixed Networks with Multiple Classes of Customers and Restart
Jean-Michel Fourneau; Katinka Wolter
73-86
Interconnected Wireless Sensors with Energy Harvesting
Erol Gelenbe; Andrea Marin
87-99
Measuring the Distance Between MAPs and Some Applications
Gábor Horváth
100-114
Task Delegation in a Peer-to-Peer Volunteer Computing Platform
Kristóf Attila Horváth; Miklós Telek
115-129
On Convergence Rate to Stationarity of Queues with General Gaussian Input
Oleg Lukashenko; Evsey Morozov
130-142
Model-Based Quantitative Security Analysis of Mobile Offloading Systems Under Timing Attacks
Tianhui Meng; Qiushi Wang; Katinka Wolter
143-157
Single-Server Systems with Power-Saving Modes
Tuan Phung-Duc
158-172
Multiserver Queues with Finite Capacity and Setup Time
Tuan Phung-Duc
173-187
Power Consumption Analysis of Replicated Virtual Applications
Pietro Piazzolla; Gianfranco Ciardo; Andrew Miner
188-202
On the Influence of High Priority Customers on a Generalized Processor Sharing Queue
Jasper Vanlerberghe; Joris Walraevens; Tom Maertens; Herwig Bruneel
203-216
Back Matter
217-217
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 17 of 17 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings