Sciweavers

7720 search results - page 432 / 1544
» A Model for Interface Groups
Sort
View
ACISP
2010
Springer
15 years 8 months ago
Attribute-Based Authenticated Key Exchange
We introduce the concept of attribute-based authenticated key exchange (AB-AKE) within the framework of ciphertext policy attribute-based systems. A notion of AKE-security for AB-A...
M. Choudary Gorantla, Colin Boyd, Juan Manuel Gonz...
IUI
2010
ACM
16 years 3 months ago
Mobia Modeler: easing the creation process of mobile applications for non-technical users
The development of mobile applications has now extended from mobile network providers into the hands of ordinary people as organizations and companies encourage people to come up ...
Florence T. Balagtas-Fernandez, Max Tafelmayer, He...
IUI
2010
ACM
16 years 3 months ago
An adaptive calendar assistant using pattern mining for user preference modelling
In this paper, we present SmartCal, a calendar assistant that suggests appointment attributes, such as time, day, duration, etc., given any combination of initial user input attri...
Alfred Krzywicki, Wayne Wobcke, Anna Wong
EICS
2009
ACM
16 years 1 months ago
A bisimulation-based approach to the analysis of human-computer interaction
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
Sébastien Combéfis, Charles Pecheur
UAIS
2008
72views more  UAIS 2008»
15 years 6 months ago
Sign language applications: preliminary modeling
For deaf persons to have ready access to information and communication technologies (ICTs), the latter must be usable in sign language (SL), i.e. include interlanguage interfaces....
Annelies Braffort, Patrice Dalle