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

	DISHA : An Indoor Navigation System for the Visually Challenged Pragun Goyal #1 , Apoorva Garg ∗2 , Shantanu Kedia #3 , Varun Garg #4 , Anshul Mittal #5 , Prof. M. Balakrishnan #6 # { DocID: 1rfQo - View Document
	Thread Usage of 6LoWPAN white paper DocID: 1qRrT - View Document
	Thread Stack Fundamentals white paper DocID: 1qvId - View Document
	Pantone Logo no tagline-REG-white DocID: 1qui0 - View Document
	Pantone Logo no tagline-REG-white DocID: 1qh8m - View Document