Sciweavers

2530 search results - page 23 / 506
» Dynamic topological logic
Sort
View
TON
2010
132views more  TON 2010»
13 years 5 months ago
Efficient and dynamic routing topology inference from end-to-end measurements
Jian Ni, Haiyong Xie 0002, Sekhar Tatikonda, Yang ...
P2P
2008
IEEE
120views Communications» more  P2P 2008»
14 years 1 months ago
Failure-Tolerant Overlay Trees for Large-Scale Dynamic Networks
Trees are fundamental structures for data dissemination in large-scale network scenarios. However, their inherent fragility has led researchers to rely on more redundant mesh topo...
Davide Frey, Amy L. Murphy
JANCL
2008
133views more  JANCL 2008»
13 years 7 months ago
Modal logic and invariance
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...
Johan van Benthem, Denis Bonnay