Big data quality framework: a holistic approach to continuous quality management von Taleb, Ikbal, Serhani, Mohamed Adel, Bouhaddioui, Chafik, Dssouli, Rachida

Volltext

A Multi-Dimensional Trust Model for Processing Big Data Over Competing Clouds von El Kassabi, Hadeel T., Serhani, Mohamed Adel, Dssouli, Rachida, Benatallah, Boualem

Volltext

Deep reinforcement learning for the computation offloading in MIMO-based Edge Computing von Sadiki, Abdeladim, Bentahar, Jamal, Dssouli, Rachida, En-Nouaary, Abdeslam, Otrok, Hadi

Volltext

Big Data Quality: A Data Quality Profiling Model von Taleb, Ikbal, Serhani, Mohamed Adel, Dssouli, Rachida

Volltext

Verifying conformance of multi-agent commitment-based protocols von El-Menshawy, Mohamed, Bentahar, Jamal, El Kholy, Warda, Dssouli, Rachida

Volltext

Testing of Communicating Systems: 17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings von Khendek, Ferhat, Dssouli, Rachida

Volltext

Specifying and verifying contract-driven service compositions using commitments and model checking von Bataineh, Ahmed Saleh, Bentahar, Jamal, El Menshawy, Mohamed, Dssouli, Rachida

Volltext

Communicative commitments: Model checking and complexity analysis von Bentahar, Jamal, El-Menshawy, Mohamed, Qu, Hongyang, Dssouli, Rachida

Volltext

From use case maps to executable test procedures: a scenario-based approach von Kesserwan, Nader, Dssouli, Rachida, Bentahar, Jamal, Stepien, Bernard, Labrèche, Pierre

Volltext

Reducing model checking commitments for agent communication to model checking ARCTL and GCTL von El Menshawy, Mohamed, Bentahar, Jamal, El Kholy, Warda, Dssouli, Rachida

Volltext

Formal Specification and Automatic Verification of Conditional Commitments von El Kholy, Warda, El Menshawy, Mohamed, Bentahar, Jamal, Hongyang Qu, Dssouli, Rachida

Volltext

Conditional Commitments: Reasoning and Model Checking von Kholy, Warda El, Bentahar, Jamal, Menshawy, Mohamed EL, Qu, Hongyang, Dssouli, Rachida

Volltext

A SIP servlets-based framework for service provisioning in stand-alone MANETs von Bah, Slimane, Glitho, Roch, Dssouli, Rachida

Volltext

Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols von El Kholy, Warda, Bentahar, Jamal, El Menshawy, Mohamed, Qu, Hongyang, Dssouli, Rachida

Volltext

An Elastic Hybrid Sensing Platform: Architecture and Research Challenges von Rabah, Sleiman, Belqasmi, Fatna, Mizouni, Rabeb, Dssouli, Rachida

Volltext

An evaluation of timed scenario notations von Hassine, Jameleddine, Rilling, Juergen, Dssouli, Rachida

Volltext

Timed Wp-method: testing real-time systems von En-Nouaary, A., Dssouli, R., Khendek, F.

Volltext

A service oriented broker-based approach for dynamic resource discovery in virtual networks von Rabah, Sleiman, El Barachi, May, Kara, Nadjia, Dssouli, Rachida, Paquet, Joey

Volltext

Control-level call differentiation in IMS-based 3G core networks von El Barachi, May, Glitho, R, Dssouli, R

Volltext

Agents’ Uncertainty in Argumentation-based Negotiation: Classification and Implementation von Marey, Omar, Bentahar, Jamal, Asl, Ehsan Khosrowshahi, Mbarki, Mohamed, Dssouli, Rachida

Volltext