中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-5 of 5)

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 \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In