Search Results

Item hits: (Results 1-10 of 233)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectIssue Date AscendingIssue Date DescendingSubmitted Time AscendingSubmitted Time DescendingTitle AscendingTitle DescendingAuthor AscendingAuthor Descending
	Efficient approximation of optimal control for continuous-time Markov games [期刊论文] INFORMATION AND COMPUTATION, 2016-01-01, 卷号: 247, 页码: 106-129 Fearnley, J; Rabe, MN; Schewe, S; Zhang, LJ   |
	Perspectives on refactoring planning and practice: an empirical study [期刊论文] EMPIRICAL SOFTWARE ENGINEERING, 2016-01-01, 卷号: 21, 期号: 3, 页码: 1397-1436 Chen, J; Xiao, JC; Wang, Q; Osterweil, LJ; Li, MS   |
	Reusing Service Process Fragments with a Consensus Between Service Providers and Users [期刊论文] CHINESE JOURNAL OF ELECTRONICS, 2016-01-01, 卷号: 25, 期号: 4, 页码: 648-657 Yang, R; Li, B; Wang Jian(王健); Li, ZY; Hu, Y   |
	Using simulation to evaluate error detection strategies: A case study of cloud-based deployment processes [期刊论文] JOURNAL OF SYSTEMS AND SOFTWARE, 2015-01-01, 卷号: 110, 页码: 205-221 Chen, J; Xu, XW; Osterweil, LJ; Zhu, LM; Brun, Y; Bass, L; Xiao, JC; Li, MS; Wang, Q   |
	Transient Reward Approximation for Continuous-Time Markov Chains [期刊论文] IEEE TRANSACTIONS ON RELIABILITY, 2015-01-01, 卷号: 64, 期号: 4, 页码: 1254-1275 Hahn, EM; Hermanns, H; Wimmer, R; Becker, B   |
	带时间和资源约束的实例化过程模型验证方法 [期刊论文] 计算机系统应用, 2014-01-01, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松
	A graph distance based metric for data oriented workflow retrieval with variable time constraints [期刊论文] Expert Systems with Applications, 2014-01-01, 卷号: 41, 期号: 4 PART 1, 页码: 1377-1388 Ma, Yinglong (1); Zhang, Xiaolan (1); Lu, Ke (3)
	异构平台上性能自适应FFT框架 [期刊论文] 计算机研究与发展, 2014-01-01, 卷号: 51, 期号: 3, 页码: 637-649 李焱; 张云泉
	一种数据驱动的流程优化可视分析方法 [期刊论文] 计算机应用与软件, 2014-01-01, 卷号: 31, 期号: 7, 页码: 5-8,35 杨雷; 樊银亭; 董延昊; 滕东兴
	Real-time depth-of-field rendering using single-layer composition [会议论文] Fang, Xiaoxin (1); Sheng, Bin (1); Wu, Wen (3); Fan, Zengzhi (1); Ma, Lizhuang (1)

1 2 3 4 5 6 7 8 9 10 next