QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择发表日期升序发表日期降序作者升序作者降序提交时间升序提交时间降序题名升序题名降序 Similarity and equivalence of epistemic states (EI收录) 会议论文 2013 IEEE 3rd International Conference on Information Science and Technology, ICIST 2013, Yangzhou, Jiangsu, China, March 23, 2013 - March 25, 2013 作者:  Xiao, Wenjie[1];  Yang, Zhongxue[1,2] 收藏  |  浏览/下载：0/0  |  提交时间：2019/04/15 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   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