Sciweavers

799 search results - page 54 / 160
» Matching Model for Semantic Web Services Discovery
Sort
View
ICWS
2007
IEEE
15 years 5 months ago
Model Checking Expressive Web Service Descriptions
In order to find suitable web services in a large market of web services, automatic support is needed to filter out web services semantically. Existing matchmaking approaches ma...
Sudhir Agarwal
FOSSACS
2005
Springer
15 years 10 months ago
Model Checking for Nominal Calculi
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
DEXAW
2004
IEEE
148views Database» more  DEXAW 2004»
15 years 8 months ago
A Knowledge-based Framework for Dynamic Semantic Web Services Brokering and Management
The concept of automating Web services, specifically the brokering activities, is an active research topic. We need a comprehensive and overarching framework that handles the disc...
Randy Howard, Larry Kerschberg
ECOWS
2006
Springer
15 years 8 months ago
WSMO-MX: A Logic Programming Based Hybrid Service Matchmaker
In this paper, we present an approach to hybrid semantic web service matching based on both logic programming, and syntactic similarity measurement. The implemented matchmaker, ca...
Frank Kaufer, Matthias Klusch
JODS
2006
206views Data Mining» more  JODS 2006»
15 years 4 months ago
Emergent Semantics in Knowledge Sifter: An Evolutionary Search Agent Based on Semantic Web Services
This paper addresses the various facets of emergent semantics in content retrieval systems such as Knowledge Sifter, an architecture and system based on the use of specialized agen...
Larry Kerschberg, Hanjo Jeong, Wooju Kim