9974 search results - page 1788 / 1995 » Software Interconnection Models |
115
click to vote
FOSSACS
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. A strong (L) logic programming language ([14, 15]) is given by two subclasses of formulas (programs and goals) of the underlying logic L, provided that: firstly, any pro...
146
click to vote
AC
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. In 1982, Bennett and Brassard suggested a new way to provide privacy in long distance communications with security based on the correctness of the basic principles of qua...
111
click to vote
TIC
1998
Springer
15 years 7 months ago
1998
Springer
In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. More...
193
click to vote
STOC
1997
ACM
15 years 7 months ago
1997
ACM
We present randomized constructions of linear-time encodable and decodable codes that can transmit over lossy channels at rates extremely close to capacity. The encoding and decod...
116
click to vote
UIST
1993
ACM
15 years 7 months ago
1993
ACM
n support in a user interface toolkit: flexible, robust, and reusable abstractions SE Hudson, JT Stasko - 1993 - ACM Press New York, NY, USA 62 1992: Two-handed gesture in multi-mo...