2145 search results - page 369 / 429 » Lax Logical Relations |
ELPUB
2004
ACM
14 years 1 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...
EKAW
2004
Springer
14 years 1 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...
FPL
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The paper presents a high performance True Random Number Generator (TRNG) embedded in Altera Stratix Field Programmable Logic Devices (FPLDs). As a source of randomness, ...
GRID
2004
Springer
14 years 1 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...
ICALP
2004
Springer
14 years 1 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...