Abstract
In this paper, we present a method for the formalization of probabilistic models of human-computer interaction (HCI) including user behavior. These models can then be used for the analysis and verification of HCI systems with the support of model checking tools. This method allows to answer probabilistic questions like "what is the probability that the user will unintentionally send confidential information to unauthorized recipients." And it allows to compute average interaction costs and answer questions like "how much time does a user on average need to send an email?"
Original language | English |
---|---|
Title of host publication | KI 2009 |
Subtitle of host publication | Advances in Artificial Intelligence - 32nd Annual German Conference on AI, Proceedings |
Publisher | Springer |
Pages | 687-694 |
Number of pages | 8 |
ISBN (Print) | 3642046169, 9783642046162 |
DOIs | |
Publication status | Published - 2009 |
Externally published | Yes |
Event | German Conference on Artificial Intelligence 2009 - Paderborn, Germany Duration: 15 Sept 2009 → 18 Sept 2009 Conference number: 32nd https://link.springer.com/book/10.1007/978-3-642-04617-9 (Website) |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 5803 LNAI |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | German Conference on Artificial Intelligence 2009 |
---|---|
Abbreviated title | KI 2009 |
Country/Territory | Germany |
City | Paderborn |
Period | 15/09/09 → 18/09/09 |
Internet address |