981 search results - page 158 / 197 » Symbolic pointer analysis |
150
click to vote
PROCEDIA
2011
14 years 3 months ago
2011
We report the first evaluation of Constraint Satisfaction as a computational framework for solving closest string problems. We show that careful consideration of symbol occurrenc...
108
click to vote
ESORICS
2011
Springer
14 years 5 days 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...
211
click to vote
POPL
2007
ACM
16 years 22 days ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
117
click to vote
SBMF
2009
Springer
15 years 7 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
118
Voted
APN
2007
Springer
15 years 6 months ago
2007
Springer
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...