9359 search results - page 601 / 1872 » Generalization Algorithms for Second-Order Terms |
183
Voted
CCS
2004
ACM
16 years 14 days ago
2004
ACM
We show that a number of recent definitions and constructions of fuzzy extractors are not adequate for multiple uses of the same fuzzy secret—a major shortcoming in the case of...
193
click to vote
CCS
2004
ACM
16 years 14 days ago
2004
ACM
Hidden credentials are useful in protecting sensitive resource requests, resources, policies, and credentials. We propose a significant performance improvement when implementing ...
159
click to vote
CIKM
2004
Springer
16 years 14 days ago
2004
Springer
The daily use of Internet-based services is involved with hundreds of different tasks being performed by multiple users. A single task is typically involved with a sequence of Web...
192
click to vote
EMSOFT
2004
Springer
16 years 13 days ago
2004
Springer
Cache prediction for preemptive scheduling is an open issue despite its practical importance. First analysis approaches use simplified models for cache behavior or they assume si...
175
click to vote
LCTRTS
2004
Springer
16 years 12 days ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...