6829 search results - page 306 / 1366 » Quantitative Generalizations of Languages |
149
click to vote
ASIACRYPT
2007
Springer
16 years 26 days ago
2007
Springer
In this paper we show a general transformation from any honest verifier statistical zero-knowledge argument to a concurrent statistical zero-knowledge argument. Our transformatio...
149
click to vote
LICS
2006
IEEE
16 years 21 days ago
2006
IEEE
Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An importa...
162
click to vote
PPDP
2005
Springer
16 years 5 days ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
172
click to vote
MFCS
2004
Springer
16 years 1 days ago
2004
Springer
A binary language-theoretic operation is proposed, which is dual to the concatenation of languages in the same sense as the universal quantifier in logic is dual to the existenti...
199
click to vote
PEPM
2004
ACM
16 years 1 days ago
2004
ACM
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....