329 search results - page 15 / 66 » A Survey of Lightweight-Cryptography Implementations |
CP
2001
Springer
14 years 5 days ago
2001
Springer
This paper presents a survey of the use of resolution in propositional satisfiability, and some preliminary results from the implementation of a hybrid resolution and search algor...
AQUILEIA
2011
12 years 7 months ago
2011
Abstract. Integrated remote sensing and geophysical methods can provide detailed information about buried cultural heritage. We implemented an integrated survey protocol (IREGA, In...
AQUILEIA
2011
12 years 7 months ago
2011
Integrated use of multidisciplinary researches have been applied in the last years for the study of Aquileia archeological sites and, in particular the River Port structures. Since...
LICS
2012
IEEE
11 years 10 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
MOBIQUITOUS
2007
IEEE
14 years 1 months ago
2007
IEEE
—Sensor networks involving human participants will require privacy protection before wide deployment is feasible. This paper proposes and evaluates a set of protocols that enable...