Sciweavers

4131 search results - page 216 / 827
» Compactness in Topology and Computation
Sort
View
GD
2008
Springer
15 years 7 months ago
Dunnart: A Constraint-Based Network Diagram Authoring Tool
We present a new network diagram authoring tool, Dunnart, that provides continuous network layout. It continuously adjusts the layout in response to user interaction, while still m...
Tim Dwyer, Kim Marriott, Michael Wybrow
OPODIS
2010
15 years 4 months ago
Self-stabilizing Byzantine Asynchronous Unison,
We explore asynchronous unison in the presence of systemic transient and permanent Byzantine faults in shared memory. We observe that the problem is not solvable under less than s...
Swan Dubois, Maria Gradinariu Potop-Butucaru, Mikh...
GREC
2009
Springer
15 years 4 months ago
Unified Pairwise Spatial Relations: An Application to Graphical Symbol Retrieval
In this paper, we present a novel unifying concept of pairwise spatial relations. We develop two way directional relations with respect to a unique point set, based on topology of ...
K. C. Santosh, Laurent Wendling, Bart Lamiroy
PAM
2011
Springer
14 years 9 months ago
Internet Censorship in China: Where Does the Filtering Occur?
China filters Internet traffic in and out of the country. In order to circumvent the firewall, it is helpful to know where the filtering occurs. In this work, we explore the AS-...
Xueyang Xu, Zhuoqing Morley Mao, J. Alex Halderman
JUCS
2008
140views more  JUCS 2008»
15 years 6 months ago
The Computable Multi-Functions on Multi-represented Sets are Closed under Programming
: In the representation approach to computable analysis (TTE) [Grz55, i00], abstract data like rational numbers, real numbers, compact sets or continuous real functions are represe...
Klaus Weihrauch