按条件检索“55”条记录

已选条件: 来源数据库: CPCI-S ×
导出
  • 排序
  • 显示
1. Efficient Secure and Privacy-Preserving Route Reporting Scheme for VANETs CPCI-S

作者:Zhang, YF;Pei, QW;Dai, FF;Zhang, L

通讯作者地址:Zhang, YF (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

作者机构:[Zhang, Yuanfei; Pei, Qianwen; Dai, Feifei; Zhang, Lei] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

来源:2017 INTERNATIONAL CONFERENCE ON CLOUD TECHNOLOGY AND COMMUNICATION; ENGINEERING (CTCE2017),2017,Vol.910

收录类别:CPCI-S

会议时间:AUG 18-20, 2017

会议名称:International Conference on Cloud Technology and Communication; Engineering (CTCE)

资源类型:外文会议论文

2. Comparative Modeling and Verification of Pthreads and Dthreads SCOPUS CPCI-S EI

作者:Fei, Y;Zhu, HB;Wu, X;Fang, HX

通讯作者地址:Fei, Y (reprint author), E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

作者机构:[Fei, Yuan; Zhu, Huibiao; Wu, Xi; Fang, Huixing] E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China 更多

来源:2016 IEEE 17TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS; ENGINEERING (HASE),2016,2016-March,132-140

收录类别:SCOPUS;CPCI-S;EI

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

3. Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks SCOPUS CPCI-S EI

作者:Wu, X;Zhao, YX;Zhu, HB

通讯作者:Zhu, Huibiao(hbzhu@sei.ecnu.edu.cn)

通讯作者地址:Zhu, HB (reprint author), E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

作者机构:[Wu, Xi; Zhao, Yongxin; Zhu, Huibiao] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

来源:2016 IEEE 17TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS; ENGINEERING (HASE),2016,2016-March,220-227

收录类别:SCOPUS;CPCI-S;EI

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

4. A New Roadmap on Linking Theories of Programming SCOPUS CPCI-S EI

作者:He, JF

通讯作者:Jifeng, He(jifeng@sei.ecnu.edu.cn)

通讯作者地址:He, JF (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

作者机构:[He Jifeng] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

来源:2016 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE; ENGINEERING (TASE),2016,2

收录类别:SCOPUS;CPCI-S;EI

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

7. An Object-Oriented Language for Modeling of Hybrid Systems SCOPUS CPCI-S EI

作者:Fang, HX;Zhu, HB;Shi, JQ

通讯作者地址:Fang, HX (reprint author), East China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

作者机构:[Fang, Huixing; Zhu, Huibiao] East China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.; [Shi, Jianq 更多

来源:2015 IEEE 16TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS; ENGINEERING (HASE),2015,2015-January,January,1-9

收录类别:SCOPUS;CPCI-S;EI

WOS被引:4

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

8. There Is A Will, There Is A Way -A new mechanism for traffic control based on VTL and VANET SCOPUS CPCI-S EI

作者:Shi, JM;Peng, C;Zhu, Q;Duan, PF;Bao, Y;Xie, MJ

通讯作者地址:Shi, JM (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Inst Software Engn, Shanghai, Peoples R China.

作者机构:[Shi, Jingmin; Peng, Chao; Zhu, Qin; Duan, Pengfei; Bao, Yu] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Inst Software Engn, Shanghai, 更多

来源:2015 IEEE 16TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS; ENGINEERING (HASE),2015,2015-January,January,240-246

收录类别:SCOPUS;CPCI-S;EI

WOS被引:2

Scopus被引:4

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

9. Modeling and Verifying Google File System SCOPUS CPCI-S EI

作者:Li, B;Wang, MD;Zhao, YX;Pu, GG;Zhu, HB;Song, F

通讯作者:Pu, Geguang

通讯作者地址:Pu, GG (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

作者机构:[Li, Bo; Wang, Mengdi; Zhao, Yongxin; Pu, Geguang; Zhu, Huibiao; Song, Fu] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, People 更多

来源:2015 IEEE 16TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS; ENGINEERING (HASE),2015,2015-January,January,207-214

收录类别:SCOPUS;CPCI-S;EI

WOS被引:1

Scopus被引:4

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

10. Formalization and Verification of REST Architecture in Viewpoints SCOPUS CPCI-S EI

作者:Tang, YT;Wu, X;Zhu, HB;Guo, J

通讯作者地址:Tang, YT (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Inst Software Engn, Shanghai, Peoples R China.

作者机构:[Tang, Yiting; Wu, Xi; Zhu, Huibiao; Guo, Jian] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Inst Software Engn, Shanghai, Peoples R Chi 更多

来源:2015 IEEE 16TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS; ENGINEERING (HASE),2015,2015-January,January,197-206

收录类别:SCOPUS;CPCI-S;EI

WOS被引:1

Scopus被引:1

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

12. A Calculus for Wireless Sensor Networks from Quality Perspective SCOPUS CPCI-S EI

作者:Wu, X;Zhu, HB

通讯作者地址:Wu, X (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

作者机构:[Wu, Xi; Zhu, Huibiao] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

来源:2015 IEEE 16TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS; ENGINEERING (HASE),2015,2015-January,January,223-231

收录类别:SCOPUS;CPCI-S;EI

WOS被引:1

Scopus被引:6

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

13. Evaluation and Analysis of the Routing Protocol Based on a Realistic Mobility Model Using SUMO and NS2 for VANET CPCI-S

作者:Zhu, QA;Su, YY;Wang, XL;Cai, HB

通讯作者地址:Zhu, QA (reprint author), E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

作者机构:[Zhu, Q. A.; Su, Y. Y.; Wang, X. L.; Cai, H. B.] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

来源:INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ENVIRONMENTAL; ENGINEERING (CSEE 2015),2015,794-802

收录类别:CPCI-S

会议时间:MAY 17-18, 2015

会议名称:International Conference on Computer Science and Environmental; Engineering (CSEE)

资源类型:外文会议论文

14. Research on Load Balancing of Cloud Storage System Based on Kademlia CPCI-S

作者:Zheng, K;Wang, S;Chen, YG

通讯作者地址:Zheng, K (reprint author), E China Normal Univ, Sch Informat Sci Technol, Shanghai 200062, Peoples R China.

作者机构:[Zheng, K.; Wang, S.; Chen, Y. G.] E China Normal Univ, Sch Informat Sci Technol, Shanghai 200062, Peoples R China.

来源:INTERNATIONAL CONFERENCE ON ADVANCED MANAGEMENT SCIENCE AND INFORMATION; ENGINEERING (AMSIE 2015),2015,782-788

收录类别:CPCI-S

会议时间:SEP 20-21, 2015

会议名称:International Conference on Advanced Management Science and Information; Engineering (AMSIE)

资源类型:外文会议论文

15. Solving One-dimension Cutting Stock Problem with Huge Data Set by Linear Programming CPCI-S

作者:Guo, H;Guo, J

通讯作者地址:Guo, J (reprint author), East China Normal Univ, Ctr Comp, 3663 Zhong Shan Rd N, Shanghai, Peoples R China.

作者机构:[Guo, Hao; Guo, Jun] East China Normal Univ, Ctr Comp, 3663 Zhong Shan Rd N, Shanghai, Peoples R China.

来源:2015 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND MANAGEMENT; ENGINEERING (ICISME 2015),2015,34-39

收录类别:CPCI-S

会议时间:DEC 20-21, 2015

会议名称:International Conference on Information Science and Management; Engineering (ICISME)

资源类型:外文会议论文

16. Lasso Screening for Object Categories Recognition Using Multi-directional Context Features SCOPUS CPCI-S

作者:Shen, DF;Cao, GT;Meng, D

通讯作者地址:Shen, DF (reprint author), East China Normal Univ, Inst Software Engn, Shanghai, Peoples R China.

作者机构:[Shen, Danfei; Cao, Guitao; Meng, Dan] East China Normal Univ, Inst Software Engn, Shanghai, Peoples R China.

来源:2015 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE; ENGINEERING (ISKE),2015,434-441

收录类别:SCOPUS;CPCI-S

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

17. Security Enhanced Anonymous Remote User Authentication and Key Agreement for Cloud Computing SCOPUS CPCI-S EI

作者:Dong, ZM;Zhang, L;Li, JT

通讯作者:Zhang, Lei

通讯作者地址:Zhang, L (reprint author), East China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

作者机构:[Dong, Zheming; Zhang, Lei; Li, Jiangtao] East China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

来源:2014 IEEE 17th International Conference on Computational Science and; Engineering (CSE),2014,1746-1751

收录类别:SCOPUS;CPCI-S;EI

WOS被引:1

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

20. On Denotational Semantics of Spatial-Temporal Consistency Language STeC SCOPUS EI CPCI-S

作者:Wu, HY;Chen, YX;Zhang, M

通讯作者地址:Wu, HY (reprint author), Hangzhou Dianzi Univ, Informat Engn Coll, Hangzhou 310018, Zhejiang, Peoples R China.

作者机构:[Wu, Hengyang] Hangzhou Dianzi Univ, Informat Engn Coll, Hangzhou 310018, Zhejiang, Peoples R China.; [Chen, Yixiang; Zhang, Min] E China Normal Uni 更多

来源:2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE; ENGINEERING (TASE),2013,113-120

收录类别:SCOPUS;EI;CPCI-S

会议时间:JUL 01-03, 2013

会议名称:7th International Symposium on Theoretical Aspects of Software; Engineering (TASE)

WOS被引:3

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

共 3 页, 55 条记录

TOP