QQ客服 官方微博 反馈留言

浏览/检索结果: 共10条，第1-10条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Formalizing provable anonymity in Isabelle/HOL 期刊论文 Formal Aspects of Computing, 2014 Li, Yongjian (1); Pang, Jun (3) 收藏  |  浏览/下载：10/0  |  提交时间：2014/12/16 efficient deadlock-free fault-tolerant routing in prdt network for networks-on-chip designs 期刊论文 Journal of Computational Information Systems, 2012, 卷号: 8, 期号: 16, 页码: 6963-6970 Duan Xinming; Wu Jigang 收藏  |  浏览/下载：15/0  |  提交时间：2013/09/17 Algorithms  Fault tolerance  Routing algorithms   an inductive approach to provable anonymity 会议论文 2011 6th International Conference on Availability, Reliability and Security, ARES 2011, Vienna, Austria, August 22, Li Yongjian; Pang Jun 收藏  |  浏览/下载：11/0  |  提交时间：2013/10/08 data dissemination scheme based on adaptive density of nodes in vehicular ad-hoc networks 期刊论文 Ruan Jian Xue Bao/Journal of Software, 2011, 卷号: 22, 期号: UPPL. 1, 页码: 83-92 Yang Wei-Dong; Liu Ji-Zhao; Liu Yan; Deng Miao-Lei; Zhou Xin-Yun 收藏  |  浏览/下载：76/0  |  提交时间：2013/10/08 Ad hoc networks  Geographical distribution  Geographical regions  Intelligent vehicle highway systems  Routing protocols  Telecommunication networks   mobility prediciton clustering routing in uavs 会议论文 2011 International Conference on Computer Science and Network Technology, ICCSNT 2011, Harbin, China, December 24, 2011 - December 26, 2011 Shu Jian; Ge Yangfan; Liu Linlan; Sun Limin 收藏  |  浏览/下载：11/0  |  提交时间：2013/10/08 Computer science  Data communication systems  Unmanned aerial vehicles (UAV)   VSR:多sink机会移动传感器网络的数据收集 期刊论文 计算机研究与发展, 2010, 卷号: 47, 期号: 8, 页码: 1450-1458 熊永平; 孙利民; 马建; 牛建伟 收藏  |  浏览/下载：9/0  |  提交时间：2011/05/23 虚拟空间  数据收集  机会转发  移动传感器网络  容迟容断网络Base stations  Sensor networks  Sensor nodes  Telecommunication equipment  Wireless sensor networks   anycast routing in mobile opportunistic networks 会议论文 15th IEEE Symposium on Computers and Communications, ISCC 2010, Riccione, Italy, 37429 Xiong Yongping; Sun Limin; He Wenbo; Ma Jian 收藏  |  浏览/下载：14/0  |  提交时间：2011/03/31 Internet protocols  Probability  Routing algorithms   BPMN与BPEL双向转换系统的设计与实现及其应用 学位论文 博士, 软件研究所: 中国科学院软件研究所, 2008 魏明 收藏  |  浏览/下载：12/0  |  提交时间：2011/03/17 BPMN  BPEL  服务组合  模型转换  监控   基于资源类型的网格资源发现机制研究 学位论文 硕士, 中国科学院软件研究所: 中国科学院研究生院, 2008 李强 收藏  |  浏览/下载：17/0  |  提交时间：2011/03/17 网格  资源发现  树型  对等网  负载均衡   complex event routing in pub/sub systems using traffic analysis model 会议论文 3rd International Conference on Convergence and Hybrid Information Technology, Busan, SOUTH KOREA, NOV 11-13, Long Zhenyue; Jin Beihong; Zhao Xinchao 收藏  |  浏览/下载：14/0  |  提交时间：2011/06/13 OncePubSub  complex event routing  distributed pub-sub systems  traffic analysis model  traffic-driven deployment protocol  message passing  middleware  routing protocols