891 search results - page 52 / 179 » Full Abstraction for PCF |
169
Voted
DATE
2009
IEEE
16 years 9 days ago
2009
IEEE
Abstract— This paper presents a six-transistor (6T) singleended static random access memory (SE-SRAM) bitcell with an isolated read-port, suitable for low-Î and low-power embedd...
159
Voted
ACNS
2009
Springer
16 years 5 days ago
2009
Springer
Abstract. This paper examines secure two-party computation of functions which depend only on the Hamming distance of the inputs of the two parties. We present efficient protocols f...
148
Voted
FM
2009
Springer
16 years 3 days ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
158
click to vote
ICMT
2009
Springer
16 years 3 days ago
2009
Springer
Abstract. In Model-Driven Engineering models and metamodels are not preserved from the evolutionary pressure which inevitably affects almost any artefacts. Moreover, the coupling b...
142
click to vote
ICTIR
2009
Springer
16 years 3 days ago
2009
Springer
Abstract Even the best information retrieval model cannot always identify the most useful answers to a user query. This is in particular the case with web search systems, where it ...