2722 search results - page 214 / 545 » Automating Language Evolution |
158
click to vote
VL
2005
IEEE
15 years 10 months ago
2005
IEEE
Agile methodologies employ light-weight development practices emphasizing a test-driven approach to the development of software systems. Modern agile development environments supp...
165
Voted
CAV
2006
Springer
15 years 8 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
124
Voted
MODELLIERUNG
2008
15 years 6 months ago
2008
Abstract: Model transformation is not only a crucial but also one of the most complicated aspects of model-driven software development (MDSD). An adequate transformation language i...
103
click to vote
MICCAI
2008
Springer
16 years 6 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...
266
click to vote
GIS
2008
ACM
16 years 6 months ago
2008
ACM
Wireless sensor networks (WSNs) can provide real-time information about geospatial environments, and so have the potential to play an important role in the monitoring of geographi...