Sciweavers

2521 search results - page 205 / 505
» Semantic Component Composition
Sort
View
ICIW
2009
IEEE
13 years 8 months ago
Toward an Integrated Ontology for Web Services
The lack of semantics in Web Services Description Language (WSDL) prevents automatic discovery and hence automatic invocation and composition. In our work, we are interested in ext...
Yassin Chabeb, Samir Tata, Djamel Belaïd
WWW
2003
ACM
14 years 11 months ago
A Web Service Market Model based on Dependencies
The construction of composite Web Services from service fragments requires semantic descriptions of service offers and service requests. We propose the use of dependencies as a mo...
Robert Tolksdorf, Christian Bizer, Ralf Heese
SEMWEB
2009
Springer
14 years 5 months ago
PelletSpatial: A Hybrid RCC-8 and RDF/OWL Reasoning and Query Engine
In this paper, we present PelletSpatial, a qualitative spatial reasoning engine implemented on top of Pellet. PelletSpatial provides consistency checking and query answering over s...
Markus Stocker, Evren Sirin
CSFW
1996
IEEE
14 years 2 months ago
Comparing Two Information Flow Security Properties
In this paper we compare two information flow security properties: the lazy security (L-Sec) [11] and the Bisimulation Non-deducibility on Compositions (BNDC) [4]. To make this we...
Riccardo Focardi
LOGCOM
2007
126views more  LOGCOM 2007»
13 years 10 months ago
A Structural Proof of the Soundness of Rely/guarantee Rules
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
Joey W. Coleman, Cliff B. Jones