3251 search results - page 357 / 651 » Dynamic User Modeling for Sketch-Based User Interface |
143
Voted
GI
2010
Springer
15 years 1 months ago
2010
Springer
: paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastruct...
136
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Menus are a primary control in current interfaces, but there has been relatively little theoretical work to model their performance. We propose a model of menu performance that go...
135
Voted
SIGCOMM
2009
ACM
15 years 10 months ago
2009
ACM
For wireless mobile Internet users the length of the battery life is one of the most important performance factors. The energy efficiency of the data transmission over radio is a ...
126
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we introduce a formal-language model for explicitly formalizing agent-environment interaction in a multiagent systems (MAS) framework: Conversational Grammar System...
132
click to vote
NORDSEC
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we report the results of the formal analysis performed on the Estonian Mobile-ID protocol (deployed since 2008), allowing citizens and permanent residents of Estonia...