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

Preface for the special issue on selected software artifacts from DisCoTec 2023-the 18th international Federated conference on Distributed computing Techniques

引用

science OF COMPUTER PROGRAMMING 2025年 243卷

作者： Casadei, Roberto Cogo, Vinicius Vielmo van Dijk, Tom Scalas, Alceste Alma Mater Studiorum Univ Bologna Bologna Italy Univ Lisbon Lisbon Portugal Univ Twente Twente Netherlands Tech Univ Denmark Lyngby Denmark

This special issue includes a selection of the artefacts presented at the 18th international Federated conference on Distributed computing Techniques (DiScoTec 2023), held at the NOVA University Lisbon (Lisbon, Portugal), in June 18-23, 2023. The federated conference included: COORDINATION 2023, the 25th international conference on Coordination Models and Languages);DAIS 2023, the 23rd international conference on Distributed Applications and Interoperable systems;and FORTE 2023, the 43rd international conference on Formal Techniques for Distributed Objects, Components, and systems. All the three conferences welcomed submissions describing technological artefacts, including innovative prototypes supporting the modelling, development, analysis, simulation, or testing of systems in the broad spectrum of distributed computing subjects. The artefact evaluation chairs have selected a subset of high- quality accepted artefacts to be invited for submission to this special issue. Following the revision process, nine artefacts have been accepted to be part of this special issue. The published contributions include different types of artefacts, including programming libraries, frameworks, as well as tools for the analysis, verification, and simulation of distributed systems.

关键词： Distributed computing Distributed systems Distributed applications Coordination Formal methods Programming languages software Tools Simulators Analysis Model checkers Machine learning

来源：评论

学校读者我要写书评

暂无评论

Overview of Security Approaches for Quantum computing in the Current Era 3

Overview of Security Approaches for Quantum Computing in the...

引用

3rd international conference on Electronics and Renewable systems, ICEARS 2025

作者： Hansora, Pinal Prajapati, Viral Thakkar, Amit Rathod, Ajaysinh Mannanuddin, Khaja Alsarmi, Haitham Said Naseer Cspit Charusat Cse Department Changa388421 India Snpit It Department Umrakh India Department of Computer Science & Design Gujarat Vasad India Sr University School of Cs & Ai Department of Computer Science & Engineering Hasanparthy Warangal India Sohar International Bank Muscat Oman

ISBN: (纸本)9798331509675

Quantum computing are breakthroughs aimed to revolutionize several sectors, although they also present considerable cybersecurity threats. Quantum computers can manage quite greater quantities of information than the most powerful conventional supercomputers and has the capability to do complex computations. Despite being in the early stages of development, quantum computers have the potential to be regarded as cybersecurity concerns. Quantum computing is a phenomenon that should be seen as a technology primed to facilitate significant innovations in the future, while also presenting different concerns. The quantum cybersecurity threat encompasses data breaches of sensitive health and financial information, challenges to the integrity of digital assets, and vulnerabilities in the encryption supporting cryptocurrencies, among other possible risks. This review paper focuses on quantum computing and its effects on different security methods in the present generation. It covers the quantum computer threats to cryptography, post quantum cryptography and a comparison of different approaches to cryptography. This work also analyzes machine learning and AI in quantum security and its challenges and trends for the future. The literature review has incorporated references from more than 25 reputed Scopus-listed journal and conference proceeding. © 2025 IEEE.

关键词： Cybersecurity

来源：评论

学校读者我要写书评

暂无评论

Assessing Energy Consumption for Hashing Techniques 4th

Assessing Energy Consumption for Hashing Techniques

引用

4th international conference on Electronic engineering and Renewable Energy systems, ICEERE 2024

作者： EL Outmani, Ayyoub Jaara, El Miloud Azizi, Mostafa Research Center High Studies of Engineering School EHEI Oujda Morocco LaRI Laboratory FSO University Mohammed First Oujda Morocco MATSI Lab. ESTO University Mohammed First Oujda Morocco

ISBN: (纸本)9789819606436

This study delves into the crucial issue of reducing energy consumption within green computing by examining the energy usage of well-known applications and comparing them based on their complexity. Utilizing PowerAPI, an advanced system-level library, we measure the energy consumption of these applications, with a particular focus on cryptographic hashing functions, notably the KECCAK function from SHA-3. Our preliminary findings clearly demonstrate how different algorithm implementations impact energy consumption. We introduce an innovative framework for energy monitoring, assessing popular applications and their energy usage while considering factors like CPU utilization. The aim is to identify energy inefficiencies in software. Our study not only investigates the energy aspects of hashing functions but also aims to promote the development of energy-efficient software for the future, aligning with the goals of green computing. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： CPU utilization Cryptographic hashing functions Energy efficiency Energy monitoring Green computing KECCAK PowerAPI SHA-3

来源：评论

学校读者我要写书评

暂无评论

Analysis and design of pervasive computing intelligent surveillance system integrating optical sensors and behavioral analysis for industrial internet 2

Analysis and design of pervasive computing intelligent surve...

引用

2nd international conference on Big Data, Computational Intelligence, and Applications, BDCIA 2024

作者： Yao, Di Luo, Chenyao Cheng, Weiwei Song, Huaju Beijing100083 China Portland Institute Nanjing University of Posts and Telecommunications Nanjing210003 China School of Electronic and Optical Engineering Nanjing University of Science and Technology Nanjing210094 China School of Environmental Science NanJing XiaoZhuang University Nanjing210017 China

ISBN: (纸本)9781510689053

Nowadays, the surveillance system performing as an indispensable part for modern industrial Internet has attracted much attention. With the continuous progress of microprocessor technology, sensor technology, particularly optical sensors, and network technology, it has entered the era of pervasive computing, which leads to the breakthrough of the surveillance system and the emergence of intelligent environment safety monitoring systems. However, the intelligence of surveillance systems is still a significant challenge. In this paper, we propose a surveillance system for detecting and recognizing people based on their behaviors from images or video sequences using computer vision techniques and optical sensor data, which is implemented by designing the system architecture through a hierarchical structure, applying key techniques such as background subtraction, modeling, and optical sensing analysis, and experimentally processing and testing a variety of behavioral samples. The alarm information generated by the proposed surveillance system aided by pervasive computing system can be delivered to remote terminals. Experimental results reveal that the environmental monitoring and alarm information can be processed in real time with devices, such as cell phones, telephones, and PCs. Therefore, the proposed approach can improve the performance of the surveillance systems. © 2025 SPIE.

关键词： Alarm systems

来源：评论

学校读者我要写书评

暂无评论

computing Power Detection Based on Smart Contract 3

Computing Power Detection Based on Smart Contract

引用

3rd international conference on Electrical, Electronics, and Information engineering, EEIE 2024

作者： Liu, Shaowei Liu, Xue Long, Chengnian School of Electronic Information and Electrical Engineering Shanghai Jiao Tong University Shanghai China Jiangsu Automation Research Institute Lianyungang China

ISBN: (纸本)9781510688179

As blockchain technology is widely applied across various fields, the performance requirements of blockchain systems, such as throughput and transaction latency, are increasing. In this context, blockchain systems have gradually evolved to adopt a two-phase consensus protocol that involves election and block generation. By electing a small number of nodes from a large-scale network to form a committee, a more efficient internal consensus protocol can be executed, thereby improving the overall performance of the blockchain system. This paper proposes a node performance detection method based on smart contracts, which sets performance thresholds for committee nodes without compromising the decentralization of public chains. This ensures high performance, low latency, and enhances the reliability of the consensus protocol. © The Authors.

关键词： Blockchain Consensus Election Performance Detection Smart Contract

来源：评论

学校读者我要写书评

暂无评论

A comprehensive survey on 6G-security: physical connection and service layers

引用

Discover Internet of Things 2025年第1期5卷 1-30页

作者： Saeed, Mamoon M. Saeed, Rashid A. Hasan, Mohammad Kamrul Ali, Elmustafa Sayed Mazha, Tehseen Shahzad, Tariq Khan, Sunawar Hamam, Habib Sana00967 Yemen Department of Computer Engineering College of Computers and Information Technology Taif University P.O. Box 11099 Taif21944 Saudi Arabia Department of Electronics Engineering College of Electronics Engineering Sudan University of Science and Technology Omdurman Sudan Bangi43600 Malaysia Department of Electrical and Electronic Engineering Faculty of Engineering Red Sea University Port Sudan33312 Sudan School of Computer Science National College of Business Administration and Economics Lahore54000 Pakistan Faculty of Engineering Uni de Moncton MonctonNBE1A3E9 Canada Department of Computer Engineering COMSATS University Islamabad Sahiwal Campus Sahiwal57000 Pakistan Department of Computer Science and Software Engineering International Islamic University Islamabad44000 Pakistan School of Electrical Engineering University of Johannesburg Johannesburg2006 South Africa BP 1989 Av. Grandes Ecoles Libreville Gabon Bridges for Academic Excellence-Spectrum Tunis Tunisia Department of Computer Science School Education Department Government of Punjab Layyah31200 Pakistan Chitkara University Institute of Engineering and Technology Chitkara University Punjab Rajpura140401 India

After adopting 5G technology, businesses and academia have started working on sixth-generation wireless networking (6G) technologies. Mobile communications options are expected to expand in areas where previous generations could not do so. 6G networks are anticipated to be constructed using various diverse technologies. These encompass diverse cutting-edge advancements, such as distributed ledger systems like blockchain, visible light communications (VLC), post-quantum cryptography, edge computing, molecular communication, THz, and other advances. These advances necessitate a reassessment of previous security strategies from a security perspective. In the future, networks must adhere to stricter criteria for authentication, encryption, access control, connectivity, and detection of harmful activities. Ensuring privacy and dependability necessitates the implementation of supplementary security protocols. The essay explores the primary concerns and challenges related to the security of the 6G network. This paper describes the improvements in security in communications from 1G through 6G. This paper divides security in the sixth generation into three layers: physical, connection, and service. Each layer-by-layer discusses the standard technologies and security issues for each technology proposed in each sixth-generation security layer. All proposed solutions for each of the three layers are discussed in Sixth Generation Security. It also reviews all proposed solutions for each layer, indicating the proposed solution and its limitations. © The Author(s) 2025.

关键词： 5G mobile communication systems

来源：评论

学校读者我要写书评

暂无评论

Leadership Teaching in Agile software engineering: A Systematic Mapping 17

Leadership Teaching in Agile Software Engineering: A Systema...

引用

17th international conference on Computer Supported Education, CSEDU 2025

作者： Nascimento, Nicolas Sales, Afonso Chanin, Rafael PUCRS School of Technology RS Porto Alegre Brazil

ISBN: (纸本)9789897587467

The software industry is characterized by an environment of uncertainty, high volatility, and constant change. This context has shaped the industry, its components, and actors, generating methodologies capable of meeting both market expectations and software development requirements. Among these methodologies, agile has been the most widely adopted - it provides teams with an overarching set of practices to manage software development project requirements while maintaining flexibility to incorporate changes that the business environment presents. However, professionals equipped with the necessary skills to work in these Agile teams, often referred to as "soft skills", pose a challenge for universities to teach. From this set of skills, leadership, in particular, has recently garnered attention from the software engineering education community but remains an open research opportunity. In this context, this work aims at creating a body of knowledge regarding leadership teaching in agile software engineering. To achieve this goal, we conducted a systematic mapping. From a selection of 27 studies, our results provide indications that: (i) leadership in software engineering education is typically defined as part of teamwork, shared among team members, associated with Scrum, and applied to provide students with experience in group representation;and (ii) it is usually taught through Scrum, involving active learning methodologies (such as problem-based learning) and employing real projects either sourced from external partners or designed to solve real-world problems. Copyright © 2025 by SCITEPRESS - science and Technology Publications, Lda.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Circuit Scheduling Policies on Current QPUs: QCRAFT Scheduler 22nd

Circuit Scheduling Policies on Current QPUs: QCRAFT Schedule...

引用

22nd international conference on Service Oriented computing

作者： Alvarado-Valiente, Jaime Romero-Alvarez, Javier Casco-Seco, Jorge Moguel, Enrique Garcia-Alonso, Jose Murillo, Juan M. Univ Extremadura Quercus Software Engn Croup Caceres Spain

ISBN: (纸本)9789819608072;9789819608089

In the contemporary context of quantum computing, the availability of quantum computing platforms through cloud services is increasing, which has democratized access to this technology. This is generating interest in the industry and the scientific community. However, the increasing demand for access to quantum computers is facing limited resource availability, leading to prolonged waiting times for users and high execution costs. Leveraging the under-utilization, it has already been shown that it is possible to optimize the use of current QPUs by scheduling quantum tasks, and the generated noise does not significantly affect the results. This can be achieved concretely by combining circuits. To this end, the main objective of this work is to define and validate three circuit scheduling policies for the QCRAFT Scheduler, improving the efficiency of QPU utilization and reducing both waiting times and associated task execution costs. A validation of each of the policies has been performed, achieving an average cost reduction of 83.67% and an average task reduction of 84.20% concerning the single execution of the same circuits.

关键词： Quantum computing Quantum Service computing Quantum software engineering Circuit Scheduling Policies

来源：评论

学校读者我要写书评

暂无评论

Teaching Lean software Development to software Engineers 18th

Teaching Lean Software Development to Software Engineers

引用

18th international KES conference on Agents and Multi-Agent systems: Technologies and Applications, KES-AMSTA 2024

作者： Kholmatova, Zamira Succi, Giancarlo Tulkunova, Navruza Faculty of Computer Science and Engineering Innopolis University Universitetskaya Ul. 1 Innopolis420500 Russia Department of Computer Science and Engineering Alma Mater Studiorum – Università di Bologna Mura Anteo Zamboni 7 Bologna40126 Italy

ISBN: (纸本)9789819764686

This research paper proposes the implementation of a teaching strategy for the Lean software development course targeting third-year undergraduate students. Additionally, the intermediate results of applying the proposed methodology are provided. The primary objective is to suggest an instructional approach and enhance the overall learning experience. The proposed methodology employs a diverse set of research methods, including both qualitative and quantitative approaches, to comprehensively assess the outcomes associated with the Lean software development course. Specifically, the teaching strategy encompasses preliminary grade selection, mid-oral exams, quizzes, project-based learning, and a final exam. The proposed strategy will inform future advancements in curriculum design and instructional strategies, ultimately benefiting both students and the broader software engineering community. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Collaborative learning

来源：评论

学校读者我要写书评

暂无评论

10th international Symposium on Dependable software engineering: Theories, Tools and Applications, SETTA 2024

10th International Symposium on Dependable Software Engineer...

引用

10th international Symposium on Dependable software engineering: Theories, Tools and Applications, SETTA 2024

ISBN: (纸本)9789819606016

The proceedings contain 22 papers. The special focus in this conference is on Dependable software engineering: Theories, Tools and Applications. The topics include: Extending Symbolic Heap to Support Shared Ownership;constraint Based Invariant Generation with Modular Operations;Data-Dependent WAR Analysis for Efficient Task-Based Intermittent computing;Can Language Models Pretend Solvers? Logic Code Simulation with LLMs;enhancing Multi-modal Regular Expression Synthesis via Large Language Models and Semantic Manipulations of Sub-expressions;Formal Verification of RISC-V Processor Chisel Designs;the Principle of Staking: Formal Verification of Staking Smart Contract;a Contract-Based Framework for Formal Verification of Embedded software;Formalizing x86-64 ISA in Isabelle/HOL: A Binary Semantics for eBPF JIT Correctness;The Design of Intelligent Temperature Control System of Smart House with MARS;universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects;Cache Behavior Analysis with SP-Relative Addressing for WCET Estimation;timing Analysis of Cause-Effect Chains for External Events with Finite Validity Intervals;runtime Verification of Neural-Symbolic systems;eidos: Efficient, Imperceptible Adversarial 3D Point Clouds;MILE: A Mutation Testing Framework of In-Context Learning systems;a Derivative-Based Membership Algorithm for Enhanced Regular Expressions;nanoHook: An Efficient System Call Hooking Technique with One-Byte Invasive;faster Lifetime-Optimal Speculative Partial Redundancy Elimination for Goto-Free Programs;EDSLog: Efficient Log Anomaly Detection Method Based on Dataset Partitioning.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：