1205 search results - page 204 / 241 » Program Extraction from Large Proof Developments |
132
click to vote
JSW
2007
15 years 1 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
190
click to vote
ICSE
2012
IEEE-ACM
13 years 3 months ago
2012
IEEE-ACM
—Software logging is a conventional programming practice. While its efficacy is often important for users and developers to understand what have happened in the production run, ...
113
click to vote
SIGMOD
2004
ACM
16 years 1 months ago
2004
ACM
Database selection is an important step when searching over large numbers of distributed text databases. The database selection task relies on statistical summaries of the databas...
CCGRID
2008
IEEE
15 years 7 months ago
2008
IEEE
—The application and research area of Multimedia Content Analysis (MMCA) considers all aspects of the automated extraction of new knowledge from large multimedia data streams and...
135
click to vote
WCRE
2006
IEEE
15 years 7 months ago
2006
IEEE
The understanding of the structure of a software system can be improved by analyzing the system’s evolution during development. Visualizations of software history that provide o...