Sciweavers

DAGSTUHL
2006
14 years 10 months ago
Closure and Causality
We present a model of causality which is defined by the intersection of two distinct closure systems, I and T . To present empirical evidence to demonstrate that this model has pra...
John L. Pfaltz
45
Voted
DAGSTUHL
2006
14 years 10 months ago
06451 Abstracts Collection -- Circuits, Logic, and Games
Thomas Schwentick, Denis Thérien, Heribert ...
47
Voted
DAGSTUHL
2006
14 years 10 months ago
Counting Results in Weak Formalisms
Arnaud Durand, Clemens Lautemann, Malika More
DAGSTUHL
2006
14 years 10 months ago
A note on the size of Craig Interpolants
Mundici considered the question of whether the interpolant of two propositional formulas of the form F G can always have a short circuit description, and showed that if this is t...
Uwe Schöning, Jacobo Torán
44
Voted
DAGSTUHL
2006
14 years 10 months ago
Fairness in Peer-to-Peer Networks
Kolja Eger, Ulrich Killat
46
Voted
DAGSTUHL
2006
14 years 10 months ago
06091 Abstracts Collection -- Data Structures
Lars Arge, Robert Sedgewick, Dorothea Wagner
51
Voted
DAGSTUHL
2006
14 years 10 months ago
06131 Abstracts Collection -- Peer-to -Peer -Systems and -Applications
Anthony D. Joseph, Ralf Steinmetz, Ion Stoica, Kla...
69
Voted
DAGSTUHL
2006
14 years 10 months ago
On the Topologies Formed by Selfish Peers
Current peer-to-peer (P2P) systems often suffer from a large fraction of freeriders not contributing any resources to the network. Various mechanisms have been designed to overcom...
Stefan Schmid, Thomas Moscibroda, Roger Wattenhofe...