QQ客服 官方微博 反馈留言

浏览/检索结果: 共9条，第1-9条 帮助 限定条件 专题：安徽大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 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 Cloud  computing  Parallel  business  processes  Queuing  theory  Workflow  temporal  verification  Temporal  violation  handling  Quality  of  service   Where to fix temporal violations: A novel handling point selection strategy for business cloud workflows 期刊论文 Proceedings - 2016 IEEE International Conference on Services Computing, SCC 2016, 2016, 页码: 155-162 作者:  Luo,Haoyu;  Liu,Jin;  Wang,Futian;  Liu,Xiao 收藏  |  浏览/下载：2/0  |  提交时间：2019/04/22 temporal  verification  handling  point  selection  business  workflows  quality  of  service  cloud  computing   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 DYNAMIC VERIFICATION  SYSTEMS  CONSTRAINTS  SELECTION  STRATEGY   Temporal verification for scientific cloud workflows: State-of-the-art and research challenges 期刊论文 Communications in Computer and Information Science, 2015, 卷号: Vol.495, 页码: 59-74 作者:  Wang,Futian;  Liu,Xiao;  Zhao,Zhou;  Wang,Qiudan 收藏  |  浏览/下载：2/0  |  提交时间：2019/04/22 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 DYNAMIC VERIFICATION  CONSTRAINTS  STRATEGY   Throughput based temporal verification for monitoring large batch of parallel processes 期刊论文 ACM International Conference Proceeding Series, 2014, 页码: 124-133 作者:  Yuan,Dong;  Yang,Yun;  Wang,Dingxian;  Wang,Futian;  Liu,Xiao 收藏  |  浏览/下载：4/0  |  提交时间：2019/04/22 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 DYNAMIC VERIFICATION  MANAGEMENT-SYSTEMS  CONSTRAINTS  ENVIRONMENTS  TAXONOMY   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 Preventing Temporal Violations in Scientific Workflows: Where and How 期刊论文 IEEE Transactions on Software Engineering, 2011, 卷号: Vol.37 No.6, 页码: 805-825 作者:  Chen,JJ;  Jiang,YC;  Yang,Y;  Liu,X 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/22 FIXED-TIME CONSTRAINTS  GENETIC-ALGORITHM  DYNAMIC VERIFICATION  PETRI NETS  SYSTEMS