4496 search results - page 252 / 900 » DACS Web Service |
180
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
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...
147
click to vote
SEMWEB
2007
Springer
16 years 20 days ago
2007
Springer
The paper presents the main results of the IST FP6 INFRAWEBS project. The project has developed an easy and effective way of constructing and using semantic descriptions for existi...
164
click to vote
3DGIS
2006
Springer
16 years 17 days ago
2006
Springer
This paper addresses the concept of a 3D Geodata Web Service for the support of indoor navigation with satellite-based positioning systems like Galileo or GPS. The presented work ...
145
click to vote
LREC
2010
15 years 8 months ago
2010
This paper describes a Web service for accessing WordNet-type semantic lexicons. The central idea behind the service design is: given a query, the primary functionality of lexicon...
173
click to vote
LREC
2010
15 years 8 months ago
2010
This paper presents the language resource management system for the development and dissemination of Asian WordNet (AWN) and its web service application. We develop the platform t...