73 search results - page 4 / 15 » Towards Types for Web Rule Languages |
123
click to vote
GCC
2003
Springer
15 years 8 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
149
Voted
WISE
2009
Springer
16 years 18 days ago
2009
Springer
ct One significant effort towards combining the virtues of Web search, viz. being accessible to untrained users and able to cope with vastly heterogeneous data, with those of dat...
115
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
The term web genre denotes the type of a given web resource, in contrast to the topic of its content. In this research, we focus on recognizing the web genres blog, wiki and forum...
110
click to vote
FLAIRS
2004
15 years 4 months ago
2004
The wealth of information contained in the world-wide web has created much interest in systems for integrating information from multiple sites. We describe a universal wrapper mac...
177
Voted
POPL
1998
ACM
15 years 7 months ago
1998
ACM
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...