518 search results - page 69 / 104 » Abstract Interpretation-Based Protection |
100
click to vote
PERVASIVE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Many applications benefit from user location data, but location data raises privacy concerns. Anonymization can protect privacy, but identities can sometimes be inferred...
114
click to vote
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
102
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—A primary goal of vehicular communication systems is the enhancement of traffic safety by equipping vehicles with wireless communication units to facilitate cooperative...
134
Voted
GLOBECOM
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— Two driving goals for cognitive radio (CR) technique are maximizing spectrum utilization and avoiding interference to primary users. In this paper, we deal with the CR ...
123
Voted
HOST
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Rapid advances in integrated circuit (IC) development predicted by Moore’s Law lead to increasingly complex, hard to verify IC designs. Design insiders or adversaries ...