Détail de l'auteur
Documents disponibles écrits par cet auteur (4)
Mémoire magistere
Fatima Zohra Torki ; Laid Kahloul, Directeur de thèse | Biskra [Algerie] : Université Mohamed Khider | 2017Un environnement virtuel est peuplé d’agents en interaction. La création de ces environnements repose sur un principe d’autonomie des entités. Ça implique que la simulation de comportements des entités virtuelles devient un problème très complex[...]
Thése doctorat
Laid Kahloul ; Noureddine Djedi, Directeur de thèse | Biskra [Algerie] : Mohamed Khider university of Biskra | 2012Petri nets are a formal and graphical tool proposed to model and to analyze behavior of concurrent systems. In its basic version, this model is defined as a fixed graph, where the behavior of the system is modeled as the marking of the graph tha[...]
Thése doctorat
Hassiba Ben Attia ; Laid Kahloul, Directeur de thèse | Biskra [Algerie] : Mohamed Khider university of Biskra | 2019Cette thèse aborde le problème de la modélisation/vérification formelles des politiques de sécurité dans le cloud computing. En effet, nos recherches portent sur la modélisation et la vérification des politiques de contrôle d’accès à l’aide de r[...]
Thése doctorat
zroug siham, Auteur ; Laid Kahloul, Directeur de thèse | Biskra [Algerie] : Université Mohamed Khider | 2021This thesis tackles the problem of formal modelling and verification of Carrier Sense Multiple Access with Collision Avoidance (CSMA/CA) protocol in wireless sensor networks. Indeed, our research focuses on the modelling, the verification and [...]
