Probabilistic Model Checking of Contention Resolution in the IEEELow-Rate Wireless Personal Area Network Protocol Matthias Fruth School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15

First Page		Document Content
Date: 2007-06-27 11:48:43 Media access control IEEE 802 Computing Data transmission Ethernet Wireless networking IEEE 802.15.4 Carrier-sense multiple access with collision avoidance Carrier-sense multiple access Medium access control Zigbee Exponential backoff		Probabilistic Model Checking of Contention Resolution in the IEEELow-Rate Wireless Personal Area Network Protocol Matthias Fruth School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15 Add to Reading List Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 343,97 KB Share Document on Facebook

	Recent Advances in Green Industrial Networking Embracing Big Data with Compressive Sensing: A Green Approach in Industrial Wireless Networks Linghe Kong, Daqiang Zhang, Zongjian He, Qiao Xiang, Jiafu Wan, and Meixia Tao DocID: 1xUiR - View Document
	Introduction to Delay/Disruption Tolerant Networking Ioannis Komnios () Workshop on New Frontiers in Internet of Things  Trieste, 15 March 2016 DocID: 1vaEN - View Document
	International Journal of Advanced Networking & Applications (IJANA) ISSN: A Scheduled Based MAC Protocols for Wireless Sensor Network: A Survey DocID: 1uUG8 - View Document
	706 IEEE/ACM TRANSACTIONS ON NETWORKING, VOL. 21, NO. 3, JUNE 2013 Fast Algorithms and Performance Bounds for Sum Rate Maximization in Wireless Networks DocID: 1uSFi - View Document
	GlobecomWireless Networking Symposium Heat Diffusion Algorithm for Resource Allocation and Routing in Multihop Wireless Networks Reza Banirazi, Edmond Jonckheere, Bhaskar Krishnamachari Department of Electrical DocID: 1uRJz - View Document