1886 search results - page 153 / 378 » Verifying and Validating Simulation Models |
PERCOM
2009
ACM
15 years 4 months ago
2009
ACM
—The primary function of a cognitive radio is to detect idle frequencies or sub-bands, not used by the primary users (PUs), and allocate these frequencies to secondary users. The...
102
click to vote
TMC
2011
14 years 5 months ago
2011
We propose an integrated scheme for tracking the mobility of a user based on autoregressive models that accurately capture the characteristics of realistic user movements in wirel...
100
click to vote
CCGRID
2005
IEEE
15 years 3 months ago
2005
IEEE
The scheme of advance reservations in dynamically provisioned optical networks is novel, and there are no gridbased applications designed to utilize this scheme. We formally defi...
SAFECOMP
1998
Springer
15 years 1 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
WSC
1997
14 years 11 months ago
1997
This paper describes the Integrated Medical Analysis System. This evolving system consists of an integrated suite of models and tools providing quantitative and dynamic analysis f...