496 search results - page 43 / 100 » Model Checking Expressive Web Service Descriptions |
WISE
2005
Springer
14 years 2 months ago
2005
Springer
Asynchronous interactions are becoming more and more important in the realization of complex B2B Web applications, and Web services are at the moment the most innovative and well-e...
CSFW
2009
IEEE
14 years 1 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
JNCA
2008
13 years 9 months ago
2008
This work proposes a Web Service (WS) discovery model in which the functional and nonfunctional requirements are taken into account during service discovery. The proposed infrastr...
IHIS
2005
ACM
14 years 2 months ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
SEMWEB
2004
Springer
14 years 2 months ago
2004
Springer
Service interface description languages such as WSDL, and related standards, are evolving rapidly to provide a foundation for interoperation between Web services. At the same time,...