2673 search results - page 352 / 535 » Guided Static Analysis |
155
click to vote
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
Timeout mechanisms are a useful feature for web applications. However, these mechanisms need to be used with care because, if used as-is, they are vulnerable to timing attacks. Th...
121
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
136
click to vote
DBPL
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we revisit the view based security framework for XML without imposing any of the previously considered restrictions on the class of queries, the class of DTDs, and t...
141
click to vote
SCIA
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes a spatio-temporal super-resolution method using depth maps for static scenes. In the proposed method, the depth maps are used as the parameters to determine th...
121
click to vote
RTSS
2008
IEEE
15 years 11 months ago
2008
IEEE
We consider the problem of optimal static period assignment for multiple independent control tasks executing on the same CPU. Previous works have assumed that the control performa...