Sciweavers

1164 search results - page 102 / 233
» Type based service composition
Sort
View
FOCS
2009
IEEE
15 years 10 months ago
Linear Systems over Composite Moduli
We study solution sets to systems of generalized linear equations of the form ℓi(x1, x2, · · · , xn) ∈ Ai (mod m) where ℓ1, . . . , ℓt are linear forms in n Boolean var...
Arkadev Chattopadhyay, Avi Wigderson
CCGRID
2003
IEEE
15 years 9 months ago
Programming for Dependability in a Service-based Grid
Service-based Grid infrastructures emphasize service composition rather than sharing of low level resources. The idea is to build Grid applications out of computational services p...
Win Bausch, Cesare Pautasso, Gustavo Alonso
ECOWS
2006
Springer
15 years 7 months ago
Verifying Correctness of Web Services Choreography
This paper is about Web services used in distributed, inter-organizational business cooperation (choreography). In this application scenario, we have a multipart functional conven...
Tarek Melliti, Céline Boutrous-Saab, Sylvai...
ENTCS
2010
75views more  ENTCS 2010»
15 years 3 months ago
Semi-Automatic Specification of Behavioural Service Adaptation Contracts
An adaptation contract describes composition constraints and adaptation requirements among several services which were not initially built to interoperate with each other. The man...
Javier Cámara, José Antonio Mart&iac...
VLDB
2002
ACM
125views Database» more  VLDB 2002»
15 years 3 months ago
Self-tuning Database Technology and Information Services: from Wishful Thinking to Viable Engineering
Automatic tuning has been an elusive goal for database technology for a long time and is becoming a pressing issue for modern E-services. This paper reviews and assesses the advan...
Gerhard Weikum, Axel Mönkeberg, Christof Hass...