Lectures on formal methods and performance analysis
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
PE-WASUN '04 Proceedings of the 1st ACM international workshop on Performance evaluation of wireless ad hoc, sensor, and ubiquitous networks
On the performance of ad hoc wireless LANs: a practical queuing theoretic model
Performance Evaluation - Performance modelling and evaluation of wireless ad hoc and sensor networks
Performance evaluation of a hybrid MAC protocol for wireless sensor networks
Proceedings of the 13th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems
RTS/CTS data link abstractions for mobile ad hoc networks
MILCOM'06 Proceedings of the 2006 IEEE conference on Military communications
Analytical modeling of TCP flow in wireless LANs
Mathematical and Computer Modelling: An International Journal
Modelling and analysis of the split phase multi-channel MAC approach
Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems
| Hi-index | 0.00 |