Sciweavers

12 search results - page 3 / 3
» acsd 2008
Sort
View
ACSD
2008
IEEE
127views Hardware» more  ACSD 2008»
13 years 11 months ago
On the interplay between fault handling and request-response service invocations
Abstract. Service Oriented Computing (SOC) allows for the composition of services which communicate using unidirectional notification or bidirectional request-response primitives....
Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gian...
ACSD
2008
IEEE
106views Hardware» more  ACSD 2008»
13 years 6 months ago
Time-bounded model checking of infinite-state continuous-time Markov chains
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, B...