QQ客服 官方微博 反馈留言

浏览/检索结果: 共2条，第1-2条 帮助 限定条件 发表日期：2016     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Research on Probabilistic Optimization to Dynamic Composition for Service Replacement 期刊论文 INTERNATIONAL JOURNAL OF GRID AND DISTRIBUTED COMPUTING, 2016, 卷号: 9, 页码: 385-396 作者:  Gao, Honghao[1];  Bian, Minjie[2];  Duan, Yucong[3];  Zhu, Yonghua[4] 收藏  |  浏览/下载：11/0  |  提交时间：2019/04/26 Dynamic Composition  Service Replacement  Probabilistic Solution Graph  Quantitative Computing  Optimized Service Planning   Applying Probabilistic Model Checking to Express Delivery Location Selection and Optimization 会议论文 13th IEEE International Conference on e-Business Engineering (ICEBE), 2016-11-04 作者:  Zhu, Yonghua[1];  Xue, Xiaoyi[2];  Zhang, Kai[3];  Mao, Shunyi[4];  Gao, Honghao[5] 收藏  |  浏览/下载：4/0  |  提交时间：2019/04/26 Probabilistic Model Checking  Express Delivery  Location Selection and Optimization  Formal Verification  PRISM