620 search results - page 72 / 124 » Abstract Analysis of Symbolic Executions |
98
Voted
WCNC
2010
IEEE
15 years 4 months ago
2010
IEEE
—We study the problem of optimizing the symbol error probability (SEP) performance of cluster-based cooperative wireless sensor networks (WSNs). It is shown in the literature tha...
132
Voted
SEKE
2010
Springer
14 years 11 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
103
click to vote
CHI
2006
ACM
16 years 29 days ago
2006
ACM
Digital Manipulatives embed computation in familiar children's toys and provide means for children to design behavior. Some systems use "record and play" as a form ...
137
click to vote
WADS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Portions of such codes when t...
111
Voted
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...