1104 search results - page 15 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
WSC
2007
15 years 1 months ago
2007
The TCP models in ns-2 have been validated and are widely used in network research. They are however not aimed at producing results consistent with a TCP implementation, they are ...
73
Voted
SPIN
1999
Springer
15 years 3 months ago
1999
Springer
One of the difficulties of using model checkers “in the large” is the management of all (generated) data during the validation trajectory. It is important that the results obta...
GLOBECOM
2007
IEEE
15 years 6 months ago
2007
IEEE
—In this paper we compare and enhance the three prevailing approaches of IEEE 802.11e Performance analysis. Specifically, the first model utilizes a Markov Chain to describe th...
97
Voted
MICCAI
2005
Springer
16 years 15 days ago
2005
Springer
Validation and method of comparison for segmentation of magnetic resonance images (MRI) presenting pathology is a challenging task due to the lack of reliable ground truth. We prop...
116
Voted
ER
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...