中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
软件所图书馆 [14]
信息安全国家重点实验... [4]
人机交互技术与智能信... [3]
软件工程技术研究开发... [3]
基础软件国家工程研究... [3]
更多...
作者
王雅哲 [1]
罗雄飞 [1]
Content Type
会议论文 [20]
期刊论文 [11]
Issued Date
Language
英语 [11]
中文 [8]
Source
proceeding... [2]
proceeding... [2]
计算机研究与发展 [2]
2005 pakis... [1]
2009 4th i... [1]
更多...
Project
Indexed
EI [17]
其他 [2]
IEEE [1]
SCI [1]
Spnsorship
ieee; ieee... [2]
acm specia... [1]
associatio... [1]
ieee comp ... [1]
ieee hong ... [1]
更多...
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 31)
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Submitted Time Ascending
Submitted Time Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
Issue Date Ascending
Issue Date Descending
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
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace
