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

8th International Conference on Engineering of computer-Based systems, ECBS 2023

作者： Busch, Daniel Bainczyk, Alexander Steffen, Bernhard Department of Computer Science Chair for Programming Systems TU Dortmund University Dortmund44227 Germany

ISBN: (纸本)9783031492518

In this paper we show how our approach of extending Language Driven Engineering (LDE) with natural language-based code generation supports system migration: The characteristic decomposition of LDE into tasks that are solved with dedicated domain-specific languages divides the migration tasks into portions adequate to apply LLM-based code generation. We illustrate this effect by migrating a low-code/no-code generator for point-and-click adventures from JavaScript to TypeScript in a way that maintains an important property: generated web applications can automatically be validated via automata learning and model analysis by design. In particular, this allows to easily test the correctness of migration by learning the difference automaton for the generated products of the source and the target system of the migration. © 2024, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages 1st

ChatGPT in the Loop: A Natural Language Extension for Dom...

引用

1st International Conference on Bridging the Gap between AI and Reality, AISoLA 2023

作者： Busch, Daniel Nolte, Gerrit Bainczyk, Alexander Steffen, Bernhard Department of Computer Science Chair for Programming Systems TU Dortmund University Dortmund44227 Germany

ISBN: (纸本)9783031460012

This paper presents an approach to no-code development based on the interplay of formally defined (graphical) Domain-Specific Languages and informal, intuitive Natural Language which is enriched with contextual information to enable referencing of formally defined entities. The paper focuses on the use and automated integration of these enriched intuitive languages via ChatGPT-based code generation to exploit the best of both language paradigms for domain-specific application development. To compensate for the lack of control over the intuitive languages we apply automated system-level validation via automata learning and subsequent model checking. All this is illustrated using the development of point-and-click adventures as a minimal viable example. © 2024, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Automata Learning Language-driven Engineering Large Language Models Low-Code/No-Code Prompt Engineering Software Engineering Verification Web Application

来源：评论

学校读者我要写书评

暂无评论

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+ 54

WIP: An Engaging Undergraduate Intro to Model Checking in So...

引用

54th IEEE Frontiers in Education Conference, FIE 2024

作者： Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Loyola University Software and Systems Laboratory Department of Computer Science Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany

ISBN: (纸本)9798350351507

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one's undergraduate studies, (3) demonstrate how to address successive 'failuresy' through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding TLA+ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in TLA+ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudinal analysis within our own institution and

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Modeling Local Demand for Mobile Spectrum: An Interpretable Machine Learning Approach

IEEE Open Journal of the Communications Society

引用

IEEE Open Journal of the Communications Society 2025年 6卷 4063-4082页

作者： Parekh, Janaki Yackoboski, Elizabeth Ghasemi, Amir Yanikomeroglu, Halim Communications Research Centre Canada Department of Data Science OttawaONK2H 8S2 Canada Carleton University Department of Systems and Computer Engineering OttawaONK1S 5B6 Canada

With the expansion of 5G networks and the ongoing development of future 6G networks, the demand for mobile spectrum is expected to continue to grow, particularly at a local level. In response, spectrum regulators globally are exhibiting growing interest in enhancing their understanding of current mobile spectrum demand. The goal is twofold: to maximize the socioeconomic benefits of this finite resource and to ensure that spectrum policy and licensing decisions continue to drive innovation within the wireless industry. Despite its importance, research in modeling mobile spectrum demand has been notably scarce, particularly at the granularity required in the spectrum regulatory domain. To address this gap, this paper presents a data-driven approach to estimate localized mobile spectrum demand within the context of spectrum regulation. A novel demand proxy is first introduced, derived from a large and diverse dataset of crowdsourced commercial mobile measurements. Subsequently, spectrum demand modeling is formulated as a regression task and a variety of classical machine learning models are explored, leveraging publicly available geospatial data as input features. The top-performing model successfully achieves an R2 of 0.76 and a Root Mean Square Error of 51.02 on the hold-out test set. Finally, a machine learning interpretability technique is applied to demonstrate how these models can be used for regulatory decision-making, particularly in scenarios requiring transparency and accountability. © 2020 IEEE.

关键词： 5G mobile communication systems

来源：评论

学校读者我要写书评

暂无评论

Boosting speech recognition performance: a robust and accurate ensemble method based on HMMs

引用

International Journal of Intelligent systems Technologies and Applications 2024年第1期22卷 41-76页

作者： Hazmoune, Samira Bougamouza, Fateh Mazouzi, Smaine Benmohammed, Mohamed Department of Computer Science Faculty of Sciences University of 20 Août 1955-Skikda Skikda Algeria Department of Software Technologies and Information Systems Faculty of New Technologies of Information and Communication University Constantine 2 Constantine Algeria

In this paper, we propose an ensemble method based on hidden Markov models (HMMs) for speech recognition. Our objective is to reduce the impact of the initial setting of training parameters on the final model while improving accuracy and robustness, particularly in speaker independent systems. The main idea is to exploit the sensitivity of HMMs to the initial setting of training parameters, thus creating diversity among the ensemble members. Additionally, we perform an experimental study to investigate the potential relationship between initial training parameters and ten diversity measures from literature. The proposed method is assessed on a standard dataset from the UCI machine-learning repository. Results demonstrate its effectiveness in terms of accuracy and robustness to intra-class variability, surpassing basic classifiers (HMM, KNN, NN, SVM) and some previous works in the literature including those using deep learning algorithms such as convolutional neural networks (CNNs) and long short-term memory (LSTM). Copyright © 2024 Inderscience Enterprises Ltd.

关键词： Hidden Markov models

来源：评论

学校读者我要写书评

暂无评论

Hybrid Dipper Throated and Grey Wolf Optimization for Feature Selection Applied to Life Benchmark Datasets

引用

computers, Materials & Continua 2023年第2期74卷 4531-4545页

作者： Doaa Sami Khafaga El-Sayed M.El-kenawy Faten Khalid Karim Mostafa Abotaleb Abdelhameed Ibrahim Abdelaziz A.Abdelhamid D.L.Elsheweikh Department of Computer Sciences College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of Communications and Electronics Delta Higher Institute of Engineering and TechnologyMansoura35111Egypt Faculty of Artificial Intelligence Delta University for Science and TechnologyMansoura35712Egypt Department of System Programming South Ural State UniversityChelyabinsk454080Russia Computer Engineering and Control Systems Department Faculty of EngineeringMansoura UniversityMansoura35516Egypt Department of Computer Science Faculty of Computer and Information SciencesAin Shams UniversityCairo11566Egypt Department of Computer Science College of Computing and Information TechnologyShaqra University11961Saudi Arabia Department of Computer Science Faculty of Specific EducationMansoura UniversityEgypt

Selecting the most relevant subset of features from a dataset is a vital step in data mining and machine *** feature in a dataset has 2n possible subsets,making it challenging to select the optimum collection of features using typical *** a result,a new metaheuristicsbased feature selection method based on the dipper-throated and grey-wolf optimization(DTO-GW)algorithms has been developed in this *** can result when the selection of features is subject to metaheuristics,which can lead to a wide range of ***,we adopted hybrid optimization in our method of optimizing,which allowed us to better balance exploration and harvesting chores more *** propose utilizing the binary DTO-GW search approach we previously devised for selecting the optimal subset of *** the proposed method,the number of features selected is minimized,while classification accuracy is *** test the proposed method’s performance against eleven other state-of-theart approaches,eight datasets from the UCI repository were used,such as binary grey wolf search(bGWO),binary hybrid grey wolf,and particle swarm optimization(bGWO-PSO),bPSO,binary stochastic fractal search(bSFS),binary whale optimization algorithm(bWOA),binary modified grey wolf optimization(bMGWO),binary multiverse optimization(bMVO),binary bowerbird optimization(bSBO),binary hysteresis optimization(bHy),and binary hysteresis optimization(bHWO).The suggested method is superior 4532 CMC,2023,vol.74,no.2 and successful in handling the problem of feature selection,according to the results of the experiments.

关键词： Metaheuristics dipper throated optimization grey wolf optimization binary optimizer feature selection

来源：评论

学校读者我要写书评

暂无评论

A Survey of Blockchain Based systems: Scalability Issues and Solutions, Applications and Future Challenges

引用

IEEE Access 2024年 12卷 79626-79651页

作者： Alghamdi, Turki Ali Khalid, Rabiya Javaid, Nadeem Umm Al-Qura University College of Computer and Information Systems Department of Computer Science Makkah21955 Saudi Arabia University of Leeds School of Computing LeedsLS2 9JT United Kingdom COMSATS University Islamabad Department of Computer Science Islamabad44000 Pakistan National Yunlin University of Science and Technology International Graduate School of Artificial Intelligence Douliu64002 Taiwan

Blockchain technology originated alongside Bitcoin as a novel method of conducting financial transactions. It has garnered significant attention from both industry and academia in recent years, emerging as a prominent area of research. It is a decentralized record-keeping system that holds transactional information. The scale of a blockchain network expands according to the growth in the number of nodes and transactions, resulting in issues related to storage capacity, data processing speed, and time delay. These issues have a direct impact on the scalability of a blockchain network. Currently, scalability is one of the prominent concerns in the field of blockchain technology and an active research area. This study conducts a comprehensive survey of the scalability challenges faced by blockchain technology in several sectors. It also examines potential solutions based on consensus mechanisms, smart contracts and directed acyclic graph (DAG). It is observed that the proposed scalability solutions target enhancing system throughput, reducing costs, and improving blockchain efficiency. Therefore, we examine, compare, and evaluate the literature using these specific criteria. Moreover, a survey of existing blockchain based survey papers is presented. A comparative analysis of these survey papers is presented along with their recency score, which is determined by the number of recent publications reviewed in a survey paper. By 'recent,' we mean the current year (or the publication year of a survey paper) and the three years prior to it. Additionally, this paper offers an elaborate discussion on the forthcoming open research challenges and applications of blockchain. © 2013 IEEE.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

Hybrid Grey Wolf and Dipper Throated Optimization in Network Intrusion Detection systems

引用

computers, Materials & Continua 2023年第2期74卷 2695-2709页

作者： Reem Alkanhel Doaa Sami Khafaga El-Sayed M.El-kenawy Abdelaziz A.Abdelhamid Abdelhameed Ibrahim Rashid Amin Mostafa Abotaleb B.M.El-den Department of Information Technology College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of Computer Sciences College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of Communications and Electronics Delta Higher Institute of Engineering and TechnologyMansoura35111Egypt Department of Computer Science Faculty of Computer and Information SciencesAin Shams UniversityCairo11566Egypt Department of Computer Science College of Computing and Information TechnologyShaqra University11961Saudi Arabia Computer Engineering and Control Systems Department Faculty of EngineeringMansoura UniversityMansoura35516Egypt Department of Computer Science University of Engineering and TechnologyTaxilaPakistan Department of System Programming South Ural State UniversityChelyabinsk454080Russia

The Internet of Things(IoT)is a modern approach that enables connection with a wide variety of devices *** to the resource constraints and open nature of IoT nodes,the routing protocol for low power and lossy(RPL)networks may be vulnerable to several routing ***’s why a network intrusion detection system(NIDS)is needed to guard against routing assaults on RPL-based IoT *** imbalance between the false and valid attacks in the training set degrades the performance of machine learning employed to detect network ***,we propose in this paper a novel approach to balance the dataset classes based on metaheuristic optimization applied to locality-sensitive hashing and synthetic minority oversampling technique(LSH-SMOTE).The proposed optimization approach is based on a new hybrid between the grey wolf and dipper throated optimization *** prove the effectiveness of the proposed approach,a set of experiments were conducted to evaluate the performance of NIDS for three cases,namely,detection without dataset balancing,detection with SMOTE balancing,and detection with the proposed optimized LSHSOMTE *** results showed that the proposed approach outperforms the other approaches and could boost the detection *** addition,a statistical analysis is performed to study the significance and stability of the proposed *** conducted experiments include seven different types of attack cases in the RPL-NIDS17 *** on the 2696 CMC,2023,vol.74,no.2 proposed approach,the achieved accuracy is(98.1%),sensitivity is(97.8%),and specificity is(98.8%).

关键词： Metaheuristics grey wolf optimization dipper throated optimization dataset balancing locality sensitive hashing SMOTE

来源：评论

学校读者我要写书评

暂无评论

Al-Biruni Earth Radius Optimization for COVID-19 Forecasting

引用

computer systems science & Engineering 2023年第7期46卷 883-896页

作者： El-Sayed M.El-kenawy Abdelaziz A.Abdelhamid Abdelhameed Ibrahim Mostafa Abotaleb Tatiana Makarovskikh Amal H.Alharbi Doaa Sami Khafaga Department of Communications and Electronics Delta Higher Institute of Engineering and TechnologyMansoura35111Egypt Department of Computer Science Faculty of Computer and Information SciencesAin Shams University11566CairoEgypt Department of Computer Science College of Computing and Information TechnologyShaqra University11961Saudi Arabia Computer Engineering and Control Systems Department Faculty of EngineeringMansoura University35516MansouraEgypt Department of System Programming South Ural State University454080ChelyabinskRussia Department of Computer Sciences College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia

Several instances of pneumonia with no clear etiology were recorded in Wuhan,China,on December 31,*** world health organization(WHO)called it COVID-19 that stands for“Coronavirus Disease 2019,”which is the second version of the previously known severe acute respiratory syndrome(SARS)Coronavirus and identified in short as(SARSCoV-2).There have been regular restrictions to avoid the infection spread in all countries,including Saudi *** prediction of new cases of infections is crucial for authorities to get ready for early handling of the virus ***:Analysis and forecasting of epidemic patterns in new SARSCoV-2 positive patients are presented in this research using metaheuristic optimization and long short-term memory(LSTM).The optimization method employed for optimizing the parameters of LSTM is Al-Biruni Earth Radius(BER)***:To evaluate the effectiveness of the proposed methodology,a dataset is collected based on the recorded cases in Saudi Arabia between March 7^(th),2020 and July 13^(th),*** addition,six regression models were included in the conducted experiments to show the effectiveness and superiority of the proposed *** achieved results show that the proposed approach could reduce the mean square error(MSE),mean absolute error(MAE),and R^(2)by 5.92%,3.66%,and 39.44%,respectively,when compared with the six base *** the other hand,a statistical analysis is performed to measure the significance of the proposed ***:The achieved results confirm the effectiveness,superiority,and significance of the proposed approach in predicting the infection cases of COVID-19.

关键词： COVID-19 prediction meta-heuristic optimization LSTM Al-Biruni earth radius algorithm

来源：评论

学校读者我要写书评

暂无评论

Domain-specific data characteristics: A study on meaning of stylometric sub-concepts and in-class imbalance 28th

Domain-specific data characteristics: A study on meaning of ...

引用

28th International Conference on Knowledge Based and Intelligent information and Engineering systems, KES 2024

作者： Stanczyk, Urszula Department of Computer Graphics Vision and Digital Systems Faculty of Automatic Control Electronics and Computer Science Silesian University of Technology Akademicka 2A Gliwice44-100 Poland

In the context of data imbalance probably the most investigated problem is imbalance of classes, as learning from the data with this characteristic makes detection of existing patterns for all classes more difficult. However, other problems related to imbalance also exists and the paper addresses such cases where classes are balanced, but there is in-class imbalance. Such imbalance can be caused by uneven representation of sub-concepts. When there is a noticeable difference between the numbers of samples belonging to sub-concepts, this can turn the under-represented sub-concepts into disjuncts. Data irregularities of this type can hinder recognition, therefore actions are typically taken to restore balance. In the investigations described, the issue was studied in the stylometric domain and various classifiers were applied to the data that was balanced, then imbalanced, and finally with restored balance. The experiments show that the specifics of the domain of application can put its own mark on the data which is difficult to overcome by standard processing such as under- or oversampling. Observed dependence on a learner and dataset makes the issue even more complex and layered, and shows the need for deeper studies. © 2024 The Authors.

关键词： Data assimilation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：