29 search results - page 2 / 6 » icsoc 2007 |
ICSOC
2007
Springer
13 years 11 months ago
2007
Springer
ICSOC
2007
Springer
13 years 11 months ago
2007
Springer
ICSOC
2007
Springer
13 years 11 months ago
2007
Springer
While OWL-S advertisements provide a rich (ontological and behavioural) description of Web services, there are no tools that support formal analyses of OWL-S services. In this pape...
ICSOC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In this paper, we present the mechanisms needed for Byzantine fault tolerant coordination of Web services atomic transactions. The mechanisms have been incorporated into ...
ICSOC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...