9626 search results - page 1472 / 1926 » Invariant Based Programming |
194
click to vote
DAC
2003
ACM
16 years 8 months ago
2003
ACM
This paper addresses the problem of extending the lifetime of a batterypowered mobile host in a client-server wireless network by using task migration and remote processing. This ...
189
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
We have implemented an effective and publicly available tool, VETOT, to track and quantify the evolution of tumors and organs over time. VETOT includes a framework both for registr...
194
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
Much of what we know about how programmers refactor in the wild is based on studies that examine just a few software projects. Researchers have rarely taken the time to replicate ...
182
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
181
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
One of the several initiatives to bridge the digital divide in developing countries has been the deployment of information kiosks or knowledge centers in villages in rural parts o...