Sciweavers

3581 search results - page 481 / 717
» A taskonomy for the Semantic Web
Sort
View
ICSOC
2007
Springer
16 years 19 days ago
An Execution Engine for Semantic Business Processes
In this paper we present the architecture and design of an extended BPEL engine that implements the operational semantics of BPEL4SWS. BPEL4SWS is an extension of the BPEL language...
Tammo van Lessen, Jörg Nitzsche, Marin Dimitr...
OTM
2007
Springer
16 years 19 days ago
Semantically Resolving Type Mismatches in Scientific Workflows
Scientists are increasingly utilizing Grids to manage large data sets and execute scientific experiments on distributed resources. Scientific workflows are used as means for modeli...
Kheiredine Derouiche, Denis A. Nicole
SEMWEB
2004
Springer
15 years 12 months ago
Public Deployment of Semantic Service Matchmaker with UDDI Business Registry
Public deployment of the semantic service matchmaker to a UDDI registry for half a year is shown in this paper. UDDI is a standard registry for Web Services, but if we consider it ...
Takahiro Kawamura, Jacques-Albert De Blasio, Tetsu...
WWW
2006
ACM
16 years 7 months ago
Adding semantics to rosettaNet specifications
The use of Semantic Web Service (SWS) technologies have been suggested to enable more dynamic B2B integration of heterogeneous systems and partners. We present how we add semantic...
Paavo Kotinurmi, Tomas Vitvar
WWW
2005
ACM
16 years 7 months ago
Soundness proof of Z semantics of OWL using institutions
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong