CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
Sliding-window based Propagation-aware Temporal Verification for Monitoring Parallel Cloud Business Workflows 会议论文
作者:  Wang, Yeguo;  Xu, Rongbin;  Wang, Futian;  Luo, Haoyu;  Wang, Menglong
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/05
Adaptive temporal verification and violation handling for time-constrained business cloud workflows 会议论文
作者:  Luo, Haoyu;  Liu, Xiao;  Liu, Jin;  Han, Bo;  Yang, Yun
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/05
NR4A1 Associated Multimodal Neuroimaging Patterns Impaired in Mesial Temporal Lobe Epilepsy 会议论文
Rome, Italy, 2019/06/09
作者:  Zhi DM(支冬梅)
收藏  |  浏览/下载：11/0  |  提交时间：2021/06/28
Propagation-Aware Temporal Verification for Parallel Business Cloud Workflows 会议论文
作者:  Luo, Haoyu;  Liu, Xiao;  Liu, Jin;  Yang, Yun
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/05
Where to Fix Temporal Violations: A Novel Handling Point Selection Strategy for Business Cloud Workflows 会议论文
作者:  Luo, Haoyu;  Liu, Xiao;  Liu, Jin;  Wang, Futian
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/05
Research on Continuous Path Guidance Method Based on the City Point of Interest 会议论文
International Conference on Automation, Mechanical Control and Computational Engineering (AMCCE), Jinan, PEOPLES R CHINA, April 24-26, 2015
作者:  Wang DP(王丹萍);  Hu KY(胡琨元);  Han Xiaowei
收藏  |  浏览/下载：18/0  |  提交时间：2015/09/08
Teaching Video Analytics Based on Student Spatial and Temporal Behavior Mining 会议论文
作者:  Qin, Jinxian;  Zhou, Yaqian;  Lu, Hong;  Ya, Heqing
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/19
Temporal Logic of Stochastic Actions for Verification of Probabilistic Systems 会议论文
Jiangnan Univ, Guizhou Univ Finance and Econ, Guiyang, PEOPLES R CHINA, AUG 18-24, 2015
作者:  Li Jun-tao;  Long Shi-gong
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/31
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
QBF encoding of temporal properties and QBF-based verification 会议论文
7th International Joint Conference on Automated Reasoning, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19, 2014 - July 22, 2014
Zhang, Wenhui (1)
收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16

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