496 search results - page 75 / 100 » Model Checking Expressive Web Service Descriptions |
IVA
2010
Springer
13 years 7 months ago
2010
Springer
In order to enhance user involvement in financial services, this paper proposes to combine the idea of adaptive personalisation with intelligent virtual agents. To this end, a comp...
ELPUB
2006
ACM
14 years 3 months ago
2006
ACM
In the last few years, the University of Aveiro, Portugal, has been offering several distance learning courses over the Web, using e-learning platforms. Experience showed that dif...
OTM
2005
Springer
14 years 2 months ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
SAC
2003
ACM
14 years 2 months ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
ICDE
2005
IEEE
14 years 10 months ago
2005
IEEE
We demonstrate a web service and client application for querying and visualizing datasets defined over arbitrary topological grids. Such gridded datasets are produced by Earth sci...