1880 search results - page 260 / 376 » A Static Analysis for Beta-Binders |
179
click to vote
CSFW
2009
IEEE
16 years 1 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...
140
click to vote
DATE
2009
IEEE
16 years 1 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 ...
158
click to vote
IWPC
2009
IEEE
16 years 27 days ago
2009
IEEE
This paper presents an exploratory study of ten feature location techniques that use various combinations of textual, dynamic, and static analyses. Unlike previous studies, the ap...
156
click to vote
DBPL
2009
Springer
16 years 25 days 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...
163
click to vote
SCIA
2009
Springer
16 years 24 days 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...