Sciweavers

DAGSTUHL
2006
13 years 7 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
DAGSTUHL
2006
13 years 7 months ago
06451 Abstracts Collection -- Circuits, Logic, and Games
Thomas Schwentick, Denis Thérien, Heribert ...
DAGSTUHL
2006
13 years 7 months ago
Counting Results in Weak Formalisms
Arnaud Durand, Clemens Lautemann, Malika More
DAGSTUHL
2006
13 years 7 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
DAGSTUHL
2006
13 years 7 months ago
Fairness in Peer-to-Peer Networks
Kolja Eger, Ulrich Killat
DAGSTUHL
2006
13 years 7 months ago
06091 Abstracts Collection -- Data Structures
Lars Arge, Robert Sedgewick, Dorothea Wagner
DAGSTUHL
2006
13 years 7 months ago
06131 Abstracts Collection -- Peer-to -Peer -Systems and -Applications
Anthony D. Joseph, Ralf Steinmetz, Ion Stoica, Kla...
DAGSTUHL
2006
13 years 7 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...