2432 search results - page 384 / 487 » Cryptographic logical relations |
126
click to vote
ICCAD
2004
IEEE
16 years 1 months ago
2004
IEEE
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we model each task ...
138
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
There are a number of established products on the market for wrapping—semi-automatic navigation and extraction of data—from web pages. These solutions make use of the inherent...
144
click to vote
IWMM
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
132
click to vote
PKDD
2009
Springer
15 years 11 months ago
2009
Springer
Web searches tend to be short and ambiguous. It is therefore not surprising that Web query disambiguation is an actively researched topic. To provide a personalized experience for ...
139
click to vote
RTA
2009
Springer
15 years 11 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...