Sciweavers

263 search results - page 8 / 53
» A formal definition of RESTful semantic web services
Sort
View
CORR
2004
Springer
120views Education» more  CORR 2004»
13 years 7 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
DSOM
2006
Springer
13 years 11 months ago
Ontology-Based Policy Refinement Using SWRL Rules for Management Information Definitions in OWL
Abstract. The goal of ontology-based management is to improve the manageability of network resources through the application of formal ontologies. Prior research work has studied t...
Antonio Guerrero, Víctor A. Villagrá...
VLDB
2007
ACM
161views Database» more  VLDB 2007»
14 years 1 months ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
Dumitru Roman, Michael Kifer
ESWS
2007
Springer
14 years 1 months ago
JAWS: A Javascript API for the Efficient Testing and Integration of Semantic Web Services
Semantic Web Services (SWS) hold a lot of potential to the future of the Semantic Web. In this area, a number of tools have been developed to facilitate their definition and deploy...
David A. Ostrowski
WETICE
2005
IEEE
14 years 1 months ago
Towards a formal framework for Choreography
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...