805 search results - page 46 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
151
click to vote
JUCS
2000
15 years 2 months ago
2000
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...
134
click to vote
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
123
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
109
click to vote
CHI
2008
ACM
16 years 3 months ago
2008
ACM
This study investigates the context of interactions of IT security practitioners, based on a qualitative analysis of 30 interviews and participatory observation. We identify nine ...
103
click to vote
ICWL
2009
Springer
15 years 22 days ago
2009
Springer
Abstract. The paper describes a complex e-learning experiment that has involved over 700 students that attended the Human-Computer Interaction course at the "Politehnica"...