CORC

在结果中检索

CORC

浏览/检索结果: 共15条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
A sufficient and necessary temporal violation handling point selection strategy in cloud workflow 期刊论文
Future Generation Computer Systems, 2018, 卷号: Vol.86, 页码: 464-479
作者:  Yun Yang;  Haoyu Luo;  Xiao Liu;  Yeguo Wang;  Ying Xie
收藏  |  浏览/下载：4/0  |  提交时间：2019/04/22
A sufficient and necessary temporal violation handling point selection strategy in cloud workflow 期刊论文
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2018, 卷号: 86
作者:  Xu, Rongbin;  Wang, Yeguo;  Luo, Haoyu;  Wang, Futian;  Xie, Ying
收藏  |  浏览/下载：10/0  |  提交时间：2019/12/05
Workflow temporal verification for monitoring parallel business processes 期刊论文
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2016, 卷号: Vol.28 No.4, 页码: 286-302
作者:  Yuan,Dong;  Yang,Yun;  Wang,Dingxian;  Wang,Futian;  Liu,Xiao
收藏  |  浏览/下载：3/0  |  提交时间：2019/04/24
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
Necessary and sufficient checkpoint selection for temporal verification of high-confidence cloud workflow systems 期刊论文
Science in China. Series F: Information Sciences, 2015, 卷号: Vol.58 No.5, 页码: 1-16
作者:  Liu Xiao;  Yang Yun;  Wang FuTian
收藏  |  浏览/下载：6/0  |  提交时间：2019/04/22
Temporal verification for business cloud workflows: Open research issues 会议论文
10th International Conference on Semantics, Knowledge and Grids, SKG 2014, Beijing, China, August 27, 2014 - August 29, 2014
作者:  Zhao, Zhou;  Wang, Futian;  Fan, Xiaoliang;  Liu, Xiao
收藏  |  浏览/下载：4/0  |  提交时间：2017/01/18
Do we need to handle every temporal violation in scientific workflow systems? 期刊论文
ACM Transactions on Software Engineering and Methodology, 2014, 卷号: Vol.23 No.1
作者:  Yang, Yun;  Yuan, Dong;  Liu, Xiao;  Chen, Jinjun
收藏  |  浏览/下载：4/0  |  提交时间：2019/04/22
A novel strategy for improving temporal verification efficiency of scientific workflow based on temporal constraints accordance adjustment 期刊论文
Journal of Information and Computational Science, 2014, 卷号: Vol.11 No.12, 页码: 4309-4317
作者:  Li, Xuejun;  Li, Longshu;  Wu, Lei
收藏  |  浏览/下载：3/0  |  提交时间：2019/04/24
工作流时序约束模型分析与验证方法 期刊论文
2010, 2010
王远; 范玉顺; WANG Yuan; FAN Yu-Shun
收藏  |  浏览/下载：1/0
一种基于Petri网的时间工作流模型的研究与验证 期刊论文
2010, 2010
李丹; 陈启璋; 刘强; LI Dan; CHEN Qizhang; LIU Qiang
收藏  |  浏览/下载：1/0

©版权所有 ©2017 CSpace - Powered by CSpace