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

An Intelligent Privacy Protection Scheme for Efficient Edge Computation Offloading in IoV

Chinese Journal of Electronics 2024年第4期33卷 910-919页

作者： Liang YAO Xiaolong XU Wanchun DOU Muhammad Bilal School of Software Nanjing University of Information Science and Technology State Key Laboratory for Novel Software Technology Nanjing University Department of Computer and Electronics Systems Engineering Hankuk University of Foreign Studies

As a pivotal enabler of intelligent transportation system(ITS), Internet of vehicles(Io V) has aroused extensive attention from academia and industry. The exponential growth of computation-intensive, latency-sensitive,and privacy-aware vehicular applications in Io V result in the transformation from cloud computing to edge computing,which enables tasks to be offloaded to edge nodes(ENs) closer to vehicles for efficient execution. In ITS environment,however, due to dynamic and stochastic computation offloading requests, it is challenging to efficiently orchestrate offloading decisions for application requirements. How to accomplish complex computation offloading of vehicles while ensuring data privacy remains challenging. In this paper, we propose an intelligent computation offloading with privacy protection scheme, named COPP. In particular, an Advanced Encryption Standard-based encryption method is utilized to implement privacy protection. Furthermore, an online offloading scheme is proposed to find optimal offloading policies. Finally, experimental results demonstrate that COPP significantly outperforms benchmark schemes in the performance of both delay and energy consumption.

关键词： Industries Privacy Energy consumption Transportation Computational efficiency Encryption Protection

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Framework for Effective Utilization of Distributed Scrum in software Projects

引用

computer systems Science & engineering 2023年第1期44卷 407-422页

作者： Basit Shahzad Wardah Naeem Awan Fazal-e-Amin Ahsanullah Abro Muhammad Shoaib Sultan Alyahya Department of Software Engineering National University of Modern LanguagesIslamabad44000Pakistan Department of Software Engineering College of Computer and Information SciencesKing Saud UniversityRiyadh11543Saudi Arabia Department of Computer Science Sukkur IBA UniversitySindh65200Pakistan Department of Information Systems College of Computer and Information SciencesKing Saud UniversityRiyadh11543Saudi Arabia

There is an emerging interest in using agile methodologies in Global software Development(GSD)to get the mutual benefits of both *** is currently admired by many development teams as an agile most known meth-odology and considered adequate for collocated *** the same time,stake-holders in GSD are dispersed by geographical,temporal,and socio-cultural *** to the controversial nature of Scrum and GSD,many significant challenges arise that might restrict the use of Scrum in *** conducted a Sys-tematic Literature Review(SLR)by following Kitchenham guidelines to identify the challenges that limit the use of Scrum in GSD and to explore the mitigation strategies adopted by practitioners to resolve the *** validate our reviewfindings,we conducted an industrial survey of 305 *** results of our study are consolidated into a research *** framework represents current best practices and recommendations to mitigate the identified distributed scrum challenges and is validated byfive experts of distributed *** of the expert review were found supportive,reflecting that the framework will help the stakeholders deliver sustainable products by effectively mitigating the identified challenges.

关键词： Global software development distributed Scrum sustainable development challenges mitigation strategies

来源：评论

学校读者我要写书评

暂无评论

Intelligent obstacle avoidance algorithm for safe urban monitoring with autonomous mobile drones

引用

Journal of Electronic Science and Technology 2024年第4期22卷 19-36页

作者： Didar Yedilkhan Abzal E.Kyzyrkanov Zarina A.Kutpanova Shadi Aljawarneh Sabyrzhan K.Atanov Department of Computer Engineering Astana IT UniversityAstana010000Kazakhstan Department of Computer and Software Engineering L.N.Gumilyov Eurasian National UniversityAstana010000Kazakhstan Department of Automation and Control Systems L.N.Gumilyov Eurasian National UniversityAstana010000Kazakhstan Department of Software Engineering Jordan University of Science and TechnologyIrbid22110Jordan

The growing field of urban monitoring has increasingly recognized the potential of utilizing autonomous technologies,particularly in drone *** deployment of intelligent drone swarms offers promising solutions for enhancing the efficiency and scope of urban condition *** this context,this paper introduces an innovative algorithm designed to navigate a swarm of drones through urban landscapes for monitoring *** primary challenge addressed by the algorithm is coordinating drone movements from one location to another while circumventing obstacles,such as *** algorithm incorporates three key components to optimize the obstacle detection,navigation,and energy efficiency within a drone ***,the algorithm utilizes a method to calculate the position of a virtual leader,acting as a navigational beacon to influence the overall direction of the ***,the algorithm identifies observers within the swarm based on the current *** further refine obstacle avoidance,the third component involves the calculation of angular velocity using fuzzy *** approach considers the proximity of detected obstacles through operational rangefinders and the target’s location,allowing for a nuanced and adaptable computation of angular *** integration of fuzzy logic enables the drone swarm to adapt to diverse urban conditions dynamically,ensuring practical obstacle *** proposed algorithm demonstrates enhanced performance in the obstacle detection and navigation accuracy through comprehensive *** results suggest that the intelligent obstacle avoidance algorithm holds promise for the safe and efficient deployment of autonomous mobile drones in urban monitoring applications.

关键词： Drone swarms Fuzzy logic Intelligent solution Smart city Urban monitoring

来源：评论

学校读者我要写书评

暂无评论

MDEV Model:A Novel Ensemble-Based Transfer Learning Approach for Pneumonia Classification Using CXR Images

引用

computer systems Science & engineering 2023年第7期46卷 287-302页

作者： Mehwish Shaikh Isma Farah Siddiqui Qasim Arain Jahwan Koo Mukhtiar Ali Unar Nawab Muhammad Faseeh Qureshi Department of Software Engineering Mehran University of Engineering and TechnologyJamshoroPakistan College of Software Sungkyunkwan UniversitySuwonKorea Department of Computer Systems Mehran University of Engineering and TechnologyJamshoroPakistan Department of Computer Education Sungkyunkwan UniversitySeoulKorea

Pneumonia is a dangerous respiratory disease due to which breathing becomes incredibly difficult and painful;thus,catching it early is *** physicians’time is limited in outdoor situations due to many patients;therefore,automated systems can be a *** input images from the X-ray equipment are also highly unpredictable due to variances in radiologists’***,radiologists require an automated system that can swiftly and accurately detect pneumonic lungs from chest *** medical classifications,deep convolution neural networks are commonly *** research aims to use deep pretrained transfer learning models to accurately categorize CXR images into binary classes,i.e.,Normal and *** MDEV is a proposed novel ensemble approach that concatenates four heterogeneous transfer learning models:Mobile-Net,DenseNet-201,EfficientNet-B0,and VGG-16,which have been finetuned and trained on 5,856 CXR *** evaluation matrices used in this research to contrast different deep transfer learning architectures include precision,accuracy,recall,AUC-roc,and *** model effectively decreases training loss while increasing *** findings conclude that the proposed MDEV model outperformed cutting-edge deep transfer learning models and obtains an overall precision of 92.26%,an accuracy of 92.15%,a recall of 90.90%,an auc-roc score of 90.9%,and f-score of 91.49%with minimal data pre-processing,data augmentation,finetuning and hyperparameter adjustment in classifying Normal and Pneumonia chests.

关键词： Deep transfer learning convolution neural network image processing computer vision ensemble learning pneumonia classification MDEV model

来源：评论

学校读者我要写书评

暂无评论

A REVIEW OF THE APPLICATION OF TECHNOLOGY ACCEPTANCE MODELS IN THE HEALTHCARE 18

A REVIEW OF THE APPLICATION OF TECHNOLOGY ACCEPTANCE MODELS ...

引用

18th International Conference on Interfaces and Human computer Interaction 2024, IHCI 2024, the 17th International Conference on Game and Entertainment Technologies 2024, GET 2024 and the 18th International Conference on computer Graphics, Visualization, computer Vision and Image Processing 2024, CGVCVIP 2024, Part of the 18th Multi Conference on computer Science and Information systems 2024, MCCSIS 2024

作者： Eskandari, Sadjad Valente, Juan P. Department of Languages Information Systems and Software Engineering Universidad Politécnica de Madrid Madrid28660 Spain

ISBN: (纸本)9789898704580

In the present paper, a comprehensive review was performed on the application of technology acceptance models (TAM) in the healthcare sector. The important post-2019 published papers were searched and extracted by the Google Scholar search engine and important papers were taken into consideration for further analysis related to the use of recently utilized models on the final results of TAM based on different case studies. Although TAM has shown to have an outstanding role in predicting clinician acceptance and health information technology (IT) usage, there is still a need for improvement in cases of standardization, further relationship testing, better data reporting, and the exploration of new variables. In this regard, one can prioritize identifying clinicians' specific beliefs about health IT, enhancing the applicability of TAM in healthcare by evaluating contextual factors, barriers, facilitators, and social norms impacting IT adoption. In addition, based on the classification of recent studies into general variables and results, usefulness, ease of use, trust, and privacy concerns were determined as important factors in patients' acceptance of technology in healthcare services, and related recommendations were provided in this work. TAM-based models offer valuable insights into the adoption and acceptance of healthcare technologies and researchers and healthcare organizations should be mindful of their limitations and consider future research directions to enhance their applicability in an ever-evolving healthcare landscape. © 2024 Interfaces and Human computer Interaction. All Rights Reserved.

关键词： Electronic health record

来源：评论

学校读者我要写书评

暂无评论

Design of a ML-based trust prediction model using intelligent TrustBoxes in challenged networks

引用

International Journal of systems, Control and Communications 2024年第3期15卷 209-234页

作者： Barai, Smritikona Kundu, Anindita Bhaumik, Parama Department of Computer Science and Engineering Heritage Institute of Technology Kolkata India Department of Software Systems School of Computer Science and Engineering Vellore Institute of Technology Tamil Nadu India Department of Information Technology Jadavpur University Kolkata India

Challenged networks (CNs) contain resource-constrained nodes deployed in regions where human intervention is difficult. Opportunistic networks (OppNets) are CNs with no predefined source-to-destination paths. Due to their inherent properties, CNs and OppNets are highly susceptible to black-hole (BH) attacks, resulting in degraded packet-delivery ratio. In this work, an ML-based trust prediction model (MLTPM) is proposed to identify potential BH nodes in OppNets. MLTPM uses a novel function to calculate the total-trust-value (TTV) of each node. Intelligent TrustBoxes are introduced in the network to identify possible BH nodes, using TTV, along with five more node-behaviour features. TrustBoxes reduce the computational overhead of the resource-constrained nodes. Three simulated scenarios are compared - no detection, non-ML-based detection, and MLTPM, each using epidemic, prophet, and spray-and-wait routing protocols. MLTPM performs best with spray-and-wait, exhibiting about 25.21% and 80% mean improvement in delivery-ratio and dropped-message numbers respectively, compared to non-ML-based detection. An overall 12.62% improvement in delivery-ratio and 26.7% improvement in dropped messages is observed using MLTPM, compared to the above-mentioned scenarios. © 2024 Inderscience Enterprises Ltd.

关键词： HTTP

来源：评论

学校读者我要写书评

暂无评论

Spatial Correlation Module for Classification of Multi-Label Ocular Diseases Using Color Fundus Images

引用

computers, Materials & Continua 2023年第7期76卷 133-150页

作者： Ali Haider Khan Hassaan Malik Wajeeha Khalil Sayyid Kamran Hussain Tayyaba Anees Muzammil Hussain Department of Software Engineering Faculty of Computer SciencesLahore Garrison UniversityLahorePakistan Department of Computer Science School of Systems and TechnologyUniversity of Management and TechnologyLahore54000Pakistan Department of Computer Science&Information Technology University of Engineering and Technology(UET)PeshawarPakistan Department of Computer Science TIMES InstituteMultan60000Pakistan Department of Software Engineering School of Systems and TechnologyUniversity of Management and TechnologyLahore54000Pakistan

To prevent irreversible damage to one’s eyesight,ocular diseases(ODs)need to be recognized and treated *** fundus imaging(CFI)is a screening technology that is both effective and *** to CFIs,the early stages of the disease are characterized by a paucity of observable symptoms,which necessitates the prompt creation of automated and robust diagnostic *** traditional research focuses on image-level diagnostics that attend to the left and right eyes in isolation without making use of pertinent correlation data between the two sets of *** addition,they usually only target one or a few different kinds of eye diseases at the same *** this study,we design a patient-level multi-label OD(PLML_ODs)classification model that is based on a spatial correlation network(SCNet).This model takes into consideration the relevance of patient-level diagnosis combining bilateral eyes and multi-label ODs ***_ODs is made up of three parts:a backbone convolutional neural network(CNN)for feature extraction i.e.,DenseNet-169,a SCNet for feature correlation,and a classifier for the development of classification *** DenseNet-169 is responsible for retrieving two separate sets of attributes,one from each of the left and right *** then,the SCNet will record the correlations between the two feature sets on a pixel-by-pixel *** the attributes have been analyzed,they are integrated to provide a representation at the patient *** the whole process of ODs categorization,the patient-level representation will be *** efficacy of the PLML_ODs is examined using a soft margin loss on a dataset that is readily accessible to the public,and the results reveal that the classification performance is significantly improved when compared to several baseline approaches.

关键词： Ocular disease multi-label spatial correlation CNN eye disease

来源：评论

学校读者我要写书评

暂无评论

Reliable Task Offloading for 6G-Based IoT Applications

引用

computers, Materials & Continua 2025年第2期82卷 2255-2274页

作者： Usman Mahmood Malik Muhammad Awais Javed Ahmad Naseem Alvi Mohammed Alkhathami Department of Computer Software Engineering National University of Science and Technology(NUST)Islamabad44000Pakistan Department of Electrical and Computer Engineering COMSATS University IslamabadIslamabad45550Pakistan Information Systems Department College of Computer and Information SciencesImam Mohammad Ibn Saud Islamic University(IMSIU)Riyadh11432Saudi Arabia

Fog computing is a key enabling technology of 6G systems as it provides quick and reliable computing,and data storage services which are required for several 6G *** Intelligence(AI)algorithms will be an integral part of 6G systems and efficient task offloading techniques using fog computing will improve their performance and *** this paper,the focus is on the scenario of Partial Offloading of a Task to Multiple Helpers(POMH)in which larger tasks are divided into smaller subtasks and processed in parallel,hence expediting task ***,using POMH presents challenges such as breaking tasks into subtasks and scaling these subtasks based on many interdependent factors to ensure that all subtasks of a task finish simultaneously,preventing resource ***,applying matching theory to POMH scenarios results in dynamic preference profiles of helping devices due to changing subtask sizes,resulting in a difficult-to-solve,externalities *** paper introduces a novel many-to-one matching-based algorithm,designed to address the externalities problem and optimize resource allocation within POMH ***,we propose a new time-efficient preference profiling technique that further enhances time optimization in POMH *** performance of the proposed technique is thoroughly evaluated in comparison to alternate baseline schemes,revealing many advantages of the proposed *** simulation findings indisputably show that the proposed matching-based offloading technique outperforms existing methodologies in the literature,yielding a remarkable 52 reduction in task latency,particularly under high workloads.

关键词： 6G IoT task offloading fog computing

来源：评论

学校读者我要写书评

暂无评论

DRL-based Trajectory Planning and Sensor Task Scheduling for Edge Robotics 10

DRL-based Trajectory Planning and Sensor Task Scheduling for...

引用

10th IEEE World Forum on Internet of Things, WF-IoT 2024

作者： Bouhoula, Sirine Avgeris, Marios Leivadeas, Aris Lambadaris, Ioannis Department of Software and IT Engineering Montréal Canada Carleton University Department of Systems and Computer Engineering Ottawa Canada

ISBN: (纸本)9798350373011

Mobile Edge Computing (MEC) and Edge Robotics have recently emerged as transformative technologies, revolutionizing industries by enabling real-time processing, decision-making, and automation at the network edge. However, the dynamicity induced by the system's conditions and specifically the mobility poses a challenge for optimally deciding where to execute a given computational task. As a response, we develop an intelligent algorithm for dynamic sensor task offloading tailored to the unique requirements of MEC-enabled robotic environments. Specifically, we first introduce the environmental dynamics including a sensor task's end-to-end delay and the robots' mobility and energy consumption and provide mathematical formulations to model these dynamics. Then, we mathematically formulate the optimization problem and its MDP counterpart and we propose a Deep Reinforcement Learning (DRL)-based computational offloading strategy to jointly optimize Quality of Service (QoS) and energy consumption through robot trajectory planning and fine-grained task allocation. Through hand-picked representative simulation scenarios, we demonstrate the superiority of our proposed mechanism in enhancing the overall system performance, specifically in optimizing task execution, reducing energy consumption, and mitigating transmission delays, compared to various baseline approaches. © 2024 IEEE.

关键词： Computation offloading

来源：评论

学校读者我要写书评

暂无评论

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：