2470 search results - page 311 / 494 » Liveness-Preserving Simulation Relations |
143
click to vote
GD
2004
Springer
15 years 10 months ago
2004
Springer
Sensor network applications frequently require that the sensors know their physical locations in some global coordinate system. This is usually achieved by equipping each sensor w...
136
click to vote
JSSPP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In order to evaluate different scheduling strategies for parallel computers, simulations are often executed. As the scheduling quality highly depends on the workload tha...
140
Voted
PCM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Many techniques make great contributions to video compression with removal of spatial and temporal redundancy in and between frames. However, compressed video is still ra...
140
click to vote
TCC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...
130
click to vote
WEBDB
2004
Springer
15 years 10 months ago
2004
Springer
We consider the scenario where existing relational data is exported as XML. In this context, we look at the problem of translating XML queries into SQL. XML query languages have t...