3052 search results - page 393 / 611 » Engineers Don't Search |
KBSE
1995
IEEE
14 years 2 months ago
1995
IEEE
Numerical design optimization algorithms are highly sensitive to the particular formulation of the optimization problems they are given. The formulation of the search space, the o...
KBSE
2010
IEEE
13 years 9 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
SIGSOFT
2003
ACM
14 years 11 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
WWW
2008
ACM
14 years 11 months ago
2008
ACM
Form mapping is the key problem that needs to be solved in order to get access to the hidden web. Currently available solutions for fully automatic mapping are not ready for comme...
ICSE
2005
IEEE-ACM
14 years 11 months ago
2005
IEEE-ACM
COCONUT calibrates effort estimation models using an exhaustive search over the space of calibration parameters in a COCOMO I model. This technique is much simpler than other effo...