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

Search Results

Help

Item hits: (Results 61-70 of 79)

Items/Page:    Sort:
an application-semantics-based relaxed transaction model for internetware [期刊论文]
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006-01-01, 卷号: 49, 期号: 6, 页码: 774-791
Huang Tao; Ding Xiaoning; Wei Jun
  |  
 
an application-semantics-based relaxed transaction model for internetware [期刊论文]
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006-01-01, 卷号: 49, 期号: 6, 页码: 774-791
Huang Tao; Ding Xiaoning; Wei Jun
  |  
 
an application-semantics-based relaxed transaction model for internetware [期刊论文]
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006-01-01, 卷号: 49, 期号: 6, 页码: 774-791
Huang Tao; Ding Xiaoning; Wei Jun
  |  
 
a formal model of fair exchange protocols [期刊论文]
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2005-01-01, 卷号: 48, 期号: 4, 页码: 499-512
Qing SH; Li GC
  |  
 
a new formal model for privilege control with supporting posix capability mechanism [期刊论文]
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2005-01-01, 卷号: 48, 期号: 1, 页码: 46-66
Ji QG; Qing SH; He YP
  |  
 
a programmable approach to revising knowledge bases [期刊论文]
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2005-01-01, 卷号: 48, 期号: 6, 页码: 681-692
Luan SM; Dai GZ; Li W
  |  
 
a probability-guaranteed adaptive timeout algorithm for high-speed network flow detection [期刊论文]
COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 2005-01-01, 卷号: 48, 期号: 2, 页码: 215-233
Wang JF; Li L; Sun FC; Zhou MT
  |  
 
handling synchronization problem in petri net-based system design by property-preserving transition-reduction [期刊论文]
COMPUTER JOURNAL, 2005-01-01, 卷号: 48, 期号: 6, 页码: 692-701
Jiao L; Cheung TY; Lu WM
  |  
 
a survey and trends on internet worms [期刊论文]
COMPUTERS & SECURITY, 2005-01-01, 卷号: 24, 期号: 4, 页码: 334-346
Qing SH; Wen WP
  |  
 
a randomized rsa-based partially blind signature scheme for electronic cash [期刊论文]
COMPUTERS & SECURITY, 2005-01-01, 卷号: 24, 期号: 1, 页码: 44-49
Cao TJ; Lin DD; Xue R
  |  
 

previous 1 2 3 4 5 6 7 8 next

 

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