QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Applying Probabilistic Model Checking to Financial Production Risk Evaluation and Control: A Case Study of Alibaba's Yu'e Bao 期刊论文 IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, 2018, 卷号: 5, 页码: 785-795 作者:  Gao, Honghao[1];  Mao, Shunyi[2];  Huang, Wanqiu[3];  Yang, Xiaoxian[4] 收藏  |  浏览/下载：12/0  |  提交时间：2019/04/22 Business profits maximization  capital risks minimization  investment strategy  probabilistic model checking  reserve ratio  risk evaluation control   Toward service selection for workflow reconfiguration: An interface-based computing solution 期刊论文 FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2018, 卷号: 87, 页码: 298-311 作者:  Gao, Honghao[1];  Huang, Wanqiu[2];  Yang, Xiaoxian[3];  Duan, Yucong[4];  Yin, Yuyu[5] 收藏  |  浏览/下载：5/0  |  提交时间：2019/04/22 Service workflow  Reconfiguration patterns  Interface operations  Quality computing  Architecture design   A numerical-analysis-based optimization method for location selection for planning residential areas in grid transportation networks 期刊论文 AUTOMATIKA, 2017, 卷号: 58, 页码: 460-472 作者:  Yang, Xiaoxian[1];  Bian, Minjie[2];  Chen, Lujing[3];  Gao, Zenggui[4] 收藏  |  浏览/下载：4/0  |  提交时间：2019/04/24 Residential Area  shortest routes  quantitative evaluation  evaluation indices  analytic hierarchy process  location planning and optimization   The functional similarity computing for service workflow using temporal behaviors verification 期刊论文 International Journal of u- and e- Service, Science and Technology, 2016, 卷号: 9, 页码: 387-398 作者:  Yang, Xiaoxian[1];  Yu, Tao[2];  Xu, Huahu[3] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/26 A Novel Framework of Using Petri Net to Timed Service Business Process Modeling 期刊论文 INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2016, 卷号: 26, 页码: 633-652 作者:  Yang, Xiaoxian[1];  Yu, Tao[2];  Xu, Huahu[3] 收藏  |  浏览/下载：8/0  |  提交时间：2019/04/26 Web service  modern service industry  business process modeling  Petri Net  timed specifications  formal verification   A Survey on Workflow Verifications of Petri Nets based Service Process Management 期刊论文 INTERNATIONAL JOURNAL OF GRID AND DISTRIBUTED COMPUTING, 2015, 卷号: 8, 页码: 79-89 作者:  Yang, Xiaoxian[1];  Yu, Tao[2];  Xu, Huahu[3] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/26 Service Process  Services Composition  Petri Nets  Workflow Descriptions  Formal Modeling and Verification