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

arXiv 2025年

作者： Yu, Qixian Cao, Zining Hui, Zong Zhou, Yuan College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing211106 China Ministry Key Laboratory for Safety-Critical Software Development and Verification Nanjing211106 China Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing210023 China Faculty of Computer and Software Engineering Huaiyin Institute Of Technology Huaian223001 China

This paper presents a comprehensive framework for modeling and verifying multi-agent systems. The paper introduce an Epistemic Process Calculus for multi-agent systems, which formalizes the syntax and semantics to capture the essential features of agent behavior interactions and epistemic states. Building upon this calculus, we propose ATLE, an extension of Alternating-time Temporal Logic incorporating epistemic operators to express complex properties related to agent epistemic state. To verify ATLE specifications, this paper presents a model checking algorithm that systematically explores the state space of a multi-agent system and evaluates the satisfaction of the specified properties. Finally, a case study is given to demonstrate the method. © 2025, CC BY.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Classification and Evaluation Framework of Automated testing tools for agile software: Technical Review

Classification and Evaluation Framework of Automated testing...

引用

Emerging Smart Technologies and Applications (eSmarTA), International Conference on

作者： Mogeeb A.A. Moseh Nashwan Ameen Al-Khulaidi Abdu H. Gumaei Ayman Alsabry Ali A. A. Musleh Software Engineering Dept Faculty of Engineering & Information Technology Taiz University Taiz Yemen Industrial Dept. Engineering Dep Faculty of Engineering & Information Technology Taiz Univerity Taiz Yemen Computer Science Dept. College of Computer Engineering and Sciences Prince Sattam bin Abdulaziz University Al-Kharj Saudi Arabia Department of Computer Science International University of Technology Twintech Sana’a Yemen Faculty of Computer Science & Information Technology International University of Technology Twintech Sana’a Yemen

ISBN: (数字)9798350354133

ISBN: (纸本)9798350354140

Test automation is crucial for agile software projects to enable frequent delivery of working software with cost and time and minimal bugs. However, selecting the right automated testing tool is considered challenging due to the wide range of such existing tools. Additionally, the challenges occur clearly due to several issues such as the programming code language, the categorization of the developed system, and the tester’s knowledge and skills. This paper aims to address this gap by proposing an evaluation framework for comparing and classifying the existing automated testing tools used in agile projects. The framework is developed based on an extensive literature review of existing agile testing methodologies and common commercial automation testing techniques. The key criteria for tool evaluation are identified to cover the main testing objective aspects such as test design support, testing interfaces, reporting capabilities, etc. These criteria are considered the core methodology for this study used to analyze and compare the popular open-source and commercial tools. The proposed evaluation framework provides agile practitioners with guidelines to assist in selecting the appropriate tools based on their specific project needs such as budget, timelines, and technical expertise. This study is considered a comparative evaluation of existing agile testing tools to highlight their key strengths and limitations. The findings of this study categorized the testing tools based on the interface, code, design, and report features. This research contributes to assisting the project developer and tester in selecting suitable tools for the adoption of automated testing tools in their agile software projects. It also identifies the direction for future work, such as integrations with modern development methodologies and technologies.

关键词： Codes Automation Reviews Agile software development Programming software software measurement

来源：评论

学校读者我要写书评

暂无评论

Cloud-Assisted Secure and Cost-Effective Authenticated Solution for Remote Wearable Health Monitoring System

引用

IEEE Transactions on Network Science and engineering 2023年第5期10卷 2710-2718页

作者： Mahmood, Khalid Obaidat, Mohammad S. Ghaffar, Zahid Alzahrani, Bander A. Shamshad, Salman Saleem, Muhammad Asad Hussain, Shafiq Lahore Campus Lahore55150 Pakistan University of Padua Department of Mathematics Padua35131 Italy University of Jordan KASIT Amman11942 Jordan University of Science and Technology Beijing100083 China Barani Institute of Sciences Department of Computer Science Sahiwal57000 Pakistan King Abdulaziz University Faculty of Computing and Information Technology Jeddah Saudi Arabia The University of Lahore Department of Software Engineering Lahore54590 Pakistan COMSATS University Islamabad Department of Computer Science Sahiwal Campus Sahiwal57000 Pakistan University of Sahiwal Department of Computer Science Sahiwal57000 Pakistan

Security and privacy are the leading solicitude in cloud computing since users have restricted privilege on the data maintained by distinct service providers at remote locations. The situation becomes more strenuous when a huge amount of data is sensed and produced by wearable devices as it is usually considered more sensitive and heterogeneous. The majority of existing authenticated solutions for such a challenging environment either suffer due to high computation and communication costs or due to the fact that they are susceptible to known cyber threats making them impractical for utilization. Therefore we introduced a cost-effective and secure authenticated scheme for the cloud-assisted remote wearable health monitoring system. Informal security proof is discussed to showcase the security strength of the proposed scheme against known security threats. After that a detailed performance analysis of the proposed scheme with related protocols reveals the fact that it can reduce the computation and communication costs by more than 37% and 40%, respectively. Moreover, our scheme offers some added security features like physical and desynchronization attacks prevention. © 2013 IEEE.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

Scaling down to scale up: benchmarking single-machine graph processing frameworks in a hardware-constrained environment

引用

Computing 2025年第7期107卷 1-25页

作者： Loukil, Mariem Sfaxi, Lilia Robbana, Riadh Software Engineering Department Mediterranean Institute of Technology South Mediterranean University Tunis Tunisia LIPSIC Laboratory Faculty of Science of Tunis (FST) University of Tunis El Manar Tunis Tunisia Department of Computer Science Engineering and Mathematics INSAT University of Carthage Tunis Tunisia

Graph processing frameworks are pivotal in managing the increasing complexity and size of datasets in numerous computational fields. However, the performance of these frameworks can vary significantly depending on their design and the specific conditions under which they are tested. This paper presents a comprehensive benchmarking study of six single-machine graph processing frameworks: GraphChi, Ligra, X-stream, MMap, GridGraph, and GPOP across a variety of datasets and graph processing algorithms, and on a consumer-level machine. In the evaluation of the frameworks, several performance metrics were used, which are execution time, CPU, and memory usage, as well as qualitative metrics, such as ease of use and comprehensive documentation which contribute to determining each framework’s practical effectiveness. Our findings indicate that no single framework excels in all aspects; instead, each framework demonstrates strengths and weaknesses that are context-dependent. By evaluating frameworks in a unified environment rather than their original setups, the study explores which frameworks perform more effectively under comparable conditions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Study of Synthetic Double Sampling np Chart Based on Median Run Length 3

A Study of Synthetic Double Sampling np Chart Based on Media...

引用

3rd International Conference on Artificial Intelligence and Data Sciences, AiDAS 2022

作者： Tuh, Moi Hua Kon, Cynthia Mui Lian Chua, Hong Siang Lau, Man Fai Hui Chang, Robin Yee Swinburne University of Technology Faculty of Engineering Computing and Science Sarawak Kuching Malaysia Universiti Teknologi Mara Faculty of Computer and Mathematical Sciences Sarawak Kota Samarahan Malaysia School of Software and Electrical Engineering Swinburne University of Technology Melbourne Australia Universiti Teknologi Mara Faculty of Applied Sciences Sarawak Kota Samarahan Malaysia

ISBN: (数字)9781665491648

ISBN: (纸本)9781665491648

The Markov chain method has been adopted in this work to evaluate the performance of the synthetic double sampling (SynDS) np chart, which combines the double sampling (DS) np sub-chart and the conforming run length (CRL) sub-chart. In the literature, the performance of the existing SynDS np chart is investigated using average run length (ARL). It is found that the skewness of the run length (RL) distribution varies depending on the size of shift in the process fraction nonconforming, from being significantly right-skewed when the process is in-control (IC) or small shift to being nearly symmetric when the process shift is large. As a result, the true performance of the chart may differ from what the ARL displays. Thus, median run length (MRL) is recommended to represent the central tendency associated with the varying shapes of the RL distribution in accordance to the process shift sizes. This work suggests an optimal design approach for SynDS np chart based on MRL to monitor the process fraction nonconforming, under zero-state and steady-state modes. © 2022 IEEE.

关键词： Control charts

来源：评论

学校读者我要写书评

暂无评论

Resource provisioning in collaborative fog computing for multiple delay-sensitive users

Resource provisioning in collaborative fog computing for mul...

引用

作者： Lu, Shuaibing Wu, Jie Wang, Ning Duan, Yubin Liu, Haiming Zhang, Jiayue Fang, Juan Faculty of Information Technology Beijing University of Technology Beijing China Center for Networked Computing Temple University PhiladelphiaPA United States Department of Computer Science Rowan University GlassboroNJ United States School of Software Engineering Beijing Jiaotong University Beijing China

Fog computing is an emerging paradigm that supplies storage, computation, and networking resources between traditional cloud data centers and end devices. This article focuses on the resource provisioning problem in collaborative fog computing for multiple delay-sensitive users. Our goal is to implement a resource provisioning strategy for network operators to minimize the total monetary cost by considering the deadline and capacity constraints. Two scenarios are considered: unlimited-processor fog nodes (UPFN) and limited-processor fog nodes (LPFN). In either scenario, we prove that the resource provisioning problem is NP-hard. First, we consider the UPFN scenario that the processors of fog nodes are unlimited and users' requests can be ideally processed in parallel. Two algorithms are proposed which greedily delete fog nodes based on the local or global collaborative influences until there is no feasible provisioning to guarantee the deadline of users. Then we extend the resource provisioning problem to a more realistic and complicated scenario LPFN in which the scheduling delay cannot be ignored. Two types of tasks are considered. One is the arbitrarily divided tasks, and a near-optimal solution bounded by (Formula presented.) has been found. m is the number of fog nodes, and (Formula presented.) is the upper bound on the Lipschitz constant of the delay function. Another one is the application-driven tasks, and we propose a heuristic algorithm. Extensive experiments validate the efficiency of the proposed algorithms. © 2021 John Wiley & Sons, Ltd.

关键词： Fog

来源：评论

学校读者我要写书评

暂无评论

Vibrating Particles System Algorithm for Solving Classification Problems

引用

computer Systems Science & engineering 2022年第12期43卷 1189-1206页

作者： Mohammad Wedyan Omar Elshaweesh Enas Ramadan Ryan Alturki Department of Autonomous Systems Faculty of Artificial IntelligenceAl-Balqa Applied UniversityAl-Salt19117Jordan Department of Software Engineering Information Technology CollegeAL-Hussein bin Talal UniversityMa’an71111Jordan Department of Computer Science Prince Abdullah Bin Ghazi Faculty of Communication and Information TechnologyAl-Balqa Applied UniversityAl-Salt19117Jordan Department of Information Science College of Computer and Information SystemsUmm Al-Qura UniversityMakkah21961Saudi Arabia

Big data is a term that refers to a set of data that,due to its largeness or complexity,cannot be stored or processed with one of the usual tools or applications for data management,and it has become a prominent word in recent years for the massive development of *** immediately thereafter,the term“big data mining”emerged,i.e.,mining from big data even as an emerging and interconnected field of *** is an important stage in data mining since it helps people make better decisions in a variety of situations,including scientific endeavors,biomedical research,and industrial *** probabilistic neural network(PNN)is a commonly used and successful method for handling classification and pattern recognition *** this study,the authors proposed to combine the probabilistic neural network(PPN),which is one of the data mining techniques,with the vibrating particles system(VPS),which is one of the metaheuristic algorithms named“VPS-PNN”,to solve classi-fication problems more *** data set is eleven common benchmark medical datasets from the machine-learning library,the suggested method was *** suggested VPS-PNN mechanism outperforms the PNN,biogeography-based optimization,enhanced-water cycle algorithm(E-WCA)and the firefly algorithm(FA)in terms of convergence speed and classification accuracy.

关键词： Vibrating particles system(VPS) probabilistic neural network(PNN) classification problem data mining

来源：评论

学校读者我要写书评

暂无评论

Modeling of Sensor Enabled IrrigationManagement for Intelligent Agriculture Using Hybrid Deep Belief Network

引用

computer Systems Science & engineering 2023年第8期46卷 2319-2335页

作者： Saud Yonbawi Sultan Alahmari B.R.S.S.Raju Chukka Hari Govinda Rao Mohamad Khairi Ishak Hend Khalid Alkahtani JoséVarela-Aldás Samih M.Mostafa Department of Software Engineering College of Computer Science and EngineeringUniversity of JeddahJeddahSaudi Arabia King Abdul Aziz City for Science and Technology RiyadhKingdom of Saudi Arabia Aditya Engineering College Affiliated to JNTUK(Kakinada) SurampalemIndia Department of MBA Vignan’s Institute of Information and Technology(A)DuvvadaVisakhapatnamAP530049India School of Electrical and Electronic Engineering Engineering CampusUniversiti Sains Malaysia(USM)Nibong TebalPenang14300Malaysia Department of Information Systems College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityRiyadh11564Saudi Arabia SISAu Research Group Universidad Tecnológica IndoaméricaAmbato180103Ecuador Faculty of Computers and Information South Valley UniversityQena83523Egypt

Artificial intelligence(AI)technologies and sensors have recently received significant interest in intellectual *** the application of AI technologies and agriculture sensors in intellectual agriculture is urgently required for the growth of modern agriculture and will help promote smart *** irrigation scheduling systems were highly required in the agricultural field due to their capability to manage and save water deficit irrigation *** learning systems devise an alternative to conventional irrigation management through the automatic elaboration of predictions related to the learning of an *** this motivation,this study develops a modified black widow optimization with a deep belief network-based smart irrigation system(MBWODBN-SIS)for intelligent *** MBWODBN-SIS algorithm primarily enables the Internet of Things(IoT)based sensors to collect data forwarded to the cloud server for examination ***,the MBWODBN-SIS technique applies the deep belief network(DBN)model for different types of irrigation classification:average,high needed,highly not needed,and not *** MBWO algorithm is used for the hyperparameter tuning process.A wideranging experiment was conducted,and the comparison study stated the enhanced outcomes of the MBWODBN-SIS approach to other DL models with maximum accuracy of 95.73%.

关键词： Agriculture smart farming hyperparameter tuning artificial intelligence irrigation management sensors deep learning

来源：评论

学校读者我要写书评

暂无评论

Intelligent-Based Extraction of Business Capabilities from Company Descriptions

Intelligent-Based Extraction of Business Capabilities from C...

引用

International Conference on Information Technology, Information Systems and Electrical engineering (ICITISEE)

作者： Faisal Fahmi Siti Hafizah Ab Hamid Imam Yuadi Department of Library and Information Science Faculty of Political and Social Science Airlangga University Department of Software Engineering Faculty of Computer Science & Information Technology Universiti Malaya

In the era of Big Data, Information can be generated, extracted, and utilized in diverse ways. In business, information about business capabilities can be a crucial aspect in understanding the strengths and competencies of organizations. This Information can empower stakeholders to make informed decisions regarding partnerships, acquisitions, and market positioning. Additionally, by comparing capabilities across companies and industries, organizations can identify their competitive advantages, industry trends, potential disruptions, and effective resource allocations, leading to improved strategies and better market opportunities. Traditional methods for extracting business capabilities primarily rely on keyword matching or rule-based techniques, which often fail to capture the complex relationships between words in a sentence. This paper presents a comprehensive study on extracting business capabilities using dependency parsing techniques in natural language processing (NLP) to overcome limitations of the traditional methods and improve the accuracy of business capability extraction. Dependency parsing utilizes pre-trained language models to analyze the grammatical structure of sentences, identifying the dependencies between words and capturing their relationships. The feasibility and effectiveness of the proposed approach is demonstrated through experiments conducted on more than 40K real-world company descriptions crawled from Wikipedia.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Domain-Specific Scientific Impact and its Prediction

Domain-Specific Scientific Impact and its Prediction

引用

2021 International Conference on Artificial Intelligence, ICAI 2021

作者： Amjad, Tehmina International Islamic University Faculty of Basic and Applied Sciences Department of Computer Science and Software Engineering Islamabad44000 Pakistan

ISBN: (纸本)9781665432931

In today's interdisciplinary research society where researchers are interested to participate in more than one discipline and they collaborate across disciplines, it is essential to understand the domain-specific impact of scholars. This study explores the impact of scholars who work in multiple disciplines and predicts scientific impact using multiple features. A Miner dataset is selected as a testbed and 10 sub-domains of computer science are analyzed. Despite today's cross-discipline collaboration trend, there is a high number of scholars who work in a single domain as compared to those who work in multiple domains. Results show that among the 10 disciplines of computer science, 'Network Control' gained high impact in terms of received citations. Various features are used to predict the future impact and 'total papers' yield the highest R2 value followed by 'topic-based citations' and 'total citations'. © 2021 IEEE.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：