898 search results - page 9 / 180 » A Linear Tabling Mechanism |
TABLETOP
2007
IEEE
14 years 1 months ago
2007
IEEE
We envision a nomadic model of interaction where the personal computer fits in your pocket. Such a computer is extremely limited in screen space. A technique is described for “s...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
DRM
2007
Springer
14 years 1 months ago
2007
Springer
In software protection we typically have to deal with the white-box attack model. In this model an attacker is assumed to have full access to the software and full control over it...
BROADCOM
2008
IEEE
14 years 2 months ago
2008
IEEE
Distributed Hash Tables (DHTs) with O(1) lookup performance strive to minimize the maintenance traffic required for disseminating membership changes information (events). These eve...
ASIACRYPT
2009
Springer
14 years 2 months ago
2009
Springer
In this paper, an improved differential cryptanalysis framework for finding collisions in hash functions is provided. Its principle is based on linearization of compression functi...