2101 search results - page 139 / 421 » Engineering Services |
142
click to vote
ACMICEC
2005
ACM
15 years 9 months ago
2005
ACM
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...
173
click to vote
SEAA
2008
IEEE
15 years 10 months ago
2008
IEEE
Grid access methods are still dominated by command line tools or manually developed, problem specific graphical user interfaces. This fact reduces the acceptance of the Grid for ...
141
click to vote
SIGSOFT
2008
ACM
16 years 4 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
SAC
2009
ACM
15 years 10 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...
133
click to vote
ASWEC
2007
IEEE
15 years 10 months ago
2007
IEEE
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...