CORC

在结果中检索

CORC

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

限定条件                    
已选(0)清除 条数/页：   排序方式：
基于发布/订阅中间件的时空事件检测研究 期刊论文
计算机科学, 2012, 卷号: 39, 期号: 10, 页码: 99-103,135
禚伟; 金蓓弘; 陈海彪; 张利峰
收藏  |  浏览/下载：17/0  |  提交时间：2013/09/17
实时复杂事件处理的最坏响应时间估算 期刊论文
计算机研究与发展, 2012, 卷号: 49, 期号: 10, 页码: 2054-2065
李想; 范玉顺; 王宏安; 乔颖
收藏  |  浏览/下载：11/0  |  提交时间：2013/09/17
an efficient lazy smt solver for nonlinear numerical constraints 会议论文
21st IEEE International WETICE Conference, WETICE 2012, Toulouse, France, June 25, 2012 - June 27, 2012
Ji Xiaohui; Ma Feifei
收藏  |  浏览/下载：10/0  |  提交时间：2013/09/22
cloud detection based on segmentation with statistical and geometry features 会议论文
2012 32nd IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2012, Munich, Germany, July 22, 2012 - July 27, 2012
Li Bangyu; Li Xia
收藏  |  浏览/下载：13/0  |  提交时间：2013/09/22
qos-oriented data dissemination in vanets 会议论文
2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2012, Shanghai, China, May 21, 2012 - May 25, 2012
Zhang Lifeng; Jin Beihong
收藏  |  浏览/下载：13/0  |  提交时间：2013/09/22
proving liveness property under strengthened compassion requirements 会议论文
9th Annual Conference on Theory and Applications of Models of Computation, TAMC 2012, Beijing, China, May 16, 2012 - May 21, 2012
Long Teng; Zhang Wenhui
收藏  |  浏览/下载：7/0  |  提交时间：2013/09/22
rank reduction for the local consistency problem 期刊论文
JOURNAL OF MATHEMATICAL PHYSICS, 2012, 卷号: 53, 期号: 2, 页码: -
Chen Jianxin; Ji Zhengfeng; Klyachko Alexander; Kribs David W.; Zeng Bei
收藏  |  浏览/下载：14/0  |  提交时间：2013/09/17
specification and monitoring of data-centric temporal properties for service-based systems 期刊论文
Journal of Systems and Software, 2012, 卷号: 85, 期号: 12, 页码: -
Wu Guoquan; Wei Jun; Ye Chunyang; Zhong Hua; Huang Tao; He Hong
收藏  |  浏览/下载：12/0  |  提交时间：2012/11/12
black-box testing based on colorful taint analysis 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2012, 卷号: 55, 期号: 1, 页码: 171-183
Chen Kai; Feng DengGuo; Su PuRui; Zhang YingJun
收藏  |  浏览/下载：17/0  |  提交时间：2013/09/17
a hierarchical evolutionary trajectory planner for spacecraft formation reconfiguration 期刊论文
IEEE Transactions on Aerospace and Electronic Systems, 2012, 卷号: 48, 期号: 1, 页码: 279-289
Wang Shuyan; Zheng Changwen
收藏  |  浏览/下载：12/0  |  提交时间：2013/09/17

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