502 search results - page 99 / 101 » Verifying Balanced Trees |
135
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—Although network-wide flooding in reactive routing protocols like AODV [1] facilitates the discovery of optimal routes, they engender large control overhead. Some efficient floo...
148
click to vote
DOCENG
2006
ACM
15 years 10 months ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
134
click to vote
DIAGRAMS
2004
Springer
15 years 9 months ago
2004
Springer
A composite cluster map displays a fuzzy categorisation of geographic areas. It combines information from several sources to provide a visualisation of the significance of cluster...
135
Voted
SAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
158
click to vote
SASN
2003
ACM
15 years 9 months ago
2003
ACM
In this paper we address the problem of secure multicast of data streams over a multihop wireless ad hoc network. We propose a dynamic multicast group management protocol that aim...