7109 search results - page 290 / 1422 » Process Algebra with Combinators |
143
click to vote
CRYPTO
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. We provide a simple secret-key two-party secure communication scheme, which is provably information-theoretically secure in the limited-storage-space model. The limited-s...
128
click to vote
WADT
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
118
Voted
VLDB
1997
ACM
15 years 9 months ago
1997
ACM
The result size of a query that involves multiple attributes from the same relation depends on these attributes’ joint data distribution,i.e., the frequencies of all combination...
133
Voted
CODES
1994
IEEE
15 years 9 months ago
1994
IEEE
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for para...
132
click to vote
VLDB
1992
ACM
15 years 8 months ago
1992
ACM
We propose an extended relational database model which can model both uncertainty and imprecision in data. This model is basedon Dempster-Shafertheory which has become popular in ...