Sciweavers

150 search results - page 10 / 30
» enter 2007
Sort
View
FSE
2007
Springer
87views Cryptology» more  FSE 2007»
14 years 1 months ago
On the Security of IV Dependent Stream Ciphers
CryptMT v3 is a stream cipher submitted to eStream project, and has entered the third evaluation phase. Any attack has not been found until now. In this paper, we mainly discuss th...
Côme Berbain, Henri Gilbert
FSEN
2007
Springer
14 years 1 months ago
Adapting the UPPAAL Model of a Distributed Lift System
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
Wan Fokkink, Allard Kakebeen, Jun Pang
HUC
2007
Springer
14 years 1 months ago
"My Roomba Is Rambo": Intimate Home Appliances
Robots have entered our domestic lives, but yet, little is known about their impact on the home. This paper takes steps towards addressing this omission, by reporting results from ...
Ja-Young Sung, Lan Guo, Rebecca E. Grinter, Henrik...
MHCI
2007
Springer
14 years 1 months ago
Effective learn-quiz generation for handheld devices
In this demonstration, we present a system that enables users to easily generate quizzes for mobile devices. With our program, they can create multiple choice tests and general qu...
Wolfgang Hürst, Sabine Jung, Martina Welte
IBPRIA
2007
Springer
13 years 11 months ago
On-Line Classification of Human Activities
In this paper we address the problem of on-line recognition of human activities taking place in a public area such as a shopping center. We consider standard activities; namely, en...
Jacinto C. Nascimento, Mário A. T. Figueire...