E-LIB Suche - Ergebnisse für: Kacem, Ahmed Hadj

1

Towards a Secure Cross-Blockchain Smart Contract Architectu..:

, In: Lecture Notes in Computer Science; Risks and Security of Internet and Systems,

Mars, Rawya ; Cheikhrouhou, Saoussen ; Kallel, Slim.. - p. 127-132 , 2023

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

2

An Approach for Modeling Annotation in the e-Health Domain:

, In: Digital Health Transformation, Smart Ageing, and Managing Disability; Lecture Notes in Computer Science,

Mannai, Zayneb ; Kalboussi, Anis ; Kacem, Ahmed Hadj - p. 269-281 , 2023

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

3

Personalized, context-aware, and adaptable persuasive appro..:

Aloulou, Houssem ; Aloulou, Hamdi ; Abdulrazak, Bessam.
Entertainment Computing. 46 (2023) - p. 100567 , 2023

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

4

Annotation Systems in the Medical Domain: A Literature Revi..:

, In: Lecture Notes in Computer Science; Participative Urban Health and Healthy Aging in the Age of AI,

Mannai, Zayneb ; Kalboussi, Anis ; Kacem, Ahmed Hadj - p. 58-69 , 2022

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

5

Study of Healthcare Annotation Systems:

Chehab, Khalil ; Kalboussi, Anis ; Kacem, Ahmed Hadj
International Journal of E-Health and Medical Communications. 12 (2021) 3 - p. 74-89 , 2021

Link: https://doi.org/10.4018/..

6

Web-based Applications and Services of Annotation in Electr..:

, In: Proceedings of the 22nd International Conference on Information Integration and Web-based Applications & Services,

Charradi, Nesrine ; Kalboussi, Anis ; Kacem, Ahmed Hadj - p. 322-330 , 2020

Link: https://dl.acm.org/doi/1..

7

A Tool for Multi-scale Modeling of Software Architectures: ..:

, In: Digital Health in Focus of Predictive, Preventive and Personalised Medicine; Advances in Predictive, Preventive and Personalised Medicine,

Khlif, Ilhem ; Kacem, Mohamed Hadj ; Drira, Khalil. - p. 155-161 , 2020

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

8

Assistance of Student by Web Services based on Annotations:

, In: Proceedings of the 21st Annual Conference on Information Technology Education,

Mazhoud, Omar ; Kalboussi, Anis ; Kacem, Ahmed Hadj - p. 260-265 , 2020

Link: https://dl.acm.org/doi/1..

9

Personalized and Contextualized Persuasion System for Older..:

, In: Lecture Notes in Computer Science; The Impact of Digital Technologies on Public Health in Developed and Developing Countries,

Aloulou, Houssem ; Aloulou, Hamdi ; Abdulrazak, Bessam. - p. 142-154 , 2020

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

10

Energy Efficient Handshake Algorithm for Wireless Sensor Ne..:

, In: Communications in Computer and Information Science; Distributed Computing for Emerging Smart Networks,

Taktak, Emna ; Tounsi, Mohamed ; Mosbah, Mohamed. - p. 57-76 , 2020

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

11

Towards a Formal Approach for Verifying Dynamic Workflows i..:

, In: Information Systems; Lecture Notes in Business Information Processing,

Fakhfakh, Fairouz ; Kacem, Hatem Hadj ; Kacem, Ahmed Hadj - p. 144-157 , 2019

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

12

Formal Verification approaches of Self-adaptive Systems: A ..:

Hachicha, Marwa ; Halima, Riadh Ben ; Kacem, Ahmed Hadj
Procedia Computer Science. 159 (2019) - p. 1853-1862 , 2019

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

13

Exact and heuristic MapReduce scheduling algorithms for clo..:

Gouasmi, Thouraya ; Louati, Wajdi ; Kacem, Ahmed Hadj
Computers & Electrical Engineering. 69 (2018) - p. 274-286 , 2018

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

14

Preserving the Correctness of Dynamic Workflows within a Cl..:

Fakhfakh, Fairouz ; Kacem, Hatem Hadj ; Kacem, Ahmed Hadj.
Procedia Computer Science. 126 (2018) - p. 1541-1550 , 2018

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

15

Formal Verification Approaches for Distributed Algorithms: ..:

Fakhfakh, Faten ; Tounsi, Mohamed ; Mosbah, Mohamed.
Procedia Computer Science. 126 (2018) - p. 1551-1560 , 2018

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