1829 search results - page 205 / 366 » Towards Validation of Requirements Models |
213
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
This work presents the concept of Continuous Search (CS), which objective is to allow any user to eventually get their constraint solver achieving a top performance on their proble...
191
click to vote
JIPS
2010
15 years 1 months ago
2010
Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios whi...
156
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper we propose a model to compute an upper bound for the maximum network size in mobile ad-hoc networks. Our model is based on the foundation that for a unicast route ...
170
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Our purpose is to provide an augmented reality system for Radio-Frequency guidance that could superimpose a 3D model of the liver, its vessels and tumors (reconstructed from CT ima...
188
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
We propose regression modeling as an efficient approach for accurately predicting performance and power for various applications executing on any microprocessor configuration in a...