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

Search Results

Help

Item hits: (Results 31-40 of 79)

Items/Page:    Sort:
weakly distributive domains (ii) [期刊论文]
Frontiers of Computer Science in China, 2007-01-01, 卷号: 1, 期号: 4, 页码: 373-384
Jiang Ying; Guo-Qiang Zhang
  |  
 
network and device-level impacts: performance and reliability of active i/o storage systems [期刊论文]
The Journal of Supercomputing, 2007-01-01, 卷号: 41, 期号: 2, 页码: 163-178
Steve C. Chiu; Alok N. Choudhary; Wang Danli
  |  
 
a formal model for access control with supporting spatial context [期刊论文]
Science in China Series F-information Sciences, 2007-01-01, 卷号: 50, 期号: 3, 页码: 419-439
Zhang Hong; He Yeping; Shi ZhiGuo
  |  
 
dccs: a general-purpose distributed cryptographic computing system [期刊论文]
Wuhan University Journal of Natural Sciences, 2007-01-01, 卷号: 12, 期号: 1, 页码: 46-50
Zhonghua Jiang; Lin Dongdai; Lin Xu; Lei Lin
  |  
 
constructing parallel long-message signcryption scheme from trapdoor permutation [期刊论文]
Science in China Series F: Information Sciences, 2007-01-01, 卷号: 50, 期号: 1, 页码: 82-98
ZhenYu Hu; DongDai Lin; Wu Wenling; DengGuo Feng
  |  
 
certificateless signature: a new security model and an improved generic construction [期刊论文]
Designs, Codes and Cryptography, 2007-01-01, 卷号: 42, 期号: 2, 页码: 109-126
Bessie C. Hu; Duncan S. Wong; Zhang Zhenfeng; Xiaotie Deng
  |  
 
super spectral viscosity method for nonlinear conservation laws [期刊论文]
Journal of Shanghai University (English Edition), 2006-01-01, 卷号: 10, 期号: 1, 页码: 40435
He-ping Ma; Li Huiyuan
  |  
 
a formal model for integrity protection based on dte technique [期刊论文]
Science in China Series F: Information Sciences, 2006-01-01, 卷号: 49, 期号: 5, 页码: 545-565
Qingguang Ji; Sihan Qing; He Yeping
  |  
 
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
  |  
 
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
  |  
 

previous 1 2 3 4 5 6 7 8 next

 

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