中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-4 of 4)

Items/Page:    Sort:
关于可满足性问题的一些研究及其在模型检测中的应用 [学位论文]
博士, 北京: 中国科学院研究生院, 2010-05-31
陈伟
  |  
 
一种基于OBDD图的事件复合匹配方法 [期刊论文]
计算机研究与发展, 2006-01-01, 卷号: 43, 期号: 10, 页码: 1751-1759
徐罡; 马建刚; 黄涛
  |  
 
extending obdd graphs for composite event matching in content-based pub/sub systems [会议论文]
4th International Symposium on Parallel and Distributed Computing (ISPDC 2005), Lille, FRANCE, JUL 04-06,
Gang X; Wei X; Tao H
  |  
 
an extended event matching approach in content-based pub/sub systems for eai [会议论文]
9th IEEE International Enterprise Distributed Object Computing Conference, Enschede, NETHERLANDS, SEP 19-23,
Xu G; Xu W; Huang T
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2021  中国科学院软件研究所 - Feedback
Powered by CSpace