3920 search results - page 85 / 784 » Challenges in Software Evolution |
MICCAI
2008
Springer
14 years 10 months ago
2008
Springer
Quantitative analysis of the swimming motions of C. elegans worms are of critical importance for many gene-related studies on aging. However no automated methods are currently in u...
SEKE
2007
Springer
14 years 3 months ago
2007
Springer
Design patterns describe good solutions to common and recurring problems. The applications of design patterns may vary in different layouts, which pose challenges for recovering a...
DEXAW
1998
IEEE
14 years 29 days ago
1998
IEEE
The mobile agent approach has become popular due to recent developments in the mobile code paradigm and enabling programming technologies. Many existing agentbased systems lack cl...
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a su...
APL
1992
ACM
14 years 1 months ago
1992
ACM
Ready access to computing power through APL opens new avenues for mathematical experimentation and new strategies for developing concepts in the teaching of basic engineering math...