678 search results - page 92 / 136 » Dependent Types for Program Understanding |
SIGMOD
2009
ACM
14 years 2 months ago
2009
ACM
The state of the art commercial query optimizers employ cost-based optimization and exploit dynamic programming (DP) to find the optimal query execution plan (QEP) without evalua...
PPSN
2004
Springer
14 years 1 months ago
2004
Springer
A reasonably good description of the luminosity profiles of galaxies is needed as it serves as a guide towards understanding the process of galaxy formation and evolution. To obtai...
UM
2001
Springer
14 years 4 days ago
2001
Springer
Abstract. In this paper, we address the problem of providing guidelines to designers of mixed-initiative artificial intelligence systems, which specify when the system should take...
TOOLS
2000
IEEE
14 years 2 days ago
2000
IEEE
It is common to imbed business rules within the code of distributed object systems. When business practices and/or policies change, as they often do, it is difficult if not imposs...
TOOLS
2000
IEEE
14 years 2 days ago
2000
IEEE
The research presented here addresses the problem of change impact analysis CIA for object-oriented software. A major problem for developers in an evolutionary environment is th...