Edge computing applications leverage advances in edge computing along with the latest trends of convolutional neural networks in order to achieve ultra-low latency, high-speed processing, low-power consumptions scenarios, which are necessary for deploying real-time Internet of Things deployments efficiently. As the importance of such scenarios is growing by the day, we propose to undertake two different kind of models, such as an algebraic models, with a process algebra called ACP and a coding model with a modeling language called Promela. Both approaches have been used to build models considering an edge infrastructure with a cloud backup, which has been further extended with the addition of extra fog nodes, and after having applied the proper verification techniques, they have all been duly verified. Specifically, a generic edge computing design has been specified in an algebraic manner with ACP, being followed by its corresponding algebraic verification, whereas it has also been specified by means of Promela code, which has been verified by means of the model checker Spin.
Download full-text PDF |
Source |
|---|---|
| http://www.ncbi.nlm.nih.gov/pmc/articles/PMC8587040 | PMC |
| http://dx.doi.org/10.3390/s21217276 | DOI Listing |
Publication Analysis
Top Keywords
Similar Publications
Human-Validated Neural Networks for Precise Amastigote Categorization and Quantification to Accelerate Drug Discovery in Leishmaniasis.
ACS Omega
January 2025
Laboratory of Natural Products and Mass Spectrometry (LAPNEM), Faculty of Pharmaceutical Sciences, Food, and Nutrition (FACFAN), Federal University of Mato Grosso do Sul, Campo Grande, Mato Grosso do Sul 79070-900, Brazil.
Leishmaniases present a significant global health challenge with limited and often inadequate treatment options available. Traditional microscopic methods for detecting Leishmania amastigotes are time-consuming and error-prone, highlighting the need for automated approaches. This study aimed to implement and validate the YOLOv8 deep learning model for real-time detection, quantification, and categorization of Leishmania amastigotes to enhance drug screening assays.
View Article and Find Full Text PDFCrayfish optimization based pixel selection using block scrambling based encryption for secure cloud computing environment.
Sci Rep
January 2025
Department of Instrumentation Engineering, Madras Institute of Technology Campus, Anna University, Chromepet, Chennai 44, India.
Cloud Computing (CC) is a fast emerging field that enables consumers to access network resources on-demand. However, ensuring a high level of security in CC environments remains a significant challenge. Traditional encryption algorithms are often inadequate in protecting confidential data, especially digital images, from complex cyberattacks.
View Article and Find Full Text PDFThe interplay of sex and genotype in disease associations: a comprehensive network analysis in the UK Biobank.
Hum Genomics
January 2025
Department of Biostatistics, Epidemiology and Informatics, Perelman School of Medicine, University of Pennsylvania, Richards Building B304, 3700 Hamilton Walk, Philadelphia, PA, 19104, USA.
Background: Disease comorbidities and longer-term complications, arising from biologically related associations across phenotypes, can lead to increased risk of severe health outcomes. Given that many diseases exhibit sex-specific differences in their genetics, our objective was to determine whether genotype-by-sex (GxS) interactions similarly influence cross-phenotype associations. Through comparison of sex-stratified disease-disease networks (DDNs)-where nodes represent diseases and edges represent their relationships-we investigate sex differences in patterns of polygenicity and pleiotropy between diseases.
View Article and Find Full Text PDFA novel efficient data storage and data auditing in cloud environment using enhanced child drawing development optimization strategy.
Network
January 2025
Computer Science and Engineering, SA Engineering College, Poonamallee, India.
The optimization on the cloud-based data structures is carried out using Adaptive Level and Skill Rate-based Child Drawing Development Optimization algorithm (ALSR-CDDO). Also, the overall cost required in computing and communicating is reduced by optimally selecting these data structures by the ALSR-CDDO algorithm. The storage of the data in the cloud platform is performed using the Divide and Conquer Table (D&CT).
View Article and Find Full Text PDFDeep learning-based skin lesion analysis using hybrid ResUNet++ and modified AlexNet-Random Forest for enhanced segmentation and classification.
PLoS One
January 2025
Faculty of Computer Science & Information Technology, The Superior University, Lahore, Pakistan.
Skin cancer is considered globally as the most fatal disease. Most likely all the patients who received wrong diagnosis and low-quality treatment die early. Though if it is detected in the early stages the patient has fairly good chance and the aforementioned diseases can be cured.
View Article and Find Full Text PDFWant AI Summaries of new PubMed Abstracts delivered to your In-box?
Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!