National ICT Australia, Sydney, Australia;
Computing Laboratory, Oxford University UK;
Dept. Computer Science, Macquarie University, NSW 2109 Australia,and National ICT Australia;
graphical modelling; simulation; lossy communication channels; probabilistic model checking; wireless networks;
机译:无线传感器网络的能量感知冲突解决协议的形式分析
机译:基于反应式路由协议的多跳802.11无线ad-hoc网络能耗分析的仿真
机译:线性无线传感器网络的流水线转发MAC协议的建模和性能分析
机译:GENESIS:图形环境,用于在多路访问网络中对协议进行建模和性能分析
机译:无线传感器网络中不同路由协议的评估模型
机译:无线传感器网络中使用多个移动接收器的新型基于中继节点的安全路由协议的建模和仿真
机译:无线网络中媒体访问控制协议的分析和改进。异构多媒体流量下无线局域网中IEEE 802.11e MAC的性能建模和服务质量增强。