QQ客服 官方微博 反馈留言

浏览/检索结果: 共12条，第1-10条 帮助 限定条件 内容类型：会议论文    专题：华南理工大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 On the semantics of scenario-based specification based on timed computational tree logic (EI收录) 会议论文 Proceedings of the Australian Software Engineering Conference, ASWEC, Melbourne, VIC, Australia, June 4, 2013 - June 7, 2013 作者:  Li, Wenrui[1,2];  Zhang, Pengcheng[3,4] 收藏  |  浏览/下载：0/0  |  提交时间：2019/04/15 Forestry  Model checking  Real time systems  Semantics  Software engineering   Sky-MCSP-R: An efficient graph-based Web service composition approach (EI收录) 会议论文 Proceedings - Asia-Pacific Software Engineering Conference, APSEC, Bangkok, Thailand, December 2, 2013 - December 5, 2013 作者:  Sun, Pengjiao[1];  Zhang, Pengcheng[1,3];  Li, Wenrui[2];  Guo, Xuejun[1];  Feng, Jun[1] 收藏  |  浏览/下载：2/0  |  提交时间：2019/04/15 Algorithms  Graph theory  Graphic methods  Quality of service  Social networking (online)  Software engineering  Websites   Game-based monitors for scenario-based specification (EI收录) 会议论文 Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, Singapore, Singapore, July 17, 2013 - July 19, 2013 作者:  Zhang, Pengcheng[1,2];  Yu, Jun[1];  Li, Wenrui[3];  Leung, Hareton[4] 收藏  |  浏览/下载：7/0  |  提交时间：2019/04/15 Semantics  Specifications   A framework for self-healing service compositions in cloud computing environments (EI收录) 会议论文 Proceedings - 2012 IEEE 19th International Conference on Web Services, ICWS 2012, Honolulu, HI, United states, June 24, 2012 - June 29, 2012 作者:  Li, Wenrui[1];  Zhang, Pengcheng[2,3];  Yang, Zhongxue[1] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/15 Cloud computing  Elasticity  Quality of service  Web services  Websites   Predicting failures in dynamic composite services with proactive monitoring technique (EI收录) 会议论文 Proceedings - 2012 IEEE 8th World Congress on Services, SERVICES 2012, Honolulu, HI, United states, June 24, 2012 - June 29, 2012 作者:  Zhu, Yuelong[1];  Wu, Xiaobin[1];  Zhang, Pengcheng[1,2];  Leung, Hareton[3];  Li, Wenrui[4] 收藏  |  浏览/下载：2/0  |  提交时间：2019/04/15 Monitoring  Quality of service  Web services  Websites   Model checking WS-BPEL with universal modal sequence diagrams (EI收录) 会议论文 Proceedings - 2011 10th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2011, Sanya, Hainan Island, China, May 16, 2011 - May 18, 2011 作者:  Li, Wenrui[1,2];  Yang, Zhongxue[2];  Zhang, Pengcheng[1,3];  Wang, Zhijian[3] 收藏  |  浏览/下载：0/0  |  提交时间：2019/04/15 Information science  Semantics  Specifications   Generating probabilistic temporal logic formulas from probabilistic scenario-based specifications (EI收录) 会议论文 Proceedings - 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, Shaanxi, China, August 29, 2011 - August 31, 2011 作者:  Li, Wenrui[1,3];  Zhang, Pengcheng[2,3];  Wang, Zhijian[2];  Yang, Zhongxue[1] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/15 Model checking  Software engineering  Specifications  Stochastic models  Stochastic systems  Syntactics  Temporal logic   Towards Confidentiality of ID-Based Signcryption Schemes under without Random Oracle Model (CPCI-S收录) 会议论文 INTELLIGENCE AND SECURITY INFORMATICS, PROCEEDINGS 作者:  Zhang, Mingwu[1,3];  Li, Pengcheng[1];  Yang, Bo[1];  Wang, Hao[2];  Takagi, Tsuyoshi[3] 收藏  |  浏览/下载：0/0  |  提交时间：2019/04/16 Confidentiality  signcryption  without random oracles  chosen plaintext attacks   A new BPSO algorithm and applications in interruptible load management (EI收录) 会议论文 Lecture Notes in Electrical Engineering, Shanghai, China, June 6, 2010 - June 9, 2010 作者:  Huang, Ping[1,2];  Li, Pengcheng[3];  Zhang, Yao[2];  Yu, Jinyang[1];  Yuan, Yongquan[1] 收藏  |  浏览/下载：0/0  |  提交时间：2019/04/16 Algorithms  Experiments  Iterative methods  Multiobjective optimization  Neural networks  Particle swarm optimization (PSO)   Towards confidentiality of ID-based signcryption schemes under without random oracle model (EI收录) 会议论文 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Hyderabad, India, June 21, 2010 - June 21, 2010 作者:  Zhang, Mingwu[1,3];  Li, Pengcheng[1];  Yang, Bo[1];  Wang, Hao[2];  Takagi, Tsuyoshi[3] 收藏  |  浏览/下载：0/0  |  提交时间：2019/04/16 Information science  Security of data