201 search results - page 41 / 41 » Petri nets with causal time for system verification |
137
click to vote
MOBIHOC
2009
ACM
16 years 6 months ago
2009
ACM
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...