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

	mZig: Enabling Multi-Packet Reception in ZigBee Linghe Kong1,2 Xue Liu McGill University, Canada DocID: 1xVCn - View Document
	Mrs.Z: Improving ZigBee Throughput via Multi-Rate Transmission Yifeng Cao∗ , Linghe Kong∗ , Liang He† , Guihai Chen∗ , Min-You Wu∗ , Tian He‡ ∗ Shanghai Jiao Tong University, China DocID: 1xUK6 - View Document
	mZig: Enabling Multi-Packet Reception in ZigBee Linghe Kong1,2 Xue Liu McGill University, Canada DocID: 1xT5d - View Document
	Certicom Device Authentication Service for ZigBee Smart Energy With energy costs continuing to rise and power utilities searching for ways to more efficiently use existing power plant infrastructure, utilities are deploy DocID: 1uQcI - View Document
	Accepted at the 2014 IEEE Canada International Humanitarian Technology Conference (IHTC). Transmitting Patient Vitals Over a Reliable ZigBee Mesh Network Reza Filsoof, Alison Bodine, Bob Gill, Stephen Makonin, Robert Ni DocID: 1uLQJ - View Document