19 search results - page 3 / 4 » sara 2000 |
AVI
2000
13 years 7 months ago
2000
In various circumstances, it is possible to arrive at the need to specify sequences of operations that a "machine" has to perform to achieve a purpose. This paper will p...
SARA
2000
Springer
13 years 9 months ago
2000
Springer
We investigate the possibility of improving the efficiency of reasoning through structure-based partitioning of logical theories, combined with partitionbased logical reasoning str...
SARA
2000
Springer
13 years 9 months ago
2000
Springer
Cartography is one of the major application areas using geographical databases. Whether it is for the business of producing paper maps for sale, or whether it is for displaying map...
WOA
2000
13 years 7 months ago
2000
The computer simulation of complex phenomena is a challenging issue for studying their properties. Several models and techniques have been developed in order to provide useful con...
ASIACRYPT
2000
Springer
13 years 10 months ago
2000
Springer
Abstract. We investigate several alternate characterizations of pseudorandom functions (PRFs) and pseudorandom permutations (PRPs) in a concrete security setting. By analyzing the ...