805 search results - page 30 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
122
Voted
EUROMICRO
2007
IEEE
15 years 4 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
103
click to vote
CHI
2002
ACM
16 years 3 months ago
2002
ACM
We propose a formal experimental paradigm designed to help evaluate scrolling interaction techniques. Such a method is needed by interaction designers to quantify scrolling perfor...
117
click to vote
HCI
2009
15 years 21 days ago
2009
Hierarchies have long been used as useful structuring mechanisms for organizing and managing documents. This study looks at the problem of personal digital document management in t...
139
click to vote
FORMATS
2003
Springer
15 years 8 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
138
click to vote
ENTCS
2007
15 years 2 months ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...