981 search results - page 182 / 197 » Symbolic pointer analysis |
111
Voted
TWC
2008
15 years 2 months 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...
110
Voted
AI
1999
Springer
15 years 1 months 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...
136
click to vote
IS
1998
15 years 1 months 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...
115
Voted
CCS
2010
ACM
15 years 1 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...
147
click to vote
SEKE
2010
Springer
15 years 20 days 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...