1128 search results - page 156 / 226 » Little Engines of Proof |
160
click to vote
EVOW
2010
Springer
16 years 1 months ago
2010
Springer
We investigate user-guided evolution for the development of virtual 3D building structures for the prototype (commercial) game Subversion, which is being developed by Introversion ...
163
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
The increasing availability and deployment of open source software in personal and commercial environments makes open source software highly appealing for hackers, and others who ...
132
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract: Nowadays, it has become common to equip a device with Bluetooth. As such devices become pervasive in the world; much work has been done on forming them into a network, ho...
166
click to vote
ICAC
2009
IEEE
16 years 1 months ago
2009
IEEE
—The performance of BPEL processes depends on the composing web services. Monitoring web service performance and adapting to changes in service performance are essential for crea...
153
click to vote
GECCO
2009
Springer
16 years 25 days ago
2009
Springer
Software testing can be re-formulated as a search problem, hence search algorithms (e.g., Genetic Algorithms) can be used to tackle it. Most of the research so far has been of emp...