4998 search results - page 732 / 1000 » The case for intentional networking |
203
click to vote
FMCO
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
212
click to vote
ICANN
2005
Springer
16 years 7 days ago
2005
Springer
Small mobile robots typically have little on-board processing power for time-consuming vision algorithms. Here we show how they can quickly extract very dense yet highly useful inf...
169
click to vote
ICN
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In this paper, we propose a mechanism to eliminate the performance anomaly of IEEE 802.11b. Performance anomaly happens when nodes that have different transmission rates...
172
click to vote
ISAAC
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents the SkipTree, a new balanced, distributed data structure for storing data with multidimensional keys in a peer-topeer network. The SkipTree supports range quer...
178
click to vote
MKM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...