Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
复制标题
系统的定量评估
DOI：
10.1007/978-3-319-10696-0_11
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Andrei O
中科院分区：
文献类型：
--
作者：
Andrei O
软件开发人员不能总是预测用户将如何实际使用他们的软件，因为它可能因用户而异，甚至因单个用户的使用而异。为了解决系统开发人员和评估人员提出的关于软件使用的问题，我们定义了新的概率模型，基于从实际记录的用户痕迹推断的活动模式来描述用户行为。我们在概率模型检查器中对这些新模型进行编码，并使用概率时间逻辑来深入了解软件的使用情况。我们通过对iOS应用程序的记录用户痕迹的应用程序来激励和说明我们的方法。
Software developers cannot always anticipate how users will actually use their software as it may vary from user to user, and even from use to use for an individual user. In order to address questions raised by system developers and evaluators about software usage, we define new probabilistic models that characterise user behaviour, based on activity patterns inferred from actual logged user traces. We encode these new models in a probabilistic model checker and use probabilistic temporal logics to gain insight into software usage. We motivate and illustrate our approach by application to the logged user traces of an iOS app.
登录
查看更多内容
基于矩的分布估计的统一方法 - Unbounded Support
影响因子：
3.7
作者：
Á. Tari;M. Telek;P. Buchholz
通讯作者：
P. Buchholz
影响因子：
4
作者：
Engblom, Stefan
通讯作者：
Engblom, Stefan
空间分布式集体自适应系统的自动矩收敛逼近
DOI：
10.1145/2883608
发表时间：
2016
期刊：
ACM Transactions on Modeling and Computer Simulation (TOMACS)
影响因子：
--
作者：
Cheng Feng;J. Hillston;Vashti Galpin
通讯作者：
Vashti Galpin
基于行程数据的自行车租赁计划到达预测
DOI：
10.1007/978-3-642-39408-9_16
发表时间：
2013
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Marcel C. Guenther;J. Bradley
通讯作者：
J. Bradley
机器人举重 通过直接政策搜索
DOI：
--
发表时间：
2001
期刊：
International Joint Conference on Artificial Intelligence
影响因子：
--
作者：
M. Rosenstein;A. Barto
通讯作者：
A. Barto