10379 search results - page 597 / 2076 » The Chaos of Software Development |
174
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
A system built in terms of autonomous agents may require even greater correctness assurance than one which is merely reacting to the immediate control of its users. Agents make su...
212
click to vote
FMICS
2009
Springer
16 years 1 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
186
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Evolutionary structural testing is an approach to automatically generating test cases that achieve high structural code coverage. It typically uses genetic algorithms (GAs) to sea...
170
click to vote
CRV
2006
IEEE
16 years 1 months ago
2006
IEEE
A set of microarray images were acquired by a sequence of biological experiments which were scanned via a high resolution scanner. For each spot corresponding to a gene, the ratio...
179
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
An online software agent that helps smokers quit was designed and tested. We created a library of categorized smoking cessation messages using meta-data corresponding to the Stage...