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

Search Results

Help

Item hits: (Results 1-10 of 21)

Items/Page:    Sort:
Rabin's theorem in the concurrency setting: A conjecture [期刊论文]
Theoretical Computer Science, 2014-01-01, 卷号: 546, 页码: 225-236
Thiagarajan, P.S. (1); Yang, Shaofa (2)

 
a content-based publish/subscribe system for efficient event notification over vehicular ad hoc networks [会议论文]
IEEE 9th International Conference on Ubiquitous Intelligence and Computing (UIC) / IEEE 9th International Conference on Autonomic and Trusted Computing (ATC), Fukuoka, JAPAN, SEP 04-07, 2012
Zhang, FuSang(张扶桑); Jin Beihong; Zhuo Wei; Wang, ZhaoYang(汪兆洋); Zhang Lifeng

 
基于ECA规则推理的故障诊断技术 [期刊论文]
计算机工程与设计, 2011-01-01, 期号: 3, 页码: 1023-1028
李欣; 乔颖; 李想; 杰艺
  |  
 
spatio-temporal events in the internet of things [会议论文]
IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, EUC 2010, Hong Kong, 40878
Beihong Jin; Haibiao Chen
  |  
 
a petri net-based model for verification of obligations and accountability in cooperative systems [期刊论文]
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009-01-01, 卷号: 39, 期号: 2, 页码: 299-308
Du YuYue; Jiang ChangJun; Zhou MengChu

 
trajectory prediction for routing optimization in pub/sub systems [会议论文]
3rd International Conference on Convergence and Hybrid Information Technology, Busan, SOUTH KOREA, NOV 11-13,
Lin Chen; Jin Beihong; Qi Fengliang
  |  
 
complex event routing in pub/sub systems using traffic analysis model [会议论文]
3rd International Conference on Convergence and Hybrid Information Technology, Busan, SOUTH KOREA, NOV 11-13,
Long Zhenyue; Jin Beihong; Zhao Xinchao
  |  
 
real-time reasoning based on event-condition-action rules [会议论文]
On the Move Confederated International Conference and Workshops, Monterrey, MEXICO, NOV 09-14,
Qiao Ying; Li Xiang; Wang Hongan; Zhong Kang
  |  
 
developing a concurrent service orchestration engine based on event-driven architecture [会议论文]
On the Move Confederated International Conference and Workshops, Monterrey, MEXICO, NOV 09-14,
Chen Wei; Wei Jun; Wu Guoquan; Qiao Xiaoqiang
  |  
 
efficient event matching in publish/subscribe: based on routing destination and matching history [会议论文]
IEEE International Conference on Networking, Architecture, and Storage, Chongqing, PEOPLES R CHINA, JUN 12-14,
Guo Xiangfeng; Wei Jun; Han Dongli
  |  
 

1 2 3 next

 

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