E-LIB Suche - Ergebnisse für: Bentahar, Jamal

1

Enhancing IoT Intelligence: A Transformer-based Reinforceme..:

, In: 2024 International Wireless Communications and Mobile Computing (IWCMC),

Rjoub, Gaith ; Islam, Saidul ; Bentahar, Jamal.. - p. 1418-1423 , 2024

Link: https://doi.org/10.1109/..

2

Blockchain-Assisted Demonstration Cloning for Multiagent De..:

Alagha, Ahmed ; Bentahar, Jamal ; Otrok, Hadi..
IEEE Internet of Things Journal. 11 (2024) 5 - p. 7710-7723 , 2024

Link: https://doi.org/10.1109/..

3

Verifying trust over IoT-ad hoc network-based applications ..:

Baharloo, Narges ; Bentahar, Jamal ; Alwhishi, Ghalya..
Ad Hoc Networks. 154 (2024) - p. 103380 , 2024

Link: https://doi.org/10.1016/..

4

MV-Checker: A software tool for multi-valued model checking..:

Alwhishi, Ghalya ; Bentahar, Jamal ; Elwhishi, Ahmed.
Expert Systems with Applications. 245 (2024) - p. 123113 , 2024

Link: https://doi.org/10.1016/..

5

A comprehensive survey on applications of transformers for ..:

Islam, Saidul ; Elmekki, Hanae ; Elsebai, Ahmed...
Expert Systems with Applications. 241 (2024) - p. 122666 , 2024

Link: https://doi.org/10.1016/..

6

Multi-valued model checking IoT and intelligent systems wit..:

Alwhishi, Ghalya ; Bentahar, Jamal ; Elwhishi, Ahmed..
Information Fusion. 102 (2024) - p. 102048 , 2024

Link: https://doi.org/10.1016/..

7

Model checking combined trust and commitments in Multi-Agen..:

Baharloo, Narges ; Bentahar, Jamal ; Drawel, Nagat.
Expert Systems with Applications. 243 (2024) - p. 122856 , 2024

Link: https://doi.org/10.1016/..

8

LearnChain: Transparent and cooperative reinforcement learn..:

Sami, Hani ; Mizouni, Rabeb ; Otrok, Hadi...
Future Generation Computer Systems. 150 (2024) - p. 255-271 , 2024

Link: https://doi.org/10.1016/..

9

Blockchain-based crowdsourced deep reinforcement learning a..:

Alagha, Ahmed ; Otrok, Hadi ; Singh, Shakti..
Information Sciences. 679 (2024) - p. 121107 , 2024

Link: https://doi.org/10.1016/..

10

Multi-valued verification of commitment systems with uncert..:

Alwhishi, Ghalya ; Bentahar, Jamal ; Elwhishi, Ahmed.
Information Fusion. 111 (2024) - p. 102502 , 2024

Link: https://doi.org/10.1016/..

11

Corrigendum to "Transformation-based model checking tempora..:

Drawel, Nagat ; Laarej, Amine ; Bentahar, Jamal.
Journal of Systems and Software. 213 (2024) - p. 112052 , 2024

Link: https://doi.org/10.1016/..

12

The International Conference on Deep Learning, Big Data and..

Lecture Notes in Networks and Systems, 541

Awan, Irfan ; Younas, Muhammad ; Bentahar, Jamal. - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

13

A reinforcement learning model for the reliability of block..:

Taghavi, Mona ; Bentahar, Jamal ; Otrok, Hadi.
Expert Systems with Applications. 214 (2023) - p. 119160 , 2023

Link: https://doi.org/10.1016/..

14

Reinforcement Learning Framework for Server Placement and W..:

Mazloomi, Anahita ; Sami, Hani ; Bentahar, Jamal..
IEEE Internet of Things Journal. 10 (2023) 2 - p. 1376-1390 , 2023

Link: https://doi.org/10.1109/..

15

Multi-valued Model Checking A Smart Glucose Monitoring Syst..:

, In: 2023 International Wireless Communications and Mobile Computing (IWCMC),

Alwhishi, Ghalya ; Bentahar, Jamal ; Elwhishi, Ahmed - p. 1697-1702 , 2023

Link: https://doi.org/10.1109/..