4719 search results - page 434 / 944 » Newtonian program analysis |
213
click to vote
SP
2006
IEEE
16 years 23 days ago
2006
IEEE
The number and the importance of Web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...
173
click to vote
EUROPAR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
182
click to vote
ICAPR
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Software analysis techniques, and in particular software “design recovery”, have been highly successful at both technical and businesslevel semantic markup of large s...
169
click to vote
VMCAI
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
183
click to vote
AOSD
2004
ACM
16 years 6 days ago
2004
ACM
Aspect-Oriented Programming promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is a fundamental problem...