981 search results - page 182 / 197 » Symbolic pointer analysis |
96
Voted
TWC
2008
15 years 7 days ago
2008
We deal with the concept of physical-layer fairness in amplify and forward cooperative diversity systems, which reflects the need for equally allocating the consumed power among th...
AI
1999
Springer
15 years 1 days ago
1999
Springer
We present an algorithm for producing behavior descriptions of planar fixed axes mechanical motions from image sequences using a formal behavior language. The language, which cove...
115
Voted
IS
1998
15 years 22 hour ago
1998
Information modeling is concerned with the construction of computer-based symbol structures which capture the meaning of information and organize it in ways that make it understan...
95
Voted
CCS
2010
ACM
14 years 11 months ago
2010
ACM
Web applications rely heavily on client-side computation to examine and validate form inputs that are supplied by a user (e.g., “credit card expiration date must be valid”). T...
128
Voted
SEKE
2010
Springer
14 years 10 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...