Search
4 articles for “formal verification”
-
An Adaptive Approach for Real-Time Embedded System Design, Analysis and Optimization
Abstract: Real-time embedded systems are critical components in various domains, such as automotive, aerospace, healthcare, and industrial automation. The design, analysis, and optimization of these systems are vital to ensure their reliable and efficient operation. In this paper, we propose an adaptive approach for real-time embedded systems that aims to address the challenges faced during the development process while maintaining high-quality results. Our approach leverages adaptive techniques to dynamically adjust the …
Published in International Journal of Solid State Innovations & Research · Vol. 1, Issue 1, 2023 · pp. 8–14 Read article
-
Advanced Security Mechanisms for AIDL Communication in High-Risk Environments
Abstract: Android Interface Definition Language (AIDL) serves as a critical component for inter-process communication (IPC) in Android systems, facilitating seamless interaction between different application components. However, in high-risk environments, such as military, healthcare, and financial systems, AIDL communication faces significant security challenges, including unauthorized access, data tampering, and privilege escalation. This paper presents a detailed review of the advanced security mechanisms designed to safeguard AIDL communication in such environments. We propose …
Published in International Journal of Bioinformatics and Computational Biology · Vol. 4, Issue 1, 2026 Read article
-
A Sol-Gel Approach for the Fabrication of Zinc Oxide Nanoparticles and Their Nanocomposite with Urea Formaldehyde (UF)
Abstract: In the performed work, zinc oxide nanoparticles were synthesized via the sol-gel method using zinc sulphate as the precursor material. Urea-formaldehyde (UF) resin was employed as a polymer matrix to encapsulate the produced ZnO through an acid-catalyzed polymerization process. This encapsulation aimed to improve the dispersion stability and surface reactivity of ZnO within the polymeric medium. The synthesized materials were subjected to comprehensive characterization using Fourier Transform Infrared Spectroscopy (FT-IR), …
Published in International Journal of Crystalline Materials · Vol. 2, Issue 2, 2025 · pp. 21–27 Read article
-
Instagram Therapists vs. Qualified Mental Health Professionals: How Young Adults Perceive and Navigate Mental Health Advice Online
Abstract: The growing presence of “Instagram Therapists” - individuals who share mental health advice on Instagram without formal qualifications - has raised important questions about the credibility of online mental health information. In contrast, are qualified mental health professionals and licensed practitioners. Existing literature shows a surge in young adults turning to social media for mental health guidance. However, limited research delves into how they perceive and differentiate between advice from …
Published in International Journal of Behavioral Sciences · Vol. 2, Issue 2, 2025 · pp. 26–37 Read article