Sciweavers

538 search results - page 69 / 108
» Semantic Web Service Composition in Social Environments
Sort
View
ACMICEC
2003
ACM
143views ECommerce» more  ACMICEC 2003»
15 years 1 months ago
Serviguration: towards online configurability of real-world services
Current eCommerce is still mainly characterized by the relatively straightforward trading of commodity goods. Nextgeneration efforts in worldwide information infrastructure, espec...
Ziv Baida, Hans Akkermans, Jaap Gordijn
ASWC
2009
Springer
14 years 7 months ago
SHARE: A Semantic Web Query Engine for Bioinformatics
Driven by the goal of automating data analyses in the field of bioinformatics, SHARE (Semantic Health and Research Environment) is a specialized SPARQL engine that resolves queries...
Benjamin P. Vandervalk, E. Luke McCarthy, Mark D. ...
81
Voted
SIGSOFT
2008
ACM
15 years 10 months ago
Modular verification of web services using efficient symbolic encoding and summarization
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan
ERCIMDL
2003
Springer
99views Education» more  ERCIMDL 2003»
15 years 2 months ago
Digitometric Services for Open Archives Environments
We describe “digitometric” services and tools that add value to open-access eprint archives using the Open Archives Initiative (OAI) Protocol for Metadata Harvesting. Celestial...
Tim Brody, Simon Kampa, Stevan Harnad, Les Carr, S...
ESWS
2007
Springer
15 years 3 months ago
A Reasoning Framework for Rule-Based WSML
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
Stephan Grimm, Uwe Keller, Holger Lausen, Gá...