Sciweavers

201 search results - page 41 / 41
» Petri nets with causal time for system verification
Sort
View
MOBIHOC
2009
ACM
14 years 5 months ago
Characterizing the exit process of a non-saturated IEEE 802.11 wireless network
In this paper, we consider a non-saturated IEEE 802.11 based wireless network. We use a three-way fixed point to model the node behavior with Bernoulli packet arrivals and determi...
Punit Rathod, Onkar Dabeer, Abhay Karandikar, Anir...