按条件检索“50”条记录

已选条件: 来源数据库: EI ×
导出
  • 排序
  • 显示
2. A complementary predictor for collaborative filtering SCOPUS EI

作者:Chen M.;Hu W.;Zheng J.

通讯作者:Chen, Min(abcdcamey@qq.com)

通讯作者地址:Chen, M.; Computer Center, East China Normal UniversityChina; 电子邮件: abcdcamey@qq.com

作者机构:[Chen, Min ;Hu, Wenxin ;Zheng, Jun ] Computer Center, East China Normal University, Shanghai, China

来源:Lecture Notes in Electrical Engineering,2015,355,443-450

收录类别:SCOPUS;EI

资源类型:外文期刊论文;外文会议论文

4. Calculation and analysis of urban compactness using an integrated ARCGIS tool SCOPUS EI

作者:Min C.; Suxia L.; Liang Y.

作者机构:[Min, Chen ;Suxia, Liu ;Liang, Yao ] Dep. Of Computer Science and Technology, East China Normal University, Shanghai, China

来源:Lecture Notes in Electrical Engineering,2015,144,531-539

收录类别:SCOPUS;EI

资源类型:外文期刊论文;外文会议论文

5. A case study for cyber physical system with hybrid relation calculus SCOPUS EI

作者:Feng S.; Zhang L.

作者机构:[Feng, Shuguang ;Zhang, Lichen ] Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China

来源:Lecture Notes in Electrical Engineering,2014,279 LNEE,147-151

收录类别:SCOPUS;EI

Scopus被引:1

资源类型:外文期刊论文;外文会议论文

6. Aspect-oriented qos modeling of cyber-physical systems by the extension of architecture analysis and design language SCOPUS EI

作者:Zhang L.; Feng S.

通讯作者:Zhang, L.(zhanglichen1962@163.com)

通讯作者地址:Zhang, L.; Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China; 电子邮件: zhanglichen1962@163.com

作者机构:[Zhang, Lichen ;Feng, Shuguang ] Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China

来源:Lecture Notes in Electrical Engineering,2014,277 LNEE,1125-1131

收录类别:SCOPUS;EI

资源类型:外文期刊论文;外文会议论文

7. Specification of railway cyber physical systems using AADL SCOPUS EI

作者:Zhang L.

通讯作者:Zhang, L.(zhanglichen1962@163.com)

通讯作者地址:Zhang, L.; Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China; 电子邮件: zhanglichen1962@163.com

作者机构:[Zhang, Lichen ] Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China

来源:Lecture Notes in Electrical Engineering,2014,260 LNEE,377-387

收录类别:SCOPUS;EI

资源类型:外文期刊论文;外文会议论文

8. Muti-dimensional architecture modeling for cyber physical systems SCOPUS EI

作者:Xu B.; Zhang L.

作者机构:[Xu, Bingqing ;Zhang, Lichen ] Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China

来源:Lecture Notes in Electrical Engineering,2014,279 LNEE,101-105

收录类别:SCOPUS;EI

资源类型:外文期刊论文;外文会议论文

9. Model transformation for cyber physical systems SCOPUS EI

作者:Feng S.; Zhang L.

作者机构:[Feng, Shuguang ;Zhang, Lichen ] Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China

来源:Lecture Notes in Electrical Engineering,2014,279 LNEE,83-87

收录类别:SCOPUS;EI

Scopus被引:1

资源类型:外文期刊论文;外文会议论文

10. A clock-based specification of cyber-physical systems SCOPUS EI

作者:Xu B.; Zhang L.

通讯作者:Zhang, L.(zhanglichen1962@163.com)

通讯作者地址:Zhang, L.; Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China; 电子邮件: zhanglichen1962@163.com

作者机构:[Xu, Bingqing ;Zhang, Lichen ] Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China

来源:Lecture Notes in Electrical Engineering,2014,277 LNEE,1357-1363

收录类别:SCOPUS;EI

资源类型:外文期刊论文;外文会议论文

11. Modeling of train control systems using formal techniques SCOPUS EI

作者:Xu B.; Zhang L.

通讯作者:Zhang, L.(zhanglichen1962@163.com)

通讯作者地址:Zhang, L.; Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China; 电子邮件: zhanglichen1962@163.com

作者机构:[Xu, Bingqing ;Zhang, Lichen ] Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China

来源:Lecture Notes in Electrical Engineering,2014,277 LNEE,1349-1356

收录类别:SCOPUS;EI

Scopus被引:1

资源类型:外文期刊论文;外文会议论文

12. Verification of UML sequence diagrams in Coq SCOPUS EI

作者:Dou L.;Lu L.;Zuo Y.;Yang Z.

通讯作者:Dou, L.(ldou@cs.ecnu.edu.cn)

通讯作者地址:Dou, L.; Department of Computer Science and Technology, East China Normal University, Shanghai 200241, China; 电子邮件: ldou@cs.ecnu.edu.cn

作者机构:[Dou, Liang ;Zuo, Ying ;Yang, Zongyuan ] Department of Computer Science and Technology, East China Normal University, Shanghai 200241, China;[Lu, Lunj 更多

来源:Lecture Notes in Electrical Engineering,2014,277 LNEE,1233-1244

收录类别:SCOPUS;EI

资源类型:外文期刊论文;外文会议论文

13. QoS modeling of cyber physical systems by the integration of AADL and aspect-oriented methods lichen zhang SCOPUS EI

作者:Zhang L.

通讯作者:Zhang, L.(zhanglichen1962@163.com)

通讯作者地址:Zhang, L.; Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China; 电子邮件: zhanglichen1962@163.com

作者机构:[Zhang, L. ] Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China

来源:Lecture Notes in Electrical Engineering,2014,260 LNEE,419-428

收录类别:SCOPUS;EI

资源类型:外文期刊论文;外文会议论文

14. Pricing strategies for reverse supply chain of electronic waste based on game theory SCOPUS EI

作者:Sun H.;Hong F.;Xue Y.

通讯作者:Xue, Y.(yaofeng.xue@163.com)

通讯作者地址:Xue, Y.; Shanghai Engineering Research Center of Digital Educational Equipment, East China Normal University, Shanghai, China; 电子邮件: yaofeng.xue@163.com

作者机构:[Sun, Huali ;Hong, Feng ] Management School, Shanghai University, Shanghai, China;[Xue, Yaofeng ] Shanghai Engineering Research Center of Digital Educ 更多

来源:Lecture Notes in Electrical Engineering,2014,237 LNEE,563-571

收录类别:SCOPUS;EI

资源类型:外文期刊论文;外文会议论文

15. Distributed T-distribution-based intrusion detection in wireless sensor networks SCOPUS EI

作者:Cheng P.;Zhu M.;Liu X.

通讯作者:Zhu, M.(mhzhu@sei.ecnu.edu.cn)

通讯作者地址:Zhu, M.; Software Engineering Institute, East China Normal University, Shanghai 200062, China; 电子邮件: mhzhu@sei.ecnu.edu.cn

作者机构:[Cheng, Pu ;Zhu, Minghua ;Liu, Xianzhong ] Software Engineering Institute, East China Normal University, Shanghai 200062, China;[Cheng, Pu ] Software 更多

来源:Lecture Notes in Electrical Engineering,2014,295 LNEE,313-323

收录类别:SCOPUS;EI

Scopus被引:1

资源类型:外文期刊论文;外文会议论文

16. Formal specification of railway control systems SCOPUS EI

作者:Xu B.; Zhang L.

通讯作者:Zhang, L.(zhanglichen1962@163.com)

通讯作者地址:Zhang, L.; Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China; 电子邮件: zhanglichen1962@163.com

作者机构:[Xu, Bingqing ;Zhang, Lichen ] Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China

来源:Lecture Notes in Electrical Engineering,2014,260 LNEE,389-399

收录类别:SCOPUS;EI

资源类型:外文期刊论文;外文会议论文

17. The research of SVR algorithms based on several loss functions and the application in exchange rate prediction SCOPUS EI

作者:Wan F.;Shen L.

通讯作者:Wan, F.(fywan@math.ecnu.edu.cn)

通讯作者地址:Wan, F.; Department of Mathematics, East China Normal University, Shanghai 200241, China; 电子邮件: fywan@math.ecnu.edu.cn

作者机构:[Wan, Fuyong ;Shen, Lijing ] Department of Mathematics, East China Normal University, Shanghai 200241, China

来源:Lecture Notes in Electrical Engineering,2014,278 LNEE,215-225

收录类别:SCOPUS;EI

资源类型:外文期刊论文;外文会议论文

18. Integrated approach for modeling cyber physical systems SCOPUS EI

作者:Feng S.; Zhang L.

通讯作者:Zhang, L.(zhanglichen1962@163.com)

通讯作者地址:Zhang, L.; Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China; 电子邮件: zhanglichen1962@163.com

作者机构:[Feng, Shuguang ;Zhang, Lichen ] Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China

来源:Lecture Notes in Electrical Engineering,2014,260 LNEE,371-376

收录类别:SCOPUS;EI

资源类型:外文期刊论文;外文会议论文

19. A clock based approach to the formal specification of cyber physical systems SCOPUS EI

作者:Xu B.; Zhang L.

通讯作者:Zhang, L.(zhanglichen1962@163.com)

通讯作者地址:Zhang, L.; Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China; 电子邮件: zhanglichen1962@163.com

作者机构:[Xu, Bingqing ;Zhang, Lichen ] Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China

来源:Lecture Notes in Electrical Engineering,2014,260 LNEE,401-409

收录类别:SCOPUS;EI

资源类型:外文期刊论文;外文会议论文

20. A mechanism of transforming architecture analysis and design language into modelica SCOPUS EI

作者:Feng S.; Zhang L.

通讯作者:Feng, S.(zhanglichen1962@163.com)

通讯作者地址:Feng, S.; Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China; 电子邮件: zhanglichen1962@163.com

作者机构:[Feng, Shuguang ;Zhang, Lichen ] Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China

来源:Lecture Notes in Electrical Engineering,2014,277 LNEE,1117-1123

收录类别:SCOPUS;EI

资源类型:外文期刊论文;外文会议论文

共 3 页, 50 条记录

TOP