按条件检索“22”条记录

已选条件: 资源类型: 外文会议论文 ×
导出
  • 排序
  • 显示
2. Reliability model research on E-business system composited with web services SCOPUS EI

作者:Du Y.

通讯作者:Du, Y.(ygdu@sei.ecnu.edu.cn)

通讯作者地址:Du, Y.; Software Engineering Institute, East China Normal University, 3663 Zhongshan North Road, Shanghai, China; 电子邮件: ygdu@sei.ecnu.edu.cn

作者机构:[Du, Yugen ] Software Engineering Institute, East China Normal University, 3663 Zhongshan North Road, Shanghai, China

来源:Advances in Intelligent and Soft Computing,2012,143 AISC,285-293

收录类别:SCOPUS;EI

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

4. Reliability Model Research on E-Business System Composited with Web Services CPCI-SSH CPCI-S

作者:Du, YG

作者机构:[Du, Yugen] E China Normal Univ, Inst Software Engn, Shanghai 200062, Peoples R China.

来源:BUSINESS, ECONOMICS, FINANCIAL SCIENCES, AND MANAGEMENT,2012,Vol.143,285-293

收录类别:CPCI-SSH;CPCI-S

会议时间:DEC 30-31, 2011

会议名称:International Conference on Business, Economics, and Financial Sciences,; Management (BEFM 2011)

资源类型:外文会议论文

6. Trustworthiness expectation of real-time web services SCOPUS EI

作者:Wu X.;Chen Y.

通讯作者:Wu, X.(xinxingwu@gmail.com)

通讯作者地址:Wu, X.; Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China; 电子邮件: xinxingwu@gmail.com

作者机构:[Wu, Xinxing ;Chen, Yixiang ] Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China

来源:Proceedings - Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing in Conjunction with the UIC 2010 and ATC 2010 Conferences, UIC-ATC 2010,2010,292-298

收录类别:SCOPUS;EI

Scopus被引:2

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

7. Success measurement of web services with BPEL SCOPUS EI

作者:Chen Y.;Wu X.

通讯作者:Chen, Y.(yxchen@sei.ecnu.edu.cn)

通讯作者地址:Chen, Y.; Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China; 电子邮件: yxchen@sei.ecnu.edu.cn

作者机构:[Chen, Yixiang ;Wu, Xinxing ] Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China

来源:Proceedings - 5th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2010,2010,86-90

收录类别:SCOPUS;EI

Scopus被引:6

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

8. An Approach for Integrating Geospatial Processing Services into Three-Dimensional GIS CPCI-S

作者:Hu, YJ;Wu, JP;Zhong, HD;Lv, ZH;Yu, BL

通讯作者地址:Yu, BL (reprint author), E China Normal Univ, Minist Educ, Key Lab Geog Informat Sci, Shanghai 200062, Peoples R China.

作者机构:[Hu, Yingjie; Wu, Jianping; Zhong, Haidong; Lv, Zhenhua; Yu, Bailang] E China Normal Univ, Minist Educ, Key Lab Geog Informat Sci, Shanghai 200062, Pe 更多

来源:WEB INFORMATION SYSTEMS AND MINING,2010,Vol.6318,154-161

收录类别:CPCI-S

会议时间:OCT 23-24, 2010

会议名称:International Conference on Web Information Systems and Mining

WOS被引:1

资源类型:外文会议论文

9. Transaction Calculus (Invited Paper) SCIE CPCI-S

作者:He, JF

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

作者机构:[He, JF]E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

来源:UNIFYING THEORIES OF PROGRAMMING,2010,Vol.5713,2-21

收录类别:SCIE;CPCI-S

会议时间:SEP 08-10, 2008

会议名称:2nd International Symposium on Unifying Theories of Programming

资源类型:外文会议论文

10. A Probabilistic BPEL-Like Language CPCI-S

作者:He, JF

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

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

来源:UNIFYING THEORIES OF PROGRAMMING,2010,Vol.6445,74-100

收录类别:CPCI-S

会议时间:NOV 15-16, 2010

会议名称:3rd International Symposium on Unifying Theories of Programming

WOS被引:3

资源类型:外文会议论文

11. Automatically Testing Web Services Choreography with Assertions SCIE CPCI-S

作者:Zhou, L;Ping, J;Xiao, H;Wang, Z;Pu, GG;Ding, ZH

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

作者机构:[Zhou, Lei; Ping, Jing; Xiao, Hao; Wang, Zheng; Pu, Geguang] E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai 2000 更多

来源:FORMAL METHODS AND SOFTWARE ENGINEERING,2010,Vol.6447,138-154

收录类别:SCIE;CPCI-S

会议时间:NOV 17-19, 2010

会议名称:12th International Conference on Formal Engineering Methods

WOS被引:5

资源类型:外文会议论文

12. Service oriented management of heterogeneous wireless sensor networks SCOPUS EI

作者:Zhang Y.

通讯作者:Zhang, Y.(zhangyuebupt@gmail.com)

通讯作者地址:Zhang, Y.; Software Engineering Institute, East China Normal University, Shanghai, China; 电子邮件: zhangyuebupt@gmail.com

作者机构:[Zhang, Yue ] Software Engineering Institute, East China Normal University, Shanghai, China

来源:Proceedings - 5th International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM 2009,2009

收录类别:SCOPUS;EI

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

13. Simulation and validation of Web services choreography SCOPUS EI

作者:Zhou L.;Xiao H.;Ping J.;Pu G.;Zhang H.

通讯作者:Zhou, L.(ray-zhou@hotmail.com)

通讯作者地址:Zhou, L.; Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University, Shanghai, China; 电子邮件: ray-zhou@hotmail.com

作者机构:[Zhou, Lei ;Xiao, Hao ;Ping, Jing ;Pu, Geguang ;Zhang, Hanyi ] Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East 更多

来源:IEEE International Conference on Service-Oriented Computing and Applications, SOCA' 09,2009,278-285

收录类别:SCOPUS;EI

Scopus被引:2

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

14. Service Oriented Management of Heterogeneous Wireless Sensor Networks CPCI-S

作者:Zhang, Y

通讯作者地址:Zhang, Y (reprint author), E China Normal Univ, Inst Software Engn, Shanghai 200062, Peoples R China.

作者机构:[Zhang, Y]E China Normal Univ, Inst Software Engn, Shanghai 200062, Peoples R China.

来源:2009 5TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING; AND MOBILE COMPUTING, VOLS 1-8,2009,3655-3658

收录类别:CPCI-S

会议时间:SEP 24-26, 2009

会议名称:5th International Conference on Wireless Communications, Networking and; Mobile Computing

资源类型:外文会议论文

15. Orchestrating Semantic Web services with Semantic Programming Language SCOPUS EI

作者:Hong-Hua C.; Shi Y.; De-Hui D.; Yang X.

通讯作者:Hong-Hua, C.(cao_honghua@hotmail.com)

通讯作者地址:Hong-Hua, C.; State Key Lab. of Software Engineering, Wuhan University, Wuhan, China; 电子邮件: cao_honghua@hotmail.com

作者机构:[Hong-Hua, Cao ;Shi, Ying ;Yang, Xiao ] State Key Lab. of Software Engineering, Wuhan University, Wuhan, China;[De-Hui, Du ] Software Engineering Inst 更多

来源:Proceedings - 1st IEEE International Workshop on Semantic Computing and Systems, WSCS 2008,2008,101-106

收录类别:SCOPUS;EI

Scopus被引:4

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

16. Static check of WS-CDL documents SCOPUS EI

作者:Zhou L.;Zhang H.;Wang T.;Yang C.;Wang Z.;Sun M.;Pu G.

通讯作者:Pu, G.(ggpu@sei.ecnu.edu.cn)

通讯作者地址:Pu, G.; Shanghai Key Laboratory, Trustworthy Computing Software Engineering Institute, East China Normal University, Shanghai, China; 电子邮件: ggpu@sei.ecnu.edu.cn

作者机构:[Zhou, Lei ;Zhang, Hanyi ;Wang, Tao ;Yang, Chuchao ;Wang, Zheng ;Pu, Geguang ] Shanghai Key Laboratory, Trustworthy Computing Software Engineering Ins 更多

来源:Proceedings of the 4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008,2008,142-147

收录类别:SCOPUS;EI

Scopus被引:12

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

17. A denotational model for web services choreography SCOPUS EI

作者:Pu G.;Zhao Y.;Wang Z.;Feng L.;Zhu H.;He J.

通讯作者:Zhao, Y.(yxzhao@sei.ecnu.edu.cn)

通讯作者地址:Zhao, Y.; Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University, Shanghai 200062, China; 电子邮件: yxzhao@sei.ecnu.edu.cn

作者机构:[Pu, Geguang ;Zhao, Yongxin ;Wang, Zheng ;Feng, Libo ;Zhu, Huibiao ;He, Jifeng ] Shanghai Key Laboratory of Trustworthy Computing, Software Engineerin 更多

来源:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),2008,5375 LNCS,1-12

收录类别:SCOPUS;EI

Scopus被引:6

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

18. Modelling Coordination and Compensation SCIE CPCI-S

作者:He, JF

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

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

来源:LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION,; PROCEEDINGS,2008,Vol.17,15-36

收录类别:SCIE;CPCI-S

会议时间:OCT 13-15, 2008

会议名称:3rd International Symposium on Leveraging Applications of Formal; Methods, Verification and Validation

WOS被引:1

资源类型:外文会议论文

19. A Denotational Model for Web Services Choreography SCIE CPCI-S

作者:Pu, GG;Zhao, YX;Wang, Z;Feng, LB;Zhu, HB;He, JF

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

作者机构:[Pu, Geguang; Zhao, Yongxin; Wang, Zheng; Feng, Libo; Zhu, Huibiao; He, Jifeng] E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy 更多

来源:DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, PROCEEDINGS,2008,Vol.5375,1-12

收录类别:SCIE;CPCI-S

会议时间:DEC 10-12, 2008

会议名称:5th International Conference on Distributed Computing and Internet; Technologies

WOS被引:2

资源类型:外文会议论文

20. An operational approach to BPEL-like programming SCOPUS SCIE CPCI-S EI

作者:Zhu, HB;He, JF;Pu, GG;Li, J

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

通讯作者地址:Zhu, HB (reprint author), E China Normal Univ, Inst Software Engn, 3663 Zhongshan Rd N, Shanghai 200062, Peoples R China.

作者机构:[Zhu, Huibiao; He, Jifeng; Pu, Geguang; Li, Jing] E China Normal Univ, Inst Software Engn, Shanghai 200062, Peoples R China.

来源:31ST IEEE SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS,2007,236-245

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

WOS被引:6

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

共 2 页, 22 条记录

TOP