篇名 | Necessary and sufficient checkpoint selection for temporal verification of high-confidence cloud workflow systems | ||
来源期刊 | 中国科学 | 学科 | 工学 |
关键词 | 工作流系统 有效时间 检查点 验证 可信度 QoS保证 工作流程 选择策略 | ||
年,卷(期) | zgkx_2015,(5) | 所属期刊栏目 | |
研究方向 | 页码范围 | 29-44 | |
页数 | 16页 | 分类号 | TP31 |
字数 | 语种 | 中文 | |
DOI |