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

26th international symposium on Stabilization, Safety, and Security of distributed systems

作者： Yamada, Tota Ki, Yonghwan Nagoya Inst Technol Nagoya Aichi Japan

ISBN: (纸本)9783031744976;9783031744983

A Minus Dominating (MD) Function of a graph G = (V, E) (vertical bar V vertical bar = n) is a function that assigns a value from {-1, 0, 1} to each node i. V such that the sum of the values of node i and all its neighboring nodes is positive (i.e., equal to or greater than 1). An MD function is minimal if decreasing the value of any node by 1 causes a violation of the conditions of the MD function. As an extension of the MD function, we introduce the k-Minimal Minus Dominating (MMD) Function (k >= 0), which is a minimal MD function such that no other MD function can be obtained by increasing the values for some nodes by k in total and decreasing the values for some nodes by at least k + 1 in total. Note that any minimal MD function can be referred to as a 0-MMD function. In this paper, we propose a silent self-stabilizing algorithm to solve the 1-Minimal Minus Domination Problem on an arbitrary graph, using a composition technique that repeatedly applies several self-stabilizing algorithms in order, known as loop composition. It converges within O(n(Delta(2) + D)) rounds, where D is the diameter and Delta is the maximum degree of a graph, and each node requires O(Delta(4) log n) bits of memory.

关键词： distributed System Self-Stabilizing Algorithm Loop Composition Minus Domination

来源：评论

学校读者我要写书评

暂无评论

Parameterized Verification of Round-Based distributed Algorithms via Extended Threshold Automata 26th

Parameterized Verification of Round-Based Distributed Algori...

引用

26th international symposium on Formal Methods (FM)

作者： Baumeister, Tom Eichler, Paul Jacobs, Swen Sakr, Mouhammad Volp, Marcus CISPA Helmholtz Ctr Informat Secur Saarbrucken Germany Luxembourg Univ SnT Esch Sur Alzette Luxembourg

ISBN: (纸本)9783031711619;9783031711626

Threshold automata are a computational model that has proven to be versatile in modeling threshold-based distributed algorithms and enabling their completely automatic parameterized verification. We present novel techniques for the verification of threshold automata, based on well-structured transition systems, that allow us to extend the expressiveness of both the computational model and the specifications that can be verified. In particular, we extend the model to allow decrements and resets of shared variables, possibly on cycles, and the specifications to general coverability. While these extensions of the model in general lead to undecidability, our algorithms provide a semi-decision procedure. We demonstrate the benefit of our extensions by showing that we can model complex round-based algorithms such as the phase king consensus algorithm and the Red Belly Blockchain protocol (published in 2019), and verify them fully automatically for the first time.

关键词： Consensus algorithm

来源：评论

学校读者我要写书评

暂无评论

Redefining Mobility Management for Improved Handover Efficiency in Internet-Connected Vehicles 5th

Redefining Mobility Management for Improved Handover Efficie...

引用

5th international symposium on Intelligent Computing systems

作者： Shah, Peer A. Bibi, Sumiya Ali, Hassan Osman Higher Coll Technol Dept CIS Fujairah U Arab Emirates COMSATS Univ Islamabad Dept CS Attock Pakistan

ISBN: (纸本)9783031829307;9783031829314

Over the past three decades, wireless communication has seen a significant surge, with Vehicular networks emerging as a prominent area of interest for researchers. Managing mobility in these networks presents a considerable challenge. Vehicles moving between roadside units or base stations can experience disruptions in real-time services such as Voice over IP (VoIP), media streaming, safety-critical data transmission, and gaming. Due to the typically high speed of vehicles, these movements often result in handovers and packet loss. This research introduces a novel approach to mobility management and handover execution for mobile vehicles travelling on highways, differing from traditional methods. The proposed model predicts a vehicle's movement from one base station to the next using a probabilistic method by the correspondent node, which then initiates the binding refresh procedure accordingly. This approach reduces control traffic overhead and packet loss, leading to more efficient use of limited wireless resources. The performance of the proposed algorithm has been evaluated through simulation, demonstrating its effectiveness in reducing packet loss, handover delay, and control traffic overhead.

关键词： Vehicular networks Mobility Management Intelligent Transportation System Efficient Handover Roadside Unit

来源：评论

学校读者我要写书评

暂无评论

TruChain: A Blockchain-based Access Control to Improve the Security of Smart Water Grid systems 17

TruChain: A Blockchain-based Access Control to Improve the S...

引用

17th international Conference on COMmunication systems and networks, COMSNETS 2025

作者： Mondal, Susmita Chakraborty, Suchetana Indian Institute of Technology Department of Computer Science and Engineering Jodhpur India

ISBN: (纸本)9798331531195

Water is a significant resource in day-to-day life, and it usually requires technological association for comprehensive management. Smart Water Grids (SWG) typically use cyberphysical systems (CPS) to monitor several parameters associated with water quality and distribution, leveraging the possibility of performing remote operations. For robust architecture, remote operations rely on application-specific sensors, communication networks, edge control, and cloud computation. Needless to say, the centralized control of edge and cloud infrastructure is prone to attacks and failures, such as unauthorized access or single-point-of-failure. We propose TruChain, a Blockchain-based access control mechanism to eliminate the probability of access takeover and aggregate quorum-based validation on sensory data for transparent provenance reliability. We also provide access revocation to strengthen security by restricting access to sensitive data stored in a privately distributed cloud. We believe our solution has empirical decentralization and a verifiable authorization method by maintaining a tamper-evident, auditable trail of interactive events, building trust without third-party intervention. © 2025 IEEE.

关键词： Cloud security

来源：评论

学校读者我要写书评

暂无评论

Transmission scheme based on collaborative AUV communication 16

Transmission scheme based on collaborative AUV communication

引用

16th international Conference on Signal Processing systems, ICSPS 2024

作者： Sun, Jiahao Qi, Chao Liu, Zengli Zhao, Xuanzhi Faculty of Information Engineering and Automation Kunming University of Science and Technology Kunming650500 China Computer Center Kunming University of Science and Technology Kunming China

ISBN: (纸本)9781510689251

Underwater wireless sensor networks can monitor ocean information, which provides a new approach to marine environmental monitoring, disaster warning and resource exploration. However, the development of underwater wireless sensing networks is limited by factors such as ocean currents and limited energy of the sensors themselves. Based on this situation, this paper proposes a transmission scheme based on collaborative communication with autonomous underwater vehicles (AUVs), in which autonomous underwater vehicles (AUVs) are used as a tool for distributed data collection and forwarding, which can solve the problem of imbalanced energy consumption of sensor nodes in the traditional multi-hop underwater communication network. At the same time, we consider the influence of ocean currents on the node positions to maximize the imitation of the real underwater environment, and the simulation results show that the proposed transmission scheme for collaborative communication with AUVs can significantly prolong the service life of underwater sensor networks. © 2025 SPIE.

关键词： Autonomous underwater vehicles

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Atlas: Towards Real-Time Verification in Large-Scale networks via a Native distributed Architecture 25

Atlas: Towards Real-Time Verification in Large-Scale Network...

引用

20th European Conference on computer systems, EuroSys 2025, co-located 30th ACM international Conference on Architectural Support for Programming Languages and Operating systems, ASPLOS 2025

作者： Ma, Mingxiao Zhang, Yuehan Wang, Jingyu He, Bo Zhao, Chenyang Qi, Qi Zhuang, Zirui Sun, Haifeng Guo, Lingqi Guo, Yuebin Zhang, Gong Liao, Jianxin State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications China Pengcheng Laboratory China *** China Huawei Technologies China

ISBN: (纸本)9798400711961

Data plane verification (DPV) can be critical in ensuring the network operates correctly. To be useful in practice, they need to be: (1) fast so as to prevent significant packet loss or security violations;(2) scalable so as to accommodate today’s large-scale network architecture. Current DPV tools struggle to meet these requirements due to their centralized architecture. To be concrete, there is a bottleneck for a single-point server to perform real-time DPV tasks. Furthermore, a single-point server makes it hard to collect real-time data plane updates from every device in large-scale networks. This paper proposes Atlas, a native distributed data plane verification (DPV) solution, which systematically solves its scalability problem and improves its real-time performance. To achieve this, (1) Atlas designs a hierarchical distributed architecture for DPV in large-scale networks. (2) Atlas proposes a native approach to maximize the parallelism of the architecture. Both dataset-driven simulation experiments and deployments in the wild demonstrate that Atlas is capable of fast and scalable distributed verification. The advantages offered by Atlas continue to expand as network sizes increase. Compared to state-of-the-art solutions, Atlas is 2-7× faster while keeping each component lightweight. © 2025 Copyright held by the owner/author(s).

关键词： Packet loss

来源：评论

学校读者我要写书评

暂无评论

Fine-Grained Dance Style Classification Using an Optimized Hybrid Convolutional Neural Network Architecture for Video Processing Over Multimedia networks

引用

international JOURNAL OF INTELLIGENT systems 2025年第1期2025卷

作者： Guo, Na Yang, Ahong Wang, Yan Dastbaravardeh, Elaheh Jinan Presch Educ Coll Sch Arts & Educ Jinan 250307 Peoples R China Univ Jinan Sch Mus Jinan Peoples R China Shandong Univ Arts Dance Acad Jinan 250300 Peoples R China Islamic Azad Univ Mashhad Dept Control Engn Mashhad *** Iran

Dance style recognition through video analysis during university training can significantly benefit both instructors and novice dancers. Employing video analysis in training offers substantial advantages, including the potential to train future dancers using innovative technologies. Over time, intricate dance gestures can be honed, reducing the burden on instructors who would, otherwise, need to provide repetitive demonstrations. Recognizing dancers' movements, evaluating and adjusting their gestures, and extracting cognitive functions for efficient evaluation and classification are pivotal aspects of our model. Deep learning currently stands as one of the most effective approaches for achieving these objectives, particularly with short video clips. However, limited research has focused on automated analysis of dance videos for training purposes and assisting instructors. In addition, assessing the quality and accuracy of performance video recordings presents a complex challenge, especially when judges cannot fully focus on the on-stage performance. This paper proposes an alternative to manual evaluation through a video-based approach for dance assessment. By utilizing short video clips, we conduct dance analysis employing techniques such as fine-grained dance style classification in video frames, convolutional neural networks (CNNs) with channel attention mechanisms (CAMs), and autoencoders (AEs). These methods enable accurate evaluation and data gathering, leading to precise conclusions. Furthermore, utilizing cloud space for real-time processing of video frames is essential for timely analysis of dance styles, enhancing the efficiency of information processing. Experimental results demonstrate the effectiveness of our evaluation method in terms of accuracy and F1-score calculation, with accuracy exceeding 97.24% and the F1-score reaching 97.30%. These findings corroborate the efficacy and precision of our approach in dance evaluation analysis.

关键词： Artificial Intelligence artificial neural networks computer vision dance style classification distributed and cloud systems hybrid convolutional neural network image processing internet and social media multimedia

来源：评论

学校读者我要写书评

暂无评论

The Application of Digital Empowerment Combined with Intelligent Algorithms of computer Technology in Decision Support systems 3

The Application of Digital Empowerment Combined with Intelli...

引用

3rd international Conference on Integrated Circuits and Communication systems, ICICACS 2025

作者： Lu, Wan Chen, Li Gao, Fei Wang, Chang Wuhan Windoor Information & Technology Co. Ltd Hubei Wuhan China

ISBN: (纸本)9798331508456

Traditional decision support systems (DSS) show obvious limitations in dealing with increasingly complex and dynamic decision-making scenarios. By integrating graph neural networks (GNNs) and expert systems (ESs), this paper constructs a new IDSS framework aimed at improving decision-making efficiency and accuracy. In terms of research methods, large-scale distributed computing is performed in the cloud based on parallel computing technology;the logical reasoning of expert systems and the self-learning ability of graph neural networks are combined to achieve dynamic updates and efficient processing of data by unstructured knowledge bases. Compared with traditional DSS, the accuracy of IDSS based on the fusion of GNNs and ES in financial forecasting and risk assessment scenarios is improved to more than 90%, and resource utilization is significantly optimized. This study shows that the integrated application of intelligent algorithms has broad prospects in improving the dynamic adaptability of decision support systems and coping with complex decision-making environments. © 2025 IEEE.

关键词： distributed cloud

来源：评论

学校读者我要写书评

暂无评论

10th international symposium on Security and Privacy in Social networks and Big Data, SocialSec 2024

10th International Symposium on Security and Privacy in Soci...

引用

10th international symposium on Security and Privacy in Social networks and Big Data, SocialSec 2024

ISBN: (纸本)9789819637737

The proceedings contain 10 papers. The special focus in this conference is on Security and Privacy in Social networks and Big Data. The topics include: ChatGPT Through the Users’ Eyes: Sentiment Analysis of Privacy and Security Issues;Extended Abstract: Evaluating Cross-Chain Platforms for EV Charging Payment systems;Using M5Stack Core 2 ESP32 to Raise Children’s Awareness About Cyber Security;ELITE: Efficient and Secure Machine Learning for Intelligent Perception in Smart Road Infrastructure;gamma Sampling for Intrusion Detection with Imbalanced Data;smartAudit: Smart Contract Vulnerability Detection Using Transfer Learning;FLAIR: A Federated Learning Approach Against Inference Attacks and Risks;Secure Aggregation of Smartwatch Health Data with LDP.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：