275 search results - page 28 / 55 » Structural Information Analysis for CLP Languages |
126
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Modern programs frequently employ sophisticated modular designs. As a result, performance problems cannot be identified from costs attributed to routines in isolation; understand...
124
Voted
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
163
Voted
CG
2007
Springer
15 years 3 months ago
2007
Springer
Tasks in visual analytics differ from typical information retrieval tasks in fundamental ways. A critical part of a visual analytics is to ask the right questions when dealing wit...
167
Voted
NLDB
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A large amount of biological knowledge today is only available from full-text research papers. Since neither manual database curators nor users can keep up with the rapid...
118
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Requirements analysis is an important phase in a software project. Automatic evaluation of Natural Language (NL) requirements documents has been proposed as a means to improve the...