Sciweavers

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