3597 search results - page 526 / 720 » Model-theoretic semantics for the web |
152
click to vote
JEI
2002
15 years 6 months ago
2002
Numerous research works about the extraction of low-level features from images and videos have been published. However, only recently the focus has shifted to exploiting low-level...
167
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
First generation Web-content encodes information in handwritten (HTML) Web pages. Second generation Web content generates HTML pages on demand, e.g. by filling in templates with c...
173
click to vote
EUROMICRO
2003
IEEE
15 years 12 months ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...
193
click to vote
WISE
2002
Springer
15 years 11 months ago
2002
Springer
Web caching is an important technique for accelerating web applications and reducing the load on the web server and the network through local cache accesses. As in the traditional...
179
click to vote
ICLP
2007
Springer
15 years 10 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...