Sciweavers

698 search results - page 128 / 140
» dagstuhl 2007
Sort
View
DAGSTUHL
2007
15 years 1 months ago
QUAD: Overview and Recent Developments
We give an outline of the specification and provable security features of the QUAD stream cipher proposed at Eurocrypt 2006 [6]. The cipher relies on the iteration of a multivaria...
David Arditti, Côme Berbain, Olivier Billet,...
DAGSTUHL
2007
15 years 1 months ago
Assisting age related capabilities by ambient technology to prevent functional decline
The elderly is characterized by age related capabilities and handicaps. Whereas age related capabilities like plasticity and adaptability on changing living conditions can lead to ...
Mehmet Gövercin, Richard Willmann, Gerd Lanfe...
98
Voted
DAGSTUHL
2007
15 years 1 months ago
Assistive Technology for Successful Aging: Perspectives from Developmental Behavioral and Neuroscience
Growing into old age is a personal privilege and a societal achievement. However, it is also a challenge for both the individuals and societies. The impressive gains in extending a...
Shu-Chen Li, Michael Schellenbach, Ulman Lindenber...
75
Voted
DAGSTUHL
2007
15 years 1 months ago
Compiler-based Software Power Peak Elimination on Smart Card Systems
Abstract. RF-powered smart cards are widely used in different application areas today. For smart cards not only performance is an important attribute, but also the power consumed ...
Matthias Grumer, Manuel Wendt, Christian Steger, R...
94
Voted
DAGSTUHL
2007
15 years 1 months ago
Implementing RPO and POLO using SAT
Abstract. Well-founded orders are the most basic, but also most important ingredient to virtually all termination analyses. Numerous fully automated search algorithms for these cla...
Peter Schneider-Kamp, Carsten Fuhs, René Th...