Villanova University.;
机译:IMS通过异类访问在网络中由移动发起的基于网络的SIP切换
机译:移动模型对移动自组织网络上P2P内容发现协议性能的影响-Springer
机译:针对无线传感器网络中动态和静态方案的多个基于移动元素的数据收集协议的验证
机译:事务流和可执行模型:消息传递协议的形式化和分析
机译:适用于移动自组织网络的有效且高效的资源发现协议。
机译:有限混合物建模和动态治疗方案正式化的个性化复苏策略
机译:CPNS防止服务拒绝攻击的动态移动代理模型仿真
机译:使用优化规范环境通过可执行模拟对saDT规范进行形式化和验证。