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

Search Results

Help

Item hits: (Results 1-3 of 3)

Filters    
Items/Page:    Sort:
CCMC: A conditional CSL model checker for continuous-time Markov chains [会议论文]
11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, Hanoi, Viet nam, October 15, 2013 - October 18, 2013
Gao, Yang (1); Hahn, Ernst Moritz (1); Zhan, Naijun (1); Zhang, Lijun (1)

 
a hybrid search engine framework for the internet of things based on spatial-temporal, value-based, and keyword-based conditions [会议论文]
2012 IEEE International Conference on Green Computing and Communications, GreenCom 2012, 2012 IEEE International Conference on Internet of Things, iThings 2012 and 5th IEEE International Conference on Cyber, Physical and Social Computing, CPSCom 2012, Besancon, France, November 20, 2012 - November 23, 2012
Ding Zhiming; Gao Xu; Guo Limin; Yang Qi

 
a hybrid search engine framework for the internet of things [会议论文]
9th Web Information Systems and Applications Conference, WISA 2012, Haikou, Hainan, China, November 16, 2012 - November 18, 2012
Ding Zhiming; Dai Jian; Gao Xu; Yang Qi

 

1

 

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