4636 search results - page 310 / 928 » Modelling and Validation with VipTool |
137
click to vote
ISBI
2004
IEEE
16 years 4 months ago
2004
IEEE
Point Distribution Modelling (PDM) is an efficient generative technique that can be used to incorporate statistical shape priors into image analysis methods like Active Shape Mode...
122
click to vote
PROFES
2007
Springer
15 years 10 months ago
2007
Springer
The cost of a Software Product Line (SPL) development project sometimes exceeds the initially planned cost, because of requirements volatility and poor quality. In this paper, we p...
142
Voted
MSWIM
2003
ACM
15 years 9 months ago
2003
ACM
An ad hoc network is formed by wireless mobile nodes (hosts) that operate as terminals as well as routers in the network, without any centralized administration. Research in ad ho...
145
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
133
click to vote
FORTE
2004
15 years 5 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...