6434 search results - page 984 / 1287 » Model Transformations with Reference Models |
136
click to vote
HRI
2007
ACM
15 years 8 months ago
2007
ACM
This paper presents a proof-of-concept of a robot that is adapting its behaviour on-line, during interactions with a human according to detected play styles. The study is part of ...
138
click to vote
CHES
2006
Springer
15 years 8 months ago
2006
Springer
Recent research has shown that cryptographers with glitches are vulnerable in front of Side Channel Attacks (SCA). Since then, several methods, such as Wave Dynamic Differential Lo...
132
click to vote
EDOC
2004
IEEE
15 years 8 months ago
2004
IEEE
The era of distributed systems is upon us. Middlewarespecific concerns, and especially the distribution concern, which is the core of any middleware-mediated application, are addr...
150
click to vote
CTRSA
2006
Springer
15 years 8 months ago
2006
Springer
Bellare, Canetti and Krawczyk proposed a security model (BCK-model) for authentication and key exchange protocols in 1998. The model not only reasonably captures the power of pract...
113
click to vote
EKAW
2006
Springer
15 years 8 months ago
2006
Springer
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...