Search Results - "Abdelli, IS"

GIS-based approach for optimised collection of household waste in Mostaganem city (Western Algeria) by Abdelli, IS, Abdelmalek, F, Djelloul, A, Mesghouni, K, Addou, A

“…This work proposes an optimisation of municipal solid waste collection in terms of collection cost and polluting emissions (carbon oxides, carbon dioxides,…”
Get full text

Formal Modeling and Verification of an Enhanced Variant of the IEEE 802.11 CSMA/CA Protocol by Hammal, Youcef, Ben-Othman, Jalel, Mokdad, Lynda, Abdelli, Abdelkrim

“…In this paper, we present a formal method for modeling and checking an enhanced version of the carrier sense multiple access with collision avoidance protocol…”
Get full text

Formal Modeling of Greedy Nodes in 802.15.4 WSN by Hammal, Youcef, Ben-Othman, Jalel, Mokdad, Lynda, Abdelli, Abdelkrim

“…This paper deals with formal specification of the non-slotted CSMA/CA protocol in wireless sensor networks(WSN) whose some nodes own a greedy behavior. This…”
Get full text