10241 search results - page 2047 / 2049 » Goal-Driven Software Development |
RV
2010
Springer
13 years 4 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
VTC
2010
IEEE
13 years 4 months ago
2010
IEEE
—Supporting a multimode mobile device to seamlessly switch its connections between various wireless access networks, such as WiMAX, Wi-Fi, and LTE, is an important research issue...
BMCBI
2010
13 years 4 months ago
2010
Background: A common approach to understanding the genetic basis of complex traits is through identification of associated quantitative trait loci (QTL). Fine mapping QTLs require...
CEC
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract-- We present a case study demonstrating that using the REVAC parameter tuning method we can greatly improve the `world champion' EA (the winner of the CEC2005 competi...
IMC
2010
ACM
13 years 4 months ago
2010
ACM
While many public cloud providers offer pay-as-you-go computing, their varying approaches to infrastructure, virtualization, and software services lead to a problem of plenty. To ...