2403 search results - page 153 / 481 » Using the WinWin Spiral Model: A Case Study |
173
click to vote
JCS
2010
15 years 1 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
188
click to vote
IWANN
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we present a soft computing system developed to optimize the face milling operation under High Speed conditions in the manufacture of steel components like molds with...
157
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
A Bayesian Network based mathematical model has been used for modelling Extreme Programming software development process. The model is capable of predicting the expected finish ti...
184
click to vote
ENVSOFT
2011
15 years 27 days ago
2011
Jet fans are applied for control of air flow and support of pollutant dispersal in large enclosures. In The Netherlands, application is well known for car parks as part of the fir...
182
click to vote
TCSV
2010
15 years 1 months ago
2010
In this paper, we are concerned with the modeling of motion between frames of a video sequence. Typically, it is not possible to represent the motion between frames by a single mod...