Sciweavers

102 search results - page 14 / 21
» A Behavioural Congruence for Web Services
Sort
View
GRID
2007
Springer
13 years 6 months ago
Quality of Service Negotiation for Commercial Medical Grid Services
The GEMSS project has developed a service-oriented Grid that supports the provision of medical simulation services by service providers to clients such as hospitals. We outline the...
Stuart E. Middleton, Mike Surridge, Siegfried Benk...
SAC
2005
ACM
14 years 8 days ago
Supporting e-commerce systems formalization with choreography languages
E-commerce as well as B2B applications are essentially based on interactions between different people and organizations (e.g. industry, banks, customers) that usually exploit the ...
Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gia...
ICSOC
2007
Springer
14 years 26 days ago
Stochastic COWS
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 ...
Davide Prandi, Paola Quaglia
SEMWEB
2004
Springer
14 years 2 days ago
Public Deployment of Semantic Service Matchmaker with UDDI Business Registry
Public deployment of the semantic service matchmaker to a UDDI registry for half a year is shown in this paper. UDDI is a standard registry for Web Services, but if we consider it ...
Takahiro Kawamura, Jacques-Albert De Blasio, Tetsu...
IEEECIT
2006
IEEE
14 years 23 days ago
Extending Pervasive Devices with the Semantic Grid: A Service Infrastructure Approach
Pervasive computing devices are gradually becoming increasingly prevalent in our everyday life, enabling the users in the physical world to interact with the digital world. Grid c...
Tao Guan, Ed Zaluska, David De Roure