Results 131 to 140 of about 366,235 (206)

Formal modeling of a causal consistent distributed system and verification of its history <i>via</i> model checking using colored Petri net. [PDF]

PeerJ Comput Sci
Alsaegg KAM, Pashazadeh S, Zolfy Lighvan M.   +2 more
europepmc   +1 more source

Optimizing Time-Sensitive Traffic Scheduling in Low-Earth-Orbit Satellite Networks. [PDF]

Sensors (Basel)
Liu W, Xiao N, Liu B, Zhang Y, Li T.
europepmc   +1 more source

Age of Information Minimization in Multicarrier-Based Wireless Powered Sensor Networks. [PDF]

Entropy (Basel)
Sun J, Xia J, Zhang S, Yu X.
europepmc   +1 more source

Evaluation of Connectivity Reliability of VANETs Considering Node Mobility and Multiple Failure Modes. [PDF]

Sensors (Basel)
Cao J, Bian Y, He C, Liu F, Xu D, Guo Y.
europepmc   +1 more source

A bi-level mobility-aware deep reinforcement learning approach for fault-tolerant task offloading in vehicular edge-cloud computing. [PDF]

Sci Rep
Babaiyan V, Bushehrian O, Javidan R.
europepmc   +1 more source

DeOTA-IoT: A Techniques Catalog for Designing Over-the-Air (OTA) Update Systems for IoT. [PDF]

Sensors (Basel)
Villegas MM, Solar M, Giraldo FD, Astudillo H.   +3 more
europepmc   +1 more source

Vigorous technique for augmented lifetime in WSNs. [PDF]

Sci Rep
Ali SJ, Iqbal J, Khan F, Moon YK.
europepmc   +1 more source

Design of an AI-driven secure 5G-SDN framework with federated reinforcement learning for anomaly detection, mitigation, and attack forensics. [PDF]

Front Artif Intell
Shameli R, Rajkumar S.
europepmc   +1 more source

On the Role of Artificial Intelligent Technology for Millimetre-Wave and Terahertz Applications. [PDF]

Sensors (Basel)
Kouhalvandi L, Matekovits L.
europepmc   +1 more source