Sciweavers

28 search results - page 2 / 6
» A Unified Abstraction for Messaging on the Semantic Web
Sort
View
CORR
2004
Springer
120views Education» more  CORR 2004»
13 years 5 months ago
Validating a Web Service Security Abstraction by Typing
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
Andrew D. Gordon, Riccardo Pucella
ICWS
2004
IEEE
13 years 6 months ago
Realizability of Conversation Protocols With Message Contents
A conversation protocol is a top-down specification framework which specifies desired global behaviors of a web service composition. In our earlier work [6] we studied the problem...
Xiang Fu, Tevfik Bultan, Jianwen Su
BPM
2005
Springer
181views Business» more  BPM 2005»
13 years 10 months ago
WSMX Process Mediation Based on Choreographies
Abstract. One of the most difficult obstacles Web Services have to overcome in the attempt to exploit the true potential of the World Wide Web is heterogeneity. Caused by the natur...
Emilia Cimpian, Adrian Mocan
CAISE
2008
Springer
13 years 7 months ago
A Flexible and Semantic-Aware Publication Infrastructure for Web Services
Abstract. This paper presents an innovative approach for the publication and discovery of Web services. The proposal is based on two previous works: DIRE (DIstributed REgistry), fo...
Luciano Baresi, Matteo Miraz, Pierluigi Plebani
FOSSACS
2006
Springer
13 years 9 months ago
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
Michael Backes, Sebastian Mödersheim, Birgit ...