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

Search Results

Help

Item hits: (Results 21-30 of 47)

Items/Page:    Sort:
a petri net-based model for verification of obligations and accountability in cooperative systems [期刊论文]
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009-01-01, 卷号: 39, 期号: 2, 页码: 299-308
Du YuYue; Jiang ChangJun; Zhou MengChu

 
analysis of bilinear pairing-based accumulator for identity escrowing [期刊论文]
IET INFORMATION SECURITY, 2008-01-01, 卷号: 2, 期号: 4, 页码: 99-107
Tartary C.; Zhou S.; Lin D.; Wang H.; Pieprzyk J.
  |  
 
refining and verifying regular petri nets [期刊论文]
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2008-01-01, 卷号: 39, 期号: 1, 页码: 17-27
Li Jiao
  |  
 
colour visual cryptography schemes [期刊论文]
IET INFORMATION SECURITY, 2008-01-01, 卷号: 2, 期号: 4, 页码: 151-165
Liu F.; Wu C. K.; Lin X. J.
  |  
 
reasoning with recursive loops under the plp framework [期刊论文]
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2008-01-01, 卷号: 9, 期号: 4, 页码: -
Shen Yi-Dong
  |  
 
scenario-focused development method for a pen-based user interface: model and applications [期刊论文]
JOURNAL OF SUPERCOMPUTING, 2008-01-01, 卷号: 46, 期号: 2, 页码: 139-149
Wang Danli; Dai Guozhong; Wang Hongan; Chiu Steve C.

 
network and device-level impacts: performance and reliability of active i/o storage systems [期刊论文]
JOURNAL OF SUPERCOMPUTING, 2007-01-01, 卷号: 41, 期号: 2, 页码: 163-178
Chiu Steve C.; Choudhary Alok N.; Wang Danli
  |  
 
certificateless signature: a new security model and an improved generic construction [期刊论文]
DESIGNS CODES AND CRYPTOGRAPHY, 2007-01-01, 卷号: 42, 期号: 2, 页码: 109-126
Hu Bessie C.; Wong Duncan S.; Zhang Zhenfeng; Deng Xiaotie
  |  
 
a new approximation algorithm for the k-facility location problem [期刊论文]
THEORETICAL COMPUTER SCIENCE, 2007-01-01, 卷号: 384, 期号: 1, 页码: 126-135
Zhang Peng
  |  
 
modeling and analysis of real-time cooperative systems using petri nets [期刊论文]
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2007-01-01, 卷号: 37, 期号: 5, 页码: 643-654
Du YuYue; Jiang ChangJun; Zhou MengChu
  |  
 

previous 1 2 3 4 5 next

 

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