检索结果-内蒙古大学图书馆

21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023

作者： Liu, Ying Turrini, Andrea Hahn, Ernst Moritz Xue, Bai Zhang, Lijun State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China University of Chinese Academy of Sciences Beijing China Institute of Intelligent Software Guangzhou Guangzhou China Formal Methods and Tools University of Twente Enschede Netherlands

ISBN: (纸本)9783031453281

In this paper, we propose an approximating framework for analyzing parametric Markov models. Instead of computing complex rational functions encoding the reachability probability and the reward values of the parametric model, we exploit the scenario approach to synthesize a relatively simple polynomial approximation. The approximation is probably approximately correct (PAC), meaning that with high confidence, the approximating function is close to the actual function with an allowable error. With the PAC approximations, one can check properties of the parametric Markov models. We show that the scenario approach can also be used to check PRCTL properties directly – without synthesizing the polynomial at first hand. We have implemented our algorithm in a prototype tool and conducted thorough experiments. The experimental results demonstrate that our tool is able to compute polynomials for more benchmarks than state-of-the-art tools such as PRISM and Storm, confirming the efficacy of our PAC-based synthesis. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Polynomial approximation

来源：评论

学校读者我要写书评

暂无评论

Covid severity prediction: Who cares about the data quality?

Covid severity prediction: Who cares about the data quality?

引用

2022 International Conference on Frontiers of Information Technology, FIT 2022

作者： Nae, Teodora Krabbe, Johannes Bukhsh, Faiza Allah Jayasinghe Arachchige, Jeewanie Ahmed, Faizan University of Twente Faculty of Electrical Engineering Mathematics and Computer Science Enschede Netherlands Medische Spectrum Twente Enschede Netherlands University of Ruhuna Department of Computer Science Matara Sri Lanka University of Twente Formal Methods and Tools Group Enschede Netherlands

ISBN: (纸本)9798350345933

COVID-19 is an ongoing pandemic disrupting daily life and overwhelming the healthcare infrastructure. Since the outburst of the pandemic, researchers have used various techniques to predict many aspects of the disease, including mortality rate and severity. The reproducibility of this research is challenging due to varying methodologies used to collect data, data quality, vague description of methodological approach to training prediction models, over-relying on data imputation, and over-fitting. This paper focuses on these challenges and provides a short yet comprehensive review of research on COVID mortality and severity prediction. The emphasis is on the reproducibility of the results and data quality issues. To further elaborate on the issue, we report the development of severity prediction models using two data sets. CRISP-DM is used as a methodological approach. We analyze and criticize the quality of the used data sets and how they affect the performance and limitations of the trained models. We conclude this paper with comments on data quality issues, the importance of reproducibility, and suggestions to improve reproducibility. © 2022 IEEE.

关键词： COVID-19

来源：评论

学校读者我要写书评

暂无评论

Deriving Modernity Signatures for PHP Systems with Static Analysis

Deriving Modernity Signatures for PHP Systems with Static An...

引用

IEEE International Workshop on Source Code Analysis and Manipulation

作者： Wouter Van den Brink Marcus Gerhold Vadim Zaytsev Technical Computer Science University of Twente The Netherlands Formal Methods and Tools University of Twente The Netherlands

ISBN: (纸本)9781665496100

The PHP language has undergone many changes in its syntax and grammar, with respect to both features the language has to offer as well as the distribution of language features used by programmers in their projects. We present a novel method of using grammar usage statistics to calculate a modernity signature for a PHP system, so that we can determine its age. The system will aid developers in choosing whether or not to execute or use a PHP system, without having to perform an extensive inspection.

关键词： Source coding Static analysis Syntactics Inspection Grammar

来源：评论

学校读者我要写书评

暂无评论

It's a Match - Enhancing the Fit between Users and Phishing Training through Personalisation 25

It's a Match - Enhancing the Fit between Users and Phishing ...

引用

2025 CHI Conference on Human Factors in Computing Systems, CHI 2025

作者： Schöni, Lorin Roch, Neele Sievers, Hannah Strohmeier, Martin Mayer, Peter Zimmermann, Verena Security Privacy & Society Eth Zurich Zurich Switzerland Armasuisse Thun Switzerland Department of Mathematics and Computer Science University of Southern Denmark Odense Denmark Institute of Applied Informatics and Formal Description Methods Karlsruhe Institute of Technology Karlsruhe Germany Department of Humanities Social and Political Sciences Eth Zürich Zürich Switzerland

ISBN: (纸本)9798400713941

Effective training is essential for enhancing users' ability to detect phishing attempts. Personalised training offers huge potential to more closely align training content with individuals' needs and skill levels. In an online study, we assigned N=342 participants to personalised training or a random training variant to compare their effectiveness. The personalisation was based on a phishing proficiency score calculated from factors such as detection ability, knowledge, and security attitude. After training, the participants demonstrated greater proficiency, with an increased ability to detect phishing emails and higher security attitudes. These effects were most pronounced in the personalised condition, demonstrating the potential of personalisation to improve training outcomes. Overall, personalised training levelled the playing field, efficiently bringing all groups, regardless of their initial proficiency, to a comparable and desired post-training phishing proficiency level. Finally, we derived recommendations for designing personalised phishing training content and assigning users to suitable training programmes. © 2025 Copyright held by the owner/author(s).

关键词： Driver training

来源：评论

学校读者我要写书评

暂无评论

Can gamification help in software testing education? Findings from an empirical study

arXiv

引用

arXiv 2023年

作者： Blanco, Raquel Trinidad, Manuel Suárez-Cabal, María José Calderón, Alejandro Ruiz, Mercedes Tuya, Javier Software Engineering Research Group University of Oviedo Department of Computer Science Gijón Spain Software Process Improvement and Formal Methods Research Group University of Cadiz Department of Computer Science and Engineering Cádiz Spain

Software testing is an essential knowledge area required by industry for software engineers. However, software engineering students often consider testing less appealing than designing or coding. Consequently, it is difficult to engage students to create effective tests. To encourage students, we explored the use of gamification and investigated whether this technique can help to improve the engagement and performance of software testing students. We conducted a controlled experiment to compare the engagement and performance of two groups of students that took an undergraduate software testing course in different academic years. The experimental group is formed by 135 students from the gamified course whereas the control group is formed by 100 students from the non-gamified course. The data collected were statistically analyzed to answer the research questions of this study. The results show that the students that participated in the gamification experience were more engaged and achieved a better performance. As an additional finding, the analysis of the results reveals that a key aspect to succeed is the gamification experience design. It is important to distribute the motivating stimulus provided by the gamification throughout the whole experience to engage students until the end. Given these results, we plan to readjust the gamification experience design to increase student engagement in the last stage of the experience, as well as to conduct a longitudinal study to evaluate the effects of gamification. © 2023, CC BY-NC-ND.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Scenario Approach for Parametric Markov Models

arXiv

引用

arXiv 2023年

作者： Liu, Ying Turrini, Andrea Hahn, Moritz Xue, Bai Zhang, Lijun State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China University of Chinese Academy of Sciences China Institute of Intelligent Software Guangzhou China Formal Methods and Tools University of Twente Enschede Netherlands

关键词： Polynomial approximation

来源：评论

学校读者我要写书评

暂无评论

Covid severity prediction: Who cares about the data quality?

Covid severity prediction: Who cares about the data quality?

引用

Frontiers of Information Technology (FIT)

作者： Teodora Nae Johannes Krabbe Faiza Allah Bukhsh Jeewanie Jayasinghe Arachchige Faizan Ahmed Mathematics and Computer Science Faculty of Electrical Engineering University of Twente Enschede The Netherlands Medische Spectrum Twente Enschede The Netherlands Department of Computer Science University of Ruhuna Matara Sri Lanka Formal Methods and Tools Group University of Twente Enschede The Netherlands

ISBN: (纸本)9798350345940

关键词： COVID-19 Training Support vector machines Pandemics Data integrity Biological system modeling Medical services

来源：评论

学校读者我要写书评

暂无评论

Digital Twins for Energy-Efficient Manufacturing

Digital Twins for Energy-Efficient Manufacturing

引用

Annual IEEE Systems Conference

作者： Nader Mohamed Sanja Lazarova-Molnar Jameela Al-Jaroodi Department of Computer Science and Information Systems Pennsylvania Western University California PA USA Institute of Applied Informatics and Formal Description Methods Karlsruhe Institute of Technology Karlsruhe Germany Faculty of Engineering University of Southern Denmark Odense Denmark Department of Engineering Robert Morris University Pittsburgh PA USA

Some manufacturing industries consume massive energy for their manufacturing and logistics processes. The costs of manufacturing can increase significantly as the energy cost increases. Such increase amplifies the final cost of the created products on the consumers. This makes finding different approaches that utilize innovative technologies to improve energy efficiency in manufacturing extremely important. This paper investigates how digital twins can be utilized to enable improved energy efficiency in manufacturing. Different applications of digital twins for energy-efficient manufacturing are investigated. In addition, the paper discusses some challenges of utilizing digital twins for this purpose. A framework for utilizing digital twins for energy-efficient manufacturing is also discussed.

关键词： Manufacturing industries Costs Manufacturing processes Buildings Energy efficiency Raw materials Manufacturing

来源：评论

学校读者我要写书评

暂无评论

Business Process Model Patterns: Classification and Repository of Published Work

Business Process Model Patterns: Classification and Reposito...

引用

40 Years EMISA 2019

作者： Fellmann, Michael Koschmider, Agnes Laue, Ralf Schoknecht, Andreas Vetter, Arthur Institute of Computer Science University of Rostock Rostock Germany KIT Institute for Applied Informatics and Formal Description Methods Build. 5.20 Karlsruhe76133 Germany Department of Computer Science Westsächsische Hochschule Zwickau Zwickau Germany

ISBN: (纸本)9783885796985

Patterns have gained widespread interest and acceptance in various domains. Originating from architecture, patterns are nowadays also suggested as solution templates for various problems related to Business Process Management. Due to the abundance of pattern works, getting an overview on available works or searching for specific patterns can be very difficult. What is missing is an instrument for easy exploration and search. To mitigate this problem, we classified published works on pattern and developed a repository for business process model pattern works. The repository is publicly available and enables browsing and filtering of pattern works according to criteria recently developed by analyzing 280 pattern works. © 2020 Gesellschaft fur Informatik (GI). All rights reserved.

关键词： Business Process Management Pattern Repository Process Model Patterns

来源：评论

学校读者我要写书评

暂无评论

Computing curved area labels in near-real time

arXiv

引用

arXiv 2020年

作者： Krumpe, Filip Mendel, Thomas University of Stuttgart Stuttgart Germany Institut of Formal Methods in Computer Science - Algorithmic Group

In the Area Labeling Problem one is after placing the label of a geographic area. Given the outer boundary of the area and an optional set of holes. The goal is to find a label position such that the label spans the area and is conform to its shape. The most recent research in this field from Barrault in 2001 proposes an algorithm to compute label placements based on curved support lines. His solution has some drawbacks as he is evaluating many very simi- lar solutions. Furthermore he needs to restrict the search space due to performance issues and therefore might miss interesting solutions. We propose a solution that evaluates the search space more broadly and much more e°cient. To achieve this we compute a skeleton of the polygon. The skeleton is pruned such that edges close to the boundary polygon are removed. In the so pruned skeleton we choose a set of candi- date paths to be longest distinct subpaths of the graph. Based on these candidates the label support lines are computed and the label positions evaluated.68U05, 68U35 Copyright © 2020, The Authors. All rights reserved.

关键词： Musculoskeletal system

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：