620 search results - page 65 / 124 » Abstract Analysis of Symbolic Executions |
101
Voted
STTT
2008
15 years 13 days 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...
111
Voted
IJDAR
2000
15 years 10 days 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...
109
click to vote
ESORICS
2011
Springer
14 years 8 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...
112
Voted
ICCD
2005
IEEE
15 years 9 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...
103
Voted
SCVMA
2004
Springer
15 years 5 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...