4095 search results - page 438 / 819 » How to test a tree |
177
click to vote
VTC
2006
IEEE
16 years 2 days ago
2006
IEEE
— The IEEE 802.16 standard is providing support for Mesh networks of which two scheduling mechanisms (i.e., centralized scheduling and distributed scheduling) are proposed. Centr...
197
click to vote
ACL2
2006
ACM
16 years 1 days ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
148
click to vote
DOCENG
2006
ACM
16 years 1 days ago
2006
ACM
Multistructured documents are documents whose structure is composed of a set of concurrent hierarchical structures. In this paper, we propose a new model of multistructured docume...
180
click to vote
IDEAS
2005
IEEE
15 years 11 months ago
2005
IEEE
The XML data is order-sensitive. The order problem, that is how ordered XML documents and order-sensitive queries over it can be efficiently supported when mapped into the unorde...
165
click to vote
IMC
2005
ACM
15 years 11 months ago
2005
ACM
Recent progress in active measurement techniques has made it possible to estimate end-to-end path available bandwidth. However, how to efficiently obtain available bandwidth info...