QQ客服 官方微博 反馈留言

浏览/检索结果: 共2条，第1-2条 帮助 限定条件 发表日期：2011    内容类型：期刊论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Formal modeling and analysis in a logic for mobile Ad Hoc networks 期刊论文 Dongnan Daxue Xuebao (Ziran Kexue Ban)/Journal of Southeast University (Natural Science Edition), 2011, 卷号: 41, 期号: 2, 页码: 258-265 作者:  Guo, Xian;  Feng, Tao;  Yuan, Zhanting;  Ma, Jianfeng 收藏  |  浏览/下载：59/0  |  提交时间：2020/11/14 Ad hoc networks  Computation theory  Computer circuits  Mobile ad hoc networks  Mobile security  Network security  Semantics  Correctness properties  Formal modeling and analysis  Logic  Logic of secure systems  Mobile iP  Network evolution  Physical locations  Wireless broadcast   一种基于移动Agent的云端计算任务安全分割与分配算法 期刊论文 北京理工大学学报, 2011, 卷号: 31, 期号: 8, 页码: 922-926 徐小龙; 程春玲; 熊婧夷; 王汝传 收藏  |  浏览/下载：11/0  |  提交时间：2013/10/08 云计算  安全  移动Agent  任务分割  任务分配