3446 search results - page 453 / 690 » A Reasoning Algorithm for pD* |
160
click to vote
MOBICOM
2005
ACM
15 years 11 months ago
2005
ACM
Vehicular Ad Hoc Networks (VANET) have several characteristics that distinguish them from other ad hoc networks. Among those is the rapid change in topology due to traffic jams, w...
163
click to vote
DCOSS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Two difficulties in designing data-centric routes [2–5] in wireless sensor networks are the lack of reasonably practical data aggregation models and the high computatio...
140
click to vote
ICCSA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper, we propose a novel hierarchical routing protocol for a large wireless sensor network (WSN) wherein sensors are arranged into a multi-layer architecture wit...
139
click to vote
ICN
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper presents a stable accurate rapid bandwidth estimate (SARBE) algorithm to improve TCP performance over wireless networks. The proposed algorithm estimates the b...
181
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...