5015 search results - page 839 / 1003 » Model Checking a Path |
114
Voted
ACMSE
2006
ACM
15 years 8 months ago
2006
ACM
In previous work a DOCSIS model was added to ‘ns’ to allow simulations to be run to analyze the performance of DOCSIS. These simulations showed that congestion caused by the a...
119
click to vote
INFOCOM
2005
IEEE
15 years 7 months ago
2005
IEEE
— In this paper we investigate the use of proactive multipath routing to achieve energy efficient operation of ad hoc wireless networks. The focus is on optimizing trade-offs be...
115
click to vote
INFOCOM
2005
IEEE
15 years 7 months ago
2005
IEEE
— We consider the problem of scheduling a sequence of packets over a linear network, where every packet has a source and a target, as well as a release time and a deadline by whi...
96
Voted
INFOCOM
2005
IEEE
15 years 7 months ago
2005
IEEE
The primary purpose of a network is to provide reachability between applications running on end hosts. In this paper, we describe how to compute the reachability a network provide...
110
click to vote
WACV
2005
IEEE
15 years 7 months ago
2005
IEEE
A method for the simultaneous localization and recognition of dynamic hand gestures is proposed. At the core of this method is a dynamic space-time warping (DSTW) algorithm, that ...