15792 search results - page 2791 / 3159 » Computational Abstraction Steps |
172
Voted
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Reasoning on programs and automated deduction often require the manipulation of in nite sets of objects. Many formalisms have been proposed to handle such sets. Here we d...
197
click to vote
ECAI
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. Many recent works point out that there are several possibilities of assigning a meaning to a concept definition containing some sort of recursion. In this paper, we argue...
162
click to vote
FODO
1993
Springer
15 years 11 months ago
1993
Springer
Abstract–Multimedia computing requires support for heterogeneous data types with differing storage, communication and delivery requirements. Continuous media data types such as ...
167
click to vote
ESORICS
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. An oblivious signature with n keys (or messages) is a signature that the recipient can choose one of n keys (or messages) to get signed while the signer cannot find out o...
204
click to vote
ASPLOS
1992
ACM
15 years 11 months ago
1992
ACM
Next generation computer systems will have gigabytes of physical memory and processors in the 200 MIPS range or higher. While this trend suggests that memory management for most p...