3082 search results - page 307 / 617 » Deviation Analysis: A New Use of Model Checking |
209
click to vote
ACMSE
2004
ACM
16 years 1 days ago
2004
ACM
In this paper, we survey recent advances in mobility modeling for mobile ad hoc network research. The advances include some new mobility models and analysis of older mobility mode...
198
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
179
click to vote
CIIT
2004
15 years 8 months ago
2004
In control systems the jitter is a major problem since in a time-varying system the theoretical results for analysis and design of time-invariant systems cannot be used directly. ...
179
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
We describe a 2.5D layered representation for visual motion analysis. The representation provides a global interpretation of image motion in terms of several spatially localized fo...
150
click to vote
WSC
2007
15 years 9 months ago
2007
We describe the analysis of a discrete event simulation model of tuberculosis (TB) and HIV disease, parameterized to describe the dual epidemics in Harare, Zimbabwe. The HIV epide...