3991 search results - page 292 / 799 » Bounding homogeneous models |
156
click to vote
MUE
2008
IEEE
16 years 1 months ago
2008
IEEE
Investigating realistic simulations in wireless sensor networks has been an area which has drawn a lot of research interest. These simulations are used to predict the lifetime of ...
182
click to vote
FORMATS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
158
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper addresses the problem of human gait recognition by applying model (in)validation techniques. The main idea is to associate to each class of gaits a nominal model and a ...
189
click to vote
ICNP
2000
IEEE
15 years 11 months ago
2000
IEEE
Fair queueing of rate and delay-sensitive packet flows in a shared-medium, multihop wireless network remains largely unaddressed because of the unique design issues such as locat...
156
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...