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

Search Results

Help

Item hits: (Results 1-4 of 4)

Items/Page:    Sort:
a practical certified e-mail system with temporal authentication based on transparent tss [会议论文]
9th International Conference on Software Engineering Artificial Intelligence, Networking and Parallel/Distributed Computing, Phuket, THAILAND, AUG 06-08,
Liu Dongmei; Qing Sihan; Li Pengfei; Yuan ChunYang
  |  
 
generating algorithms plus loop invariants by formal derivation [会议论文]
7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16,
Shi Haihe; Du Dawei; Xue Jinyun
  |  
 
a mechanical approach for deriving algorithmic programs [会议论文]
7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16,
Shi Haihe; Xue Jinyun; Du Dawei
  |  
 
based-cr knowledge interconnection in national knowledge infrastructure [会议论文]
International Conference on Info-Tech and Info-Net (ICII 2001), BEIJING, PEOPLES R CHINA, OCT 29-NOV
Lei YX; Cao CG; Sui YF
  |  
 

1

 

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