923 search results - page 13 / 185 » On a Declarative Semantics for Web Queries |
ER
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we develop a novel Web Usage Manipulation Language (WUML) which is a declarative language for manipulating Web log data. We assume that a set of trails formed by use...
ACIIDS
2011
IEEE
13 years 2 months ago
2011
IEEE
While in the traditional workflow processes the control flow is determined statically within process definitions, in declarative workflow processes the control flow is dynamic and ...
ESWS
2008
Springer
13 years 9 months ago
2008
Springer
We demonstrate results presentation and query refinement functions of the SemSearch engine for semantic web portals and intranets.
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
Significant efforts have focused in the past years on bringing large amounts of metadata online and the success of these efforts can be seen by the impressive number of web site...
PADL
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...