Results 51 to 60 of about 22,766 (182)
Development of a Translator from LLVM to ACL2
, 2014 In our current work a library of formally verified software components is to be created, and assembled, using the Low-Level Virtual Machine (LLVM) intermediate form, into subsystems whose top-level assurance relies on the assurance of the individual ...
Davis, Jennifer A. +3 more
core +2 more sources
ICMPE-8: Dedicated to Professor Rudolf Wu
Marine Pollution Bulletin, 2017 Special Issue: The 8th International Conference on Marine Pollution and ...
Leung, KMY +4 more
openaire +4 more sources
Real‐Time Detection and Prevention of DoS Attack in Unmanned Marine Vehicles Using Machine Learning
SECURITY AND PRIVACY, Volume 9, Issue 2, March/April 2026.ABSTRACT Unmanned marine vehicles (UMVs) are one of the most crucial components of the underwater communication and surveillance system in the marine and oceanographic environment. This research introduces a novel approach to stabilize the connection in an unstable underwater environment by inheriting features of communication velocities.
Noman Ali +8 more
wiley +1 more source
On the Efficacy of Live DDoS Detection with Hadoop
, 2015 Distributed Denial of Service flooding attacks are one of the biggest challenges to the availability of online services today. These DDoS attacks overwhelm the victim with huge volume of traffic and render it incapable of performing normal communication ...
Ali, Usman, Hameed, Sufian
core +1 more source
Engineering Reports, Volume 8, Issue 2, February 2026.This study introduces a two‐phase method for detecting DDoS attacks in cloud environments using ensemble feature fusion and a hybrid CNN‐LSTM model. By combining meta‐heuristic feature selection with deep learning, the approach achieves over 99% accuracy on benchmark datasets, reducing false positives and improving cybersecurity resilience.
Hind Saad Hussein +3 more
wiley +1 more source
Where is My Next Hop ? The Case of Indian Ocean Islands
, 2017 Internet has become a foundation of our modern society. However, all regions or countries do not have the same Internet access regarding quality especially in the Indian Ocean Area (IOA).
Anelli, Pascal +4 more
core +1 more source
A Review of Software for Designing and Operating Quantum Networks
Advanced Quantum Technologies, Volume 9, Issue 2, February 2026.A quantum network can be organized following a three‐plane abstraction: infrastructure, logical, and control. A taxonomy of the network functions of the control plane is proposed, and the state of the art in software for quantum networks is discussed. A guide for future directions on software development is provided.
Robert J. Hayek +2 more
wiley +1 more source
Uji Performansi Jaringan menggunakan Kabel UTP dan STP
Jurnal Elkomika, 2018 ABSTRAK Unshield Twisted Pair (UTP) dan Shield Twisted Pair (STP) merupakan tipe kabel untuk menghubungkan antar komputer sehingga dapat membentuk sebuah jaringan. Secara teori, maksimal panjang kabel yang diperbolehkan adalah 100 meter.
KUKUH NUGROHO, AHMAD YOGI KURNIAWAN
doaj +1 more source
Frontiers in Microbiology, 2021 There is a real and urgent need for new antibiotics able to kill Mycobacteria, acid-fast bacilli capable of causing multiple deadly diseases. These include members of the Mycobacterium tuberculosis complex, which causes the lung disease tuberculosis (TB)
Alexander B. J. Grey +8 more
doaj +1 more source
ENERGY &ENVIRONMENTAL MATERIALS, Volume 9, Issue 1, January 2026.In this work, we reported the rational design of two ionic conjugated microporous polymers for efficient simultaneous photocatalytic reduction of CO2 and O2 from air under mild conditions. Efficient photocatalytic reduction of CO2 is crucial to decrease the atmospheric concentration of CO2.
Waner Li +8 more
wiley +1 more source