2432 search results - page 425 / 487 » Cryptographic logical relations |
147
click to vote
ELPUB
2004
ACM
15 years 9 months ago
2004
ACM
- This article presents a framework for a XML based search system composed by three layers: data layer, logic layer and presentation layer. In all three layers XML related technolo...
144
click to vote
EKAW
2004
Springer
15 years 9 months ago
2004
Springer
Capturing and exploiting knowledge is at the heart of several important problems such as decision making, the semantic web, and intelligent agents. The captured knowledge must be a...
109
click to vote
GRID
2004
Springer
15 years 9 months ago
2004
Springer
— We are developing a distributed computing system, Virtuoso, which presents virtual machines (VMs) as its fundabstraction to end users. Long-running noninteractive VMs may coexi...
121
click to vote
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
144
click to vote
INEX
2004
Springer
15 years 9 months ago
2004
Springer
Exploiting the structure of a document allows for more powerful information retrieval techniques. In this article a basic approach is discussed for the retrieval of XML document f...