Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/77093
Citations | ||
Scopus | Web of Science® | Altmetric |
---|---|---|
?
|
?
|
Type: | Conference paper |
Title: | Probabilistic models for the verification of human-computer interaction |
Author: | Wagner, M. Beckert, B. |
Citation: | KI 2009: Advances in Artificial Intelligence: 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009, Proceedings (KI2009), 2009 / B. Mertsching, M. Hund, Z. Aziz (eds.): pp.687-694 |
Publisher: | Springer-Verlag |
Publisher Place: | Germany |
Issue Date: | 2009 |
Series/Report no.: | Lecture Notes in Computer Science ; 5803 |
ISBN: | 3642046169 9783642046162 |
ISSN: | 0302-9743 1611-3349 |
Conference Name: | Annual German Conference on Artificial Intelligence (32nd : 2009 : Paderborn, Germany) |
Editor: | Mertsching, B. Hund, M. |
Statement of Responsibility: | Bernhard Beckert and Markus Wagner |
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?" © 2009 Springer Berlin Heidelberg. |
Rights: | © Springer-Verlag Berlin Heidelberg 2009 |
DOI: | 10.1007/978-3-642-04617-9_86 |
Published version: | http://dx.doi.org/10.1007/978-3-642-04617-9_86 |
Appears in Collections: | Aurora harvest 4 Computer Science publications |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.