12107 search results - page 219 / 2422 » Software That Can Think |
172
click to vote
JUCS
2008
15 years 6 months ago
2008
: The investments needed to bring a software project to the market are substantial and can extend over several years. Managing software development requires not only technical expe...
177
click to vote
TCAD
2008
15 years 6 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
176
click to vote
ALIFE
2004
15 years 6 months ago
2004
The Avida digital evolution platform is a software tool used to perform experimental evolution research with self-replicating computer programs ("digital organisms"). Av...
183
click to vote
WOSP
2010
ACM
15 years 6 months ago
2010
ACM
Quantitative prediction of quality properties (i.e. extrafunctional properties such as performance, reliability, and cost) of software architectures during design supports a syste...
154
click to vote
QUATIC
2007
IEEE
16 years 24 days ago
2007
IEEE
– Systematic reviews on software engineering literature have shown an insufficient experimental validation of claims, when compared to the standard practice in other wellestablis...