Sciweavers

1107 search results - page 73 / 222
» MusicBrainz: A Semantic Web Service
Sort
View
ENTCS
2008
106views more  ENTCS 2008»
13 years 9 months ago
Reduction Semantics and Formal Analysis of Orc Programs
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
Musab AlTurki, José Meseguer
IEEEHPCS
2010
13 years 7 months ago
Semantic model checking security requirements for web services
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
COOPIS
2004
IEEE
14 years 19 days ago
Comparing Approaches for Semantic Service Description and Matchmaking
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...
Sven Schade, Arnd Sahlmann, Michael Lutz, Florian ...
ASWC
2008
Springer
13 years 11 months ago
Semantic Assistants - User-Centric Natural Language Processing Services for Desktop Clients
Today's knowledge workers have to spend a large amount of time and manual effort on creating, analyzing, and modifying textual content. While more advanced semantically-orient...
René Witte, Thomas Gitzinger
CCGRID
2005
IEEE
13 years 11 months ago
A semantic grid-based data access and integration service for bioinformatics
Given the heterogeneous nature of biological data and their intensive use in many tools, in this paper we propose a semantic data access and integration (DAI) service, based on th...
Giovanni Aloisio, Massimo Cafaro, Italo Epicoco, S...