{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T19:53:46Z","timestamp":1759694026427,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,10,17]],"date-time":"2010-10-17T00:00:00Z","timestamp":1287273600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,10,17]]},"DOI":"10.1145\/1868521.1868574","type":"proceedings-article","created":{"date-parts":[[2010,10,19]],"date-time":"2010-10-19T12:41:35Z","timestamp":1287492095000},"page":"327-334","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Performance evaluation of a hybrid MAC protocol for wireless sensor networks"],"prefix":"10.1145","author":[{"given":"Jalel","family":"Ben-Othman","sequence":"first","affiliation":[{"name":"University of Versailles, Versailles, France"}]},{"given":"Serigne","family":"Diagne","sequence":"additional","affiliation":[{"name":"University of Paris XII, Paris, France"}]},{"given":"Lynda","family":"Mokdad","sequence":"additional","affiliation":[{"name":"University of Paris XII, Paris, France"}]},{"given":"Bashir","family":"Yahya","sequence":"additional","affiliation":[{"name":"University of Versailles, Versailles, France"}]}],"member":"320","published-online":{"date-parts":[[2010,10,17]]},"reference":[{"volume-title":"the Proceedings of GLOBECOM'08","author":"Yahya B.","key":"e_1_3_2_1_1_1","unstructured":"B. Yahya , J. Ben-Othman , \" An Energy Efficient Hybrid Medium Access Control Scheme for Wireless Sensor Networks with Quality of Service Guarantees\" , In the Proceedings of GLOBECOM'08 , New Orleans, LA, USA, November 30 to December 4 B. Yahya, J. Ben-Othman, \"An Energy Efficient Hybrid Medium Access Control Scheme for Wireless Sensor Networks with Quality of Service Guarantees\", In the Proceedings of GLOBECOM'08, New Orleans, LA, USA, November 30 to December 4"},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. of LWC -","author":"Bokareva T.","year":"2006","unstructured":"T. Bokareva , W. Hu , S. Kanhere , B. Ristic , N. Gordon , T. Bessell , M. Rutten and S. Jha , \" Wireless Sensor Networks for Battlefield Surveillance \", In Proc. of LWC - 2006 . T. Bokareva, W. Hu, S. Kanhere, B. Ristic, N. Gordon, T. Bessell, M. Rutten and S. Jha, \"Wireless Sensor Networks for Battlefield Surveillance\", In Proc. of LWC - 2006."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/570738.570751"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1031495.1031498"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11502593_31"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1002\/wcm.v9:12"},{"key":"e_1_3_2_1_7_1","volume-title":"of the HICSS","author":"M. Younis","year":"2004","unstructured":"M. Younis et.al, \" On handling qos traffic in wireless sensor networks,\" Proc. of the HICSS , 2004 . M. Younis et.al, \"On handling qos traffic in wireless sensor networks,\" Proc. of the HICSS, 2004."},{"volume-title":"P. K. Varshney: QoS Support in Wireless Sensor Networks: A Survey. International Conference on Wireless Networks 2004:  227--233","author":"Chen D.","key":"e_1_3_2_1_8_1","unstructured":"D. Chen , P. K. Varshney: QoS Support in Wireless Sensor Networks: A Survey. International Conference on Wireless Networks 2004: 227--233 D. Chen, P. K. Varshney: QoS Support in Wireless Sensor Networks: A Survey. International Conference on Wireless Networks 2004: 227--233"},{"key":"e_1_3_2_1_9_1","volume-title":"Mobile Adhoc and Sensor Systems Conference","author":"Liu Yang","year":"2005","unstructured":"Yang Liu , Elhanany, I., Hairong Qi , \" An energy-efficient QoS-aware media access control protocol for wireless sensor networks \", Mobile Adhoc and Sensor Systems Conference , 2005 . Yang Liu, Elhanany, I., Hairong Qi, \"An energy-efficient QoS-aware media access control protocol for wireless sensor networks\", Mobile Adhoc and Sensor Systems Conference, 2005."},{"key":"e_1_3_2_1_10_1","volume-title":"Energy-Efficient Approach. In Proceedings of IEEE INFOCOM","author":"Fahmy Younis","year":"2004","unstructured":"Younis and S. Fahmy . Distributed Clustering in Ad-hoc Sensor Networks: A Hybrid , Energy-Efficient Approach. In Proceedings of IEEE INFOCOM , March 2004 . Younis and S. Fahmy. Distributed Clustering in Ad-hoc Sensor Networks: A Hybrid, Energy-Efficient Approach. In Proceedings of IEEE INFOCOM, March 2004."},{"key":"e_1_3_2_1_11_1","volume-title":"Mobile Adhoc and Sensor Systems Conference","author":"Liu Yang","year":"2005","unstructured":"Yang Liu , Elhanany, I.; Hairong Qi , \" An energy-efficient QoS-aware media access control protocol for wireless sensor networks \", Mobile Adhoc and Sensor Systems Conference , 2005 . Yang Liu, Elhanany, I.; Hairong Qi, \"An energy-efficient QoS-aware media access control protocol for wireless sensor networks\", Mobile Adhoc and Sensor Systems Conference, 2005."},{"key":"e_1_3_2_1_12_1","unstructured":"http:\/\/www.di.unito.it\/~greatspn\/index.html  http:\/\/www.di.unito.it\/~greatspn\/index.html"},{"key":"e_1_3_2_1_13_1","first-page":"1611","article-title":"Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real Time Maude","volume":"448","author":"Throvaldsen P. C.","year":"2007","unstructured":"Olveczky, P. C. , Throvaldsen , S. , \" Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real Time Maude ,\" Lecture Notes in Computer Science , Vol. 448 ( 2007 ), 1611 -- 3349 . Olveczky, P. C., Throvaldsen, S., \"Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real Time Maude,\" Lecture Notes in Computer Science, Vol. 448 (2007), 1611--3349.","journal-title":"Lecture Notes in Computer Science"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen:20060057"},{"key":"e_1_3_2_1_15_1","first-page":"1","volume-title":"IEEE 64th Vehicular Technology Conference, VTC-2006 Fall","author":"Toward Formal","year":"2006","unstructured":"Haines, R.; Clemo, G.; Munro, A., \" Toward Formal Verification of 802. 11 MAC Protocols: Verifying a Petri-Net Model of 802.11 PCF \", IEEE 64th Vehicular Technology Conference, VTC-2006 Fall , 25-28 Sept. 2006 Page(s): 1 -- 5 . Haines, R.; Clemo, G.; Munro, A., \"Toward Formal Verification of 802.11 MAC Protocols: Verifying a Petri-Net Model of 802.11 PCF\", IEEE 64th Vehicular Technology Conference, VTC-2006 Fall, 25-28 Sept. 2006 Page(s):1--5."},{"key":"e_1_3_2_1_16_1","volume-title":"An Energy-Efficient MAC Protocol for Wireless Sensor Networks,\" in Proc. of IEEE INFOCOM","author":"Ye W.","year":"2002","unstructured":"W. Ye , J. Heidenmann , and D. Estrin , \" An Energy-Efficient MAC Protocol for Wireless Sensor Networks,\" in Proc. of IEEE INFOCOM , New York, NY , June 2002 . W. Ye, J. Heidenmann, and D. Estrin, \"An Energy-Efficient MAC Protocol for Wireless Sensor Networks,\" in Proc. of IEEE INFOCOM, New York, NY, June 2002."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the First Workshop on Formal Methods for Wireless Systems (FMWS","author":"Azgomi Mohammad Abdollahi","year":"2008","unstructured":"Mohammad Abdollahi Azgomi and Ali Khalili , \" Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets\" , Proceedings of the First Workshop on Formal Methods for Wireless Systems (FMWS 2008 ). Mohammad Abdollahi Azgomi and Ali Khalili, \"Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets\", Proceedings of the First Workshop on Formal Methods for Wireless Systems (FMWS 2008)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1454630.1454640"},{"key":"e_1_3_2_1_19_1","first-page":"1796","volume-title":"Of 62nd IEEE VTC","author":"Jie Wu Hesong","year":"2005","unstructured":"Hesong Huang; Jie Wu , \"A probabilistic clustering algorithm in wireless sensor networks,\" Proc . Of 62nd IEEE VTC , 25-28 Sept. , 2005 Page(s): 1796 -- 1798 Hesong Huang; Jie Wu, \"A probabilistic clustering algorithm in wireless sensor networks,\" Proc. Of 62nd IEEE VTC, 25-28 Sept., 2005 Page(s): 1796--1798"},{"key":"e_1_3_2_1_20_1","volume-title":"Energy-Efficient Approach. In Proceedings of IEEE INFOCOM","author":"Fahmy Younis","year":"2004","unstructured":"Younis and S. Fahmy . Distributed Clustering in Ad-hoc Sensor Networks: A Hybrid , Energy-Efficient Approach. In Proceedings of IEEE INFOCOM , March 2004 . Younis and S. Fahmy. Distributed Clustering in Ad-hoc Sensor Networks: A Hybrid, Energy-Efficient Approach. In Proceedings of IEEE INFOCOM, March 2004."},{"key":"e_1_3_2_1_21_1","unstructured":"http:\/\/www.isi.edu\/nsnam\/ns\/  http:\/\/www.isi.edu\/nsnam\/ns\/"},{"key":"e_1_3_2_1_22_1","unstructured":"http:\/\/www.opnet.com\/  http:\/\/www.opnet.com\/"},{"key":"e_1_3_2_1_23_1","unstructured":"http:\/\/www.omnetpp.org\/  http:\/\/www.omnetpp.org\/"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/584490.584499"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1155\/2010\/601892"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(00)00053-5"},{"key":"e_1_3_2_1_27_1","first-page":"145","volume-title":"the Proceedings of Workshop on Formal Methods Applied to Defense Systems","author":"Xiong C.","year":"2002","unstructured":"C. Xiong , T. Murata , J. Tsai , \" Modeling and Simulation of Routing Protocol for Mobile Ad hoc Networks Using Colored Petri Nets\" , In the Proceedings of Workshop on Formal Methods Applied to Defense Systems , 2002 , Pages 145 -- 153 . C. Xiong, T. Murata, J. Tsai, \"Modeling and Simulation of Routing Protocol for Mobile Ad hoc Networks Using Colored Petri Nets\", In the Proceedings of Workshop on Formal Methods Applied to Defense Systems, 2002, Pages 145--153."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12243-008-0063-0"}],"event":{"name":"MSWiM '10: The 13th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems","sponsor":["SIGSIM ACM Special Interest Group on Simulation and Modeling"],"location":"Bodrum Turkey","acronym":"MSWiM '10"},"container-title":["Proceedings of the 13th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1868521.1868574","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1868521.1868574","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:52Z","timestamp":1750246792000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1868521.1868574"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,17]]},"references-count":28,"alternative-id":["10.1145\/1868521.1868574","10.1145\/1868521"],"URL":"https:\/\/doi.org\/10.1145\/1868521.1868574","relation":{},"subject":[],"published":{"date-parts":[[2010,10,17]]},"assertion":[{"value":"2010-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}