4403 search results - page 687 / 881 » Galois Theory of Algorithms |
185
click to vote
NOSSDAV
2005
Springer
16 years 21 days ago
2005
Springer
We are concerned with the fundamental problem of event ordering in multiplayer peer-to-peer games. Event ordering, even without faults, requires all-to-all message passing with at...
218
click to vote
NOSSDAV
2005
Springer
16 years 21 days ago
2005
Springer
Multimedia applications today constitute a significant fraction of the workload running on portable devices such as mobile phones, PDAs and MP3 players. However, the processors i...
178
click to vote
PPDP
2005
Springer
16 years 20 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
220
click to vote
PPSWR
2005
Springer
16 years 20 days ago
2005
Springer
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...
203
click to vote
DOLAP
2004
ACM
16 years 19 days ago
2004
ACM
We address the inference control problem in data cubes with some data known to users through external knowledge. The goal of inference controls is to prevent exact values of sensi...