805 search results - page 35 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
132
click to vote
CHI
2011
ACM
14 years 6 months ago
2011
ACM
People routinely rely on Internet search engines to support their use of interactive systems: they issue queries to learn how to accomplish tasks, troubleshoot problems, and other...
106
click to vote
CHI
1997
ACM
15 years 7 months ago
1997
ACM
An ecological-cognitive framework of analysis and a model-tracing architecture are presented and used in the analysis of data recorded from users browsing a large document collect...
119
click to vote
FORMATS
2003
Springer
15 years 8 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
109
click to vote
JUCS
2006
15 years 2 months ago
2006
Abstract: We present two probabilistic leader election algorithms for anonymous unidirectional rings with FIFO channels, based on an algorithm from Itai and Rodeh [Itai and Rodeh 1...
128
click to vote
FAC
2007
15 years 2 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...