Sciweavers

6 search results - page 2 / 2
» A Deliberative Model for Self-Adaptation Middleware Using Ar...
Sort
View
FORTE
2007
13 years 7 months ago
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...