Sciweavers

336 search results - page 34 / 68
» A Formal Semantic Model of the Semantic Web Service Ontology...
Sort
View
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...
ICWS
2008
IEEE
13 years 9 months ago
Communications Semantics for WSBPEL Processes
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
Walid Fdhila, Mohsen Rouached, Claude Godart
ESWS
2009
Springer
14 years 2 months ago
ONKI SKOS Server for Publishing and Utilizing SKOS Vocabularies and Ontologies as Services
Vocabularies are the building blocks of the Semantic Web providing shared terminological resources for content indexing, information retrieval, data exchange, and content integrati...
Jouni Tuominen, Matias Frosterus, Kim Viljanen, Ee...
FGCS
2006
114views more  FGCS 2006»
13 years 7 months ago
A semantic approach to discovering learning services in grid-based collaborative systems
CSCL systems can benefit from using grids since they offer a common infrastructure enabling the access to an extended pool of resources that can provide supercomputing capabilitie...
Guillermo Vega-Gorgojo, Miguel L. Bote-Lorenzo, Ed...
SEMWEB
2004
Springer
14 years 28 days ago
Inferring Data Transformation Rules to Integrate Semantic Web Services
Abstract. OWL-S allows selecting, composing and invoking Web Serdifferent levels of abstraction: selection uses high level abstract descriptions, invocation uses low level groundi...
Bruce Spencer, Sandy Liu