446 search results - page 35 / 90 » A proof markup language for Semantic Web services |
177
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we describe the OnEQL system, a query engine that implements optimization techniques and evaluation strategies to speed up the evaluation time of querying a...
156
click to vote
CICLING
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Automated language identification of written text is a wellestablished research domain that has received considerable attention in the past. By now, efficient and effecti...
169
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
172
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, a new agent development platform, which includes built-in features for semantic web based multi agent system development, is introduced. All agents and services in ...
164
click to vote
GRID
2004
Springer
15 years 11 months ago
2004
Springer
Locating resources of interest in a large resourceintensive environment is a challenging problem. In this paper we present research on addressing this problem through the developm...