413 search results - page 38 / 83 » Abstract Argumentation Scheme Frameworks |
124
click to vote
KES
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Search engines traditionally index unstructured text and return ranked lists of documents that match a given query. As search engines functionally move in the direction o...
127
click to vote
CRYPTO
2009
Springer
15 years 8 months ago
2009
Springer
Most of the work in the analysis of cryptographic schemes is concentrated in abstract adversarial models that do not capture side-channel attacks. Such attacks exploit various for...
120
click to vote
PLDI
1995
ACM
15 years 5 months ago
1995
ACM
Dynamic dispatching is a major source of run-time overhead in object-oriented languages, due both to the direct cost of method lookup and to the indirect effect of preventing othe...
140
click to vote
ICFP
2002
ACM
16 years 1 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
120
click to vote
WAIFI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We focus on the implementation and security aspects of cryptographic protocols that use Type 1 and Type 4 pairings. On the implementation front, we report improved timing...