620 search results - page 65 / 124 » Abstract Analysis of Symbolic Executions |
156
click to vote
STTT
2008
15 years 5 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
167
click to vote
IJDAR
2000
15 years 5 months ago
2000
Abstract. Automatic recognition of mathematical expressions is one of the key vehicles in the drive towards transcribing documents in scientific and engineering disciplines into el...
162
click to vote
ESORICS
2011
Springer
14 years 5 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...
164
click to vote
ICCD
2005
IEEE
16 years 2 months ago
2005
IEEE
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
156
click to vote
SCVMA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, several important issues related to visual motion analysis are addressed with a focus on the type of motion information to be estimated and the way context...