76 search results - page 16 / 16 » Formal Analysis of Publish-Subscribe Systems by Probabilisti... |
SFM
2007
Springer
13 years 11 months ago
2007
Springer
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...