1401 search results - page 188 / 281 » Tool Integration for Reasoned Programming |
101
click to vote
CC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with ...
101
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
Web applications are the Achilles heel of our current ICT infrastructure. NIST's national vulnerability database clearly shows that the percentage of vulnerabilities located ...
109
click to vote
ERSA
2008
15 years 2 months ago
2008
For two decades, reconfigurable computing systems have provided an attractive alternative to fixed hardware solutions. Reconfigurable computing systems have demonstrated the low c...
101
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
116
click to vote
ICSM
2006
IEEE
15 years 7 months ago
2006
IEEE
The MDA approach aims to ease software maintenance faced with platform and business evolution. In this approach, main development artifacts, i.e. models, are defined with the Meta...