1880 search results - page 114 / 376 » A Static Analysis for Beta-Binders |
111
click to vote
COMSWARE
2006
IEEE
15 years 5 months ago
2006
IEEE
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...
100
click to vote
SP
2006
IEEE
15 years 5 months ago
2006
IEEE
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...
ISSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...
113
click to vote
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
We present a new method to robustly and efficiently analyze foreground when we detect background for a fixed camera view by using mixture of Gaussians models and multiple cues. Th...
102
click to vote
ICSE
2008
IEEE-ACM
16 years 19 days ago
2008
IEEE-ACM
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...