中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-5 of 5)

Filters        
Items/Page:    Sort:
knowledge-theoretic approach to formal verification of web services protocols [会议论文]
2010 IEEE International Conference on Software Engineering and Service Sciences, ICSESS 2010, Beijing, China, 37453
Yao Guoxiang; Chen Qingliang; Liu Chanjuan; Yang Zhuolin
  |  
 
authentication protocols to support fast handoff for 802.11s mesh networks [会议论文]
2010 2nd International Conference on Multimedia Information Networking and Security, MINES 2010, Nanjing, Jiangsu, China, 40851
Yang Wei-Dong; Liu Ji-Zhao; Wang Ke; Sun Li-Ming
  |  
 
an trace based vehicular mobility model for simulation of vehicular delay tolerant networks [会议论文]
Symposia and Workshops Held in Conjunction with the 7th International Conference on Ubiquitous Intelligence and Computing, UIC 2010 and the 7th International Conference on Autonomic and Trusted Computing, ATC 2010, Xi'an, China, 40842
Yang Wei-Dong; Liu Ji-Zhao; Zhou Xin-Yun
  |  
 
a mobility model based on traffic flow theory for vehicular delay tolerant network [会议论文]
2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010, Changsha, China, September
Yang Wei-Dong; Liu Ji-Zhao; Zhu Hong-Song
  |  
 
a distance-optimized load balancing scheme for network management [会议论文]
6th International Conference on Networking and Services, ICNS 2010, Includes LMPCNA 2010; INTENSIVE 2010, Cancun, Mexico, 37322
Sun Yantao; Yang Fangnan; Liu Qiang; Shi Zhiqiang
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace