13383 search results - page 2384 / 2677 » Abstractions from proofs |
152
click to vote
FSE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. “Hash then encrypt” is an approach to message authentication, where first the message is hashed down using an ε-universal hash function, and then the resulting k-bi...
147
click to vote
GFKL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The manual acquisition and modeling of tourist information as e.g. addresses of points of interest is time and, therefore, cost intensive. Furthermore, the encoded inform...
141
click to vote
HIPEAC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Network processors are programmable devices that can process packets at a high speed. A network processor is typified by multithreading and heterogeneous multiprocessing...
149
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The aggregation of objectives in multiple criteria programming is one of the simplest and widely used approach. But it is well known that these techniques sometimes fail ...
130
click to vote
ICB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In many applications, such as E-Passport and driver’s license, the enrollment of face templates is done using visible light (VIS) face images. Such images are normally ...