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

Item hits: (Results 1-7 of 7)

Items/Page: Sort:
	a three-level verification approach on wireless communication controller system [会议论文] 2011 International Conference on Computer Science and Network Technology, ICCSNT 2011, Harbin, China, December 24, 2011 - December 26, 2011 Fan Linlin; Liao Mingxue; He Xiaoxin
	formal verification on distributed spectrum sensing protocol [会议论文] 2011 International Conference on Computer Science and Network Technology, ICCSNT 2011, Harbin, China, December 24, 2011 - December 26, 2011 Liu Jin-Bo; Liao Ming-Xue; Hu Xiao-Hui; He Xiao-Xin
	compositional modelling and verification of ipv6 mobility [会议论文] 25th International Conference on Formal Techniques for Networked and Distributed Systems, Taipei, TAIWAN, OCT 02-05, Wu P; Zhang DM \|
	an efficient id-based deniable authentication protocol from pairings [会议论文] 19th International Conference on Advanced Information Networking and Applications, Taipei, TAIWAN, MAR 28-30, Cao TJ; Lin DD; Xue R \|
	e [会议论文] 19th International Conference on Advanced Information Networking and Applications, Taipei, TAIWAN, MAR 28-30, Cao TJ; Lin DD; Xue R \|
	accurate long-tailed network traffic approximation and its queueing analysis by hyper-erlang distributions [会议论文] 30th Annual IEEE Conference on Local Computer Networks, Sydney, AUSTRALIA, NOV 15-17, Wang JF; Zhou HX; Li L; Xu FJ \|
	an efficient multicast protocol in mobile ipv6 networks [会议论文] IEEE Wireless Communications and Networking Conference, Atlanta, GA, MAR 21-25, Sun LM; Liao Y; Zheng JP; Wu YC; Ma J \|


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