4592 search results - page 17 / 919 » Framework for Studying Substitution |
ICCHP
2010
Springer
13 years 11 months ago
2010
Springer
We present a framework to adapt software to the needs of individuals with severe motion disabilities who use mouse substitution interfaces. Typically, users are required to adapt t...
CTRSA
2008
Springer
13 years 9 months ago
2008
Springer
We present a study of several fault attacks against the block cipher IDEA. Such a study is particularly interesting because of the target cipher's specific property to employ ...
TIM
2011
13 years 1 months ago
2011
Abstract—Recently, much research in the area of haptic technologies has focused on the development of waist-worn vibrotactile belts as substitution or augmentation modalities for...
ECOOP
1998
Springer
13 years 11 months ago
1998
Springer
In this paper we study the fragile base class problem. This problem occurs in open object-oriented systems employing code inheritance as an implementation reuse mechanism. System d...
TYPES
2007
Springer
14 years 1 months ago
2007
Springer
This paper gives a characterisation, via intersection types, of the strongly normalising terms of an intuitionistic sequent calculus (where LJ easily embeds). The soundness of the ...