446 search results - page 71 / 90 » A proof markup language for Semantic Web services |
172
click to vote
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
136
click to vote
GLOBECOM
2007
IEEE
16 years 5 days ago
2007
IEEE
Abstract— Policy based networks provide high levels of flexibility by allowing definition of packet handling rules within a network, resource allocation strategies, network man...
174
click to vote
GEOINFO
2003
15 years 7 months ago
2003
The integration among DW, OLAP and GIS has been given considerable attention in recent years by many researchers and industrial corporations. This may be a result of: 1) DW/OLAP ca...
190
click to vote
EON
2008
15 years 7 months ago
2008
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...
180
click to vote
TCS
2008
15 years 5 months ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...