685 search results - page 43 / 137 » Introduction to Semantic Web Services and Web Process Compos... |
81
Voted
SIGSOFT
2008
ACM
15 years 10 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...
ER
2003
Springer
15 years 3 months ago
2003
Springer
With web services emerging as a promising technology for supporting open and dynamic business processes, it is witnessed that standards for business process specification in the c...
ICSOC
2005
Springer
15 years 3 months ago
2005
Springer
Semantic Web services promise the addition of semantics annotations to Web services in a manner that enables automatic discovery, usage, and integration of services as part of ever...
WISE
2007
Springer
15 years 4 months ago
2007
Springer
Modeling in systems biology is concerned with using experimental information and mathematical methods to build quantitative models at different biological scales. This requires int...
105
click to vote
IIWAS
2004
14 years 11 months ago
2004
: This paper addresses two important aspects of Web service compositions - on the one hand, flexibility of Web service (WS) compositions, and on the other the automatic development...