Sciweavers

1663 search results - page 51 / 333
» Verification and validation of simulation models
Sort
View
BMCBI
2007
114views more  BMCBI 2007»
14 years 10 months ago
Mining and state-space modeling and verification of sub-networks from large-scale biomolecular networks
Background: Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As ...
Xiaohua Hu, Fang-Xiang Wu
MSWIM
2005
ACM
15 years 3 months ago
Non-saturation and saturation analysis of IEEE 802.11e EDCA with starvation prediction
An analytical model is proposed to describe the priority schemes of the EDCA mechanism of the IEEE 802.11e standard. EDCA provides class-based differentiated QoS to IEEE 802.11 WL...
Paal Engelstad, Olav N. Østerbø
WSC
2008
15 years 2 days ago
A methodology for unit testing actors in proprietary discrete event based simulations
CT This paper presents a dependency injection based, unit testing methodology for unit testing components, or actors, involved in discrete event based computer network simulation v...
Mark E. Coyne, Scott R. Graham, Kenneth M. Hopkins...
PATMOS
2004
Springer
15 years 3 months ago
A Multi-level Validation Methodology for Wireless Network Applications
Abstract. This paper presents the validation methodology established and applied during the development of a wireless LAN application. The target of the development is the implemen...
Christos Drosos, Labros Bisdounis, Dimitris Metafa...
WSC
2008
15 years 2 days ago
Modeling of air traffic arrival operations through agent-based simulation
This paper reports on the development and validation of an agent based simulation model of air traffic control arrival operations. The simulation model includes modeling of both t...
Sanjiv Shresta, Ralf H. Mayer