13383 search results - page 2384 / 2677 » Abstractions from proofs |
176
click to vote
FSE
2007
Springer
16 years 8 days 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...
182
click to vote
GFKL
2007
Springer
16 years 8 days 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...
178
Voted
HIPEAC
2007
Springer
16 years 7 days 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...
176
Voted
HPCC
2007
Springer
16 years 7 days 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 ...
158
click to vote
ICB
2007
Springer
16 years 7 days 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 ...