11397 search results - page 2148 / 2280 » A Relational Abstraction for Functions |
STACS
2001
Springer
15 years 2 months ago
2001
Springer
We study effectively given positive reals (more specifically, computably enumerable reals) under a measure of relative randomness introduced by Solovay [32] and studied by Calud...
ACSAC
2000
IEEE
15 years 2 months ago
2000
IEEE
It is well-known that CA plays the central role in PKI. In this paper we introduce a new component into PKI, DA (decryption authority), which decrypts important and sensitive mess...
FOCS
2000
IEEE
15 years 2 months ago
2000
IEEE
There is an upsurging interest in designing succinct data structures for basic searching problems (see [23] and references therein). The motivation has to be found in the exponent...
HPCA
2000
IEEE
15 years 2 months ago
2000
IEEE
With increasing chip densities, future microprocessor designs have the opportunity to integrate many of the traditional systemlevel modules onto the same chip as the processor. So...
ICEIS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper describes the development of Information System (IS) at Masaryk University in Brno. It supports full range of administrative and information functions in the study area,...