2530 search results - page 370 / 506 » Dynamic topological logic |
111
click to vote
SPAA
1997
ACM
15 years 8 months ago
1997
ACM
: This paper presents a network mapping algorithm and proves its correctness assuming a traffic-free network. Respecting well-defined parameters, the algorithm produces a graph iso...
143
click to vote
IPPS
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
178
click to vote
SSD
1993
Springer
15 years 8 months ago
1993
Springer
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
140
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Defending against denial-of-service (DoS) in a mobile ad hoc network (MANET) is challenging because the network topology is dynamic and nodes are selfish. In this paper, we propos...
130
Voted
ECAL
2007
Springer
15 years 8 months ago
2007
Springer
Often the selfish and strong are believed to be favored by natural selection, even though cooperative interactions thrive at all levels of organization in living systems. Recent em...