692 search results - page 106 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
DAGSTUHL
2006
15 years 1 months ago
2006
Abstract. An overview of the concept of program similarity is presented. It divides similarity into two types--syntactic and semantic-and provides a review of eight categories of m...
165
click to vote
GMP
2010
IEEE
15 years 17 hour ago
2010
IEEE
Abstract. Riemann surfaces naturally appear in the analysis of complex functions that are branched over the complex plane. However, they usually possess a complicated topology and ...
ESORICS
2011
Springer
13 years 11 months ago
2011
Springer
We explore the suitability of Dolev-Yao-based attacker models for the security analysis of wireless communication. The Dolev-Yao model is commonly used for wireline and wireless ne...
115
click to vote
RE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract The generation of traceability links or traceability matrices is vital to many software engineering activities. It is also person-power intensive, time-consuming, error-pr...
207
click to vote
POPL
2008
ACM
16 years 4 days ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...