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

Search Results

Help

Item hits: (Results 1-4 of 4)

Items/Page:    Sort:
multifactor identity verification using aggregated proof of knowledge [期刊论文]
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2010-01-01, 卷号: 40, 期号: 4, 页码: 372-383
Bhargav-Spantzel Abhilasha; Squicciarini Anna Cinzia; Xue Rui; Bertino Elisa
  |  
 
a petri-net-based correctness analysis of internet stock trading systems [期刊论文]
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008-01-01, 卷号: 38, 期号: 1, 页码: 93-99
Du YuYue; Jiang ChangJun; Zhou MengChu

 
dynamic evaluation approach for virtual conflict decision training [期刊论文]
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2000-01-01, 卷号: 30, 期号: 3, 页码: 374-380
Zhuge H; Shi XQ

 
solving a generalized constrained optimization problem with both logic and and or relationships by a mathematical transformation and its application to robot motion planning [期刊论文]
Ieee Transactions on Systems Man and Cybernetics Part C-applications and Reviews, 2000-01-01, 卷号: 30, 期号: 4, 页码: 525-536
Wang Yongji; Lane DM
  |  
 

1

 

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