4636 search results - page 37 / 928 » Modelling and Validation with VipTool |
4OR
2006
13 years 7 months ago
2006
Abstract In this paper, the use of queueing theory for modeling uninterrupted traffic flows is evaluated. Empirical data on speeds and flows are used to evaluate speeds generated b...
PDP
2006
IEEE
14 years 1 months ago
2006
IEEE
— The Parallel Resource-Optimal (PRO) computation model was introduced by Gebremedhin et al. [2002] as a framework for the design and analysis of efficient parallel algorithms. ...
JWE
2006
13 years 7 months ago
2006
gh abstract information is available. In the next step, we identify existing Web Engineering model properties which can be used to improve the checks, and propose further extension...
RSP
1999
IEEE
13 years 12 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
PIMRC
2008
IEEE
14 years 2 months ago
2008
IEEE
—As WLANs employing IEEE 802.11 have become pervasive, many analytic models for predicting their performance have been developed in recent years. Due to the complicated nature of...