899 search results - page 123 / 180 » Middleware services for web service compositions |
166
click to vote
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
151
Voted
CASCON
2007
15 years 7 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
152
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We investigate the problem of locally monitoring contract regulated behaviours in web services. We encode contract clauses in service specifications by using extended timed automat...
165
Voted
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Recent technology developments in the area of services on the Web are marked by the proliferation of Web applications and APIs. The implementation and evolution of applications bas...
164
click to vote
WAIM
2005
Springer
15 years 11 months ago
2005
Springer
Species distribution prediction modeling plays a key role in biodiversity research. We propose to publish both species distribution data and modeling components as Web services and...