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

Search Results

Help

Item hits: (Results 1-7 of 7)

Filters        
Items/Page:    Sort:
extended symbolic transition graphs with assignment [会议论文]
29th Annual International Computer Software and Applications Conference, Edinburgh, SCOTLAND, JUL 26-28,
Deng WJ; Lin HM
  |  
 
experiences on intrusion tolerance distributed systems [会议论文]
29th Annual International Computer Software and Applications Conference, Edinburgh, SCOTLAND, JUL 26-28,
Feng DG; Xiang J
  |  
 
using spin to model cryptographic protocols [会议论文]
International Conference on Information Technology - Coding and Computing, Las Vegas, NV, APR 05-07,
Li YJ; Xue R
  |  
 
towards dynamic process with variable structure by reflection [会议论文]
27th Annual International Computer Software and Applications Conference, DALLAS, TX, NOV 03-06,
Liu SH; Wei J; Xu W
  |  
 
new model and scheduling protocol for transactional workflows [会议论文]
26th Annual International Computer Software and Applications Conference, OXFORD, ENGLAND, AUG 26-29,
Ding K; Jin BH; Wei J; Feng YL

 
an xml-message based architecture description language and architectural mismatch checking [会议论文]
25th Annual International Computer Software and Applications Conference (COMPSAC 2001), CHICAGO, IL, OCT 08-12,
Zhang B; Ding K; Li J
  |  
 
automatic generation of database instances for white-box testing [会议论文]
25th Annual International Computer Software and Applications Conference (COMPSAC 2001), CHICAGO, IL, OCT 08-12,
Zhang B; Xu C; Cheung SC
  |  
 

1

 

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