Problems of human-computer interaction modelling are considered in this paper. The aim was the quality evaluation of the user activity. The need of performing such evaluations occurs in the case of computer systems design, destined for control of complex processes, as well as devices being commonly in use. The simplest models are designed to calculate basic characteristics of the user activity, i.e. the command entering time and the command correct execution probability. The theory of Markov chains with rewards is the basis for constructing these models. The use of the elaborated model is shown on an example of simple command entering
We describe a quantitative model for the performance evaluation of interactive computer systems. The...
This paper studies the input design problem for system identification where time domain constraints ...
In this paper, we use graph theory and Markov chain methods to determine the quality of a software p...
Markov chains are one of the most popular models for the evaluation of performance and dependability...
described the problem of modeling the behavior of a typical user of an electronic information system...
Markov chains (and their extensions with rewards) have been widely used to determine performance, de...
In this paper, we present a method for the formalization of probabilistic models of human-computer i...
Abstract. We propose a family of new evaluation measures, called Markov Precision (MP), which exploi...
Abstract. Markovian models have been used for about a century now for the evaluation of the performa...
Abstract. Markov chains (and their extensions with rewards) have been widely used to determine perfo...
Computer systems are increasingly used in applications where the consequences of failure vary from f...
The paper deal with devoting the problem of reliability prediction and modeling the functioning proc...
Abstract. In this paper, we present a method for the formalization of probabilistic models of human-...
Markov chains are one of the most popular models for the evaluation of performance and dependability...
This paper describes efficient procedures for model checking Markov reward models, that allow us to ...
We describe a quantitative model for the performance evaluation of interactive computer systems. The...
This paper studies the input design problem for system identification where time domain constraints ...
In this paper, we use graph theory and Markov chain methods to determine the quality of a software p...
Markov chains are one of the most popular models for the evaluation of performance and dependability...
described the problem of modeling the behavior of a typical user of an electronic information system...
Markov chains (and their extensions with rewards) have been widely used to determine performance, de...
In this paper, we present a method for the formalization of probabilistic models of human-computer i...
Abstract. We propose a family of new evaluation measures, called Markov Precision (MP), which exploi...
Abstract. Markovian models have been used for about a century now for the evaluation of the performa...
Abstract. Markov chains (and their extensions with rewards) have been widely used to determine perfo...
Computer systems are increasingly used in applications where the consequences of failure vary from f...
The paper deal with devoting the problem of reliability prediction and modeling the functioning proc...
Abstract. In this paper, we present a method for the formalization of probabilistic models of human-...
Markov chains are one of the most popular models for the evaluation of performance and dependability...
This paper describes efficient procedures for model checking Markov reward models, that allow us to ...
We describe a quantitative model for the performance evaluation of interactive computer systems. The...
This paper studies the input design problem for system identification where time domain constraints ...
In this paper, we use graph theory and Markov chain methods to determine the quality of a software p...