Real-Time Aquaculture Monitoring System Using IoT Technology
Tariq, Benahmed, Amina, Bourouis, Khelifa, Benahmed
Published in 2024 6th International Conference on Pattern Analysis and Intelligent Systems (PAIS) (24.04.2024)
Published in 2024 6th International Conference on Pattern Analysis and Intelligent Systems (PAIS) (24.04.2024)
Get full text
Conference Proceeding
On the Verification of Opacity in Web Services and Their Composition
Bourouis, Amina, Klai, Kais, Ben Hadj-Alouane, Nejib, El Touati, Yamen
Published in IEEE transactions on services computing (01.01.2017)
Published in IEEE transactions on services computing (01.01.2017)
Get full text
Journal Article
IoT for Smart Apiculture: Issues and Solutions
Bourouis, Amina, Benahmed, Tariq, Mokeddem, Kamal A.Madjid, Benahmed, Khelifa, Lairedj, Abouboubaker Saddik
Published in 2022 3rd International Conference on Embedded & Distributed Systems (EDiS) (02.11.2022)
Published in 2022 3rd International Conference on Embedded & Distributed Systems (EDiS) (02.11.2022)
Get full text
Conference Proceeding
IoT and WSNs Technology for Control in the Greenhouse Agriculture - Review
Abdelmadjid, Mokeddem Kamal, Noureddine, Seddiki, Amina, Bourouis, Khelifa, Benahmed, Tariq, Benahmed, Boubakeur, Lairedj
Published in 2022 3rd International Conference on Embedded & Distributed Systems (EDiS) (02.11.2022)
Published in 2022 3rd International Conference on Embedded & Distributed Systems (EDiS) (02.11.2022)
Get full text
Conference Proceeding
Measuring Opacity for Non-Probabilistic DES: a SOG-Based Approach
Bourouis, Amina, Klai, Kais, Ben Hadj-Alouane, Nejib
Published in 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.11.2019)
Published in 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.11.2019)
Get full text
Conference Proceeding
Computing Quantified Opacity for SOG-Abstracted Web Services
Burouis, Amina, Ben Hadj-Alouane, Nejib, Klai, Kais
Published in 2017 IEEE International Conference on Services Computing (SCC) (01.06.2017)
Published in 2017 IEEE International Conference on Services Computing (SCC) (01.06.2017)
Get full text
Conference Proceeding
Opacity Preserving Abstraction for Web Services and Their Composition Using SOGs
Bourouis, Amina, Klai, Kais, El Touati, Yamen, Ben Hadj-Alouane, Nejib
Published in 2015 IEEE International Conference on Web Services (01.06.2015)
Published in 2015 IEEE International Conference on Web Services (01.06.2015)
Get full text
Conference Proceeding