4286 search results - page 150 / 858 » Formalizing Service Interactions |
192
click to vote
IS
2006
15 years 6 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
170
click to vote
PROCEDIA
2010
15 years 1 months ago
2010
In this work we address the issue of selecting and composing Web Services (WSs) considering functional requirements and transactional properties. We formalize the WS composition p...
196
click to vote
AISC
2010
Springer
15 years 4 months ago
2010
Springer
In spite of the remarkable achievements recently obtained in the field of mechanization of formal reasoning, the overall usability of interactive provers does not seem to be sensib...
141
click to vote
VL
2003
IEEE
15 years 11 months ago
2003
IEEE
The recent major revision of the UML (see [4]) has introduced significant changes and additions. In particular, Message Sequence Charts (MSC) according to the ISO standard (see [...
139
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
— By monitoring the exchanged IPsec traffic an adversary can usually easily discover the layout of virtual private networks (VPNs). Of even worse extend is the disclosure if com...