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

Search Results

Help

Item hits: (Results 1-6 of 6)

Filters    
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

 
parallel multi-party computation from linear multi-secret sharing schemes [会议论文]
11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, INDIA, DEC 04-08,
Zhang ZF; Liu ML; Xiao LL
  |  
 
server-aided digital signature protocol based on password [会议论文]
39th Annual International Carnahan Conference on Security Technology, Las Palmas, SPAIN, OCT 11-14,
He YZ; Wu CK; Feng DG
  |  
 
adaptive real-time publish-subscribe service model for mobile communication environments [会议论文]
2nd International Conference on Computer Networks and Mobile Computing, SHANGHAI, PEOPLES R CHINA, OCT 20-23,
Wang Q; Wang HA; Tang H; Dai GZ
  |  
 
t.120/h.32x-based multimedia conferencing design [会议论文]
6th International Conference on Computer Supported Cooperative Work in Design, LONDON, CANADA, JUL 12-14,
Zhao MZ; Li MS
  |  
 

1

 

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