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

Search Results

Help

Item hits: (Results 1-10 of 31)

Items/Page:    Sort:
An integrated framework of formal methods for interaction behaviors among industrial equipments [期刊论文]
MICROPROCESSORS AND MICROSYSTEMS, 2015-01-01, 卷号: 39, 期号: 8, 页码: 1296-1304
Deng, P; Ren, G; Yuan, W; Chen, F; Hua, QS
  |  
 
research on soybean security of china based on system dynamics [会议论文]
31st Chinese Control Conference, CCC 2012, Hefei, China, July 25, 2012 - July 27, 2012
Zhu Ting; Duan Jia-Xi; Gao Mg-He; Zhang Chu-Qun

 
proving liveness property under fairness requirements [会议论文]
19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4, 2012 - December 7, 2012
Long Teng; Zhang Wenhui

 
a multi trust chain scheme in trusted cross-domain interaction [会议论文]
2012 International Conference on Industrial Control and Electronics Engineering, ICICEE 2012, Xi'an, China, August 23, 2012 - August 25, 2012
Tian Liye; Jiang Wei

 
workload-aware online anomaly detection in enterprise applications with local outlier factor [会议论文]
36th IEEE Annual International Computer Software and Applications Conference, COMPSAC 2012, Izmir, Turkey, July 16, 2012 - July 20, 2012
Wang Tao; Zhang Wenbo; Wei Jun; Zhong Hua

 
a goal decomposition approach for automatic mashup development [会议论文]
4th International IFIP Working Conference on Enterprise Interoperability, IWEI 2012, Harbin, China, September 6, 2012 - September 7, 2012
Bai Lin; Ye Dan; Wei Jun

 
a prototype of model-based design tool and its application in the development process of electronic control unit [会议论文]
35th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2011, Munich, Germany, July 18, 2011 - July 21, 2011
Li Rongqing; Zhou Rong; Li Guangxin; He Weimin; Zhang Xiaoqian; John Koo T.

 
multi-user private keyword search for cloud computing [会议论文]
2011 3rd IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2011, Athens, Greece, November 29, 2011 - December 1, 2011
Yang Yanjiang; Lu Haibing; Weng Jian

 
estimating software maintenance effort from use cases: an industrial case study [会议论文]
27th IEEE International Conference on Software Maintenance, ICSM 2011, Williamsburg, VA, United states, September
Ku Yan; Du Jing; Yang Ye; Wang Qing

 
research on key problems of covert channel in cloud computing [期刊论文]
Tongxin Xuebao/Journal on Communications, 2011-01-01, 卷号: 32, 期号: 9 A, 页码: 184-203
Wu Jing-Zheng; Ding Li-Ping; Wang Yong-Ji

 

1 2 3 4 next

 

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