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

Search Results

Help

Item hits: (Results 1-10 of 24)

Items/Page:    Sort:
Deciding probabilistic automata weak bisimulation: theory and practice [期刊论文]
FORMAL ASPECTS OF COMPUTING, 2016-01-01, 卷号: 28, 期号: 1, 页码: 109-143
Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A
  |  
 
PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment [期刊论文]
CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2016-01-01, 卷号: 19, 期号: 1, 页码: 153-166
Hu, Y; Yan, J; Choo, KKR
  |  
 
security model and modular design of fair authentication key exchange protocols [期刊论文]
SCIENCE CHINA-INFORMATION SCIENCES, 2010-01-01, 卷号: 53, 期号: 2, 页码: 278-287
Feng DengGuo; Chen WeiDong
  |  
 
performance evaluation of distributing real-time video over concurrent multipath [会议论文]
2009 IEEE Wireless Communications and Networking Conference, WCNC 2009, Budapest, Hungary, 37351
Xu Changqiao; Fallon Enda; Qiao Yuansong; Muntean Gabriel-Miro; Li Xiaoguang; Hanley Austin

 
ensuring the consistent concurrent execution of service composition under relaxed isolation [会议论文]
IEEE International Conference on e-Business Engineering, Xian, PEOPLES R CHINA, OCT 22-24,
Lin Li; Zhao Zongtao; Zhong Hua; Wei Jun
  |  
 
resettable zero knowledge with concurrent soundness in the bare public-key model under standard assumption [会议论文]
3rd SKLOIS Conference on Information Security and Cryptology, Xining, PEOPLES R CHINA, AUG 31-SEP
Deng Yi; Lin Dongdai
  |  
 
纯公钥模型下对NP语言的高效并发零知识证明系统 [期刊论文]
软件学报, 2008-01-01, 卷号: 19, 期号: 2, 页码: 468-478
邓燚; 林东岱
  |  
 
basic research in computer science and software engineering at sklcs [期刊论文]
Frontiers of Computer Science in China, 2008-01-01, 卷号: 2, 期号: 1, 页码: 1-11
Zhang Jian; Zhang Wenhui; Zhan Naijun; Shen Yidong; Chen Haiming; Zhang Yunquan; Wang Yongji; Wu Enhua; Wang Hongan; Zhu Xueyang

 
global timestamp serialization in multi-level multi-version dbms [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2007-01-01, 卷号: 18, 期号: 2, 页码: 345-350
Zhang Min; Feng Deng-Guo; Xu Zhen
  |  
 
a semantic preorder on refinement and fairness [会议论文]
1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 07, Shanghai, China, 43988
Huang X.W.; Jiao L.; Lu W.M.
  |  
 

1 2 3 next

 

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