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

Search Results

Help

Item hits: (Results 1-10 of 39)

Items/Page:    Sort:
effective and efficient event dissemination for rfid applications [期刊论文]
COMPUTER JOURNAL, 2009-01-01, 卷号: 52, 期号: 8, 页码: 988-1005
Jin Beihong; Zhao Xinchao; Long Zhenyue; Qi Fengliang; Yu Shuang

 
enumerating proofs of positive formulae [期刊论文]
COMPUTER JOURNAL, 2009-01-01, 卷号: 52, 期号: 7, 页码: 799-807
Dowek Gilles; Jiang Ying

 
an improved smart card based password authentication scheme with provable security [期刊论文]
COMPUTER STANDARDS & INTERFACES, 2009-01-01, 卷号: 31, 期号: 4, 页码: 723-728
Xu Jing; Zhu Wen-Tao; Feng Deng-Guo
  |  
 
lumiproxy: a hybrid representation of image-based models [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009-01-01, 卷号: 24, 期号: 3, 页码: 578-587
Sheng Bin; Zhu Jian; Wu En-Hua; Zhang Yan-Ci
  |  
 
improved bounded model checking for the universal fragment of ctl [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009-01-01, 卷号: 24, 期号: 1, 页码: 96-109
Xu Liang; Chen Wei; Xu Yan-Yan; Zhang Wen-Hui

 
runtime monitoring compositeweb services through stateful aspect extension [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009-01-01, 卷号: 24, 期号: 2, 页码: 294-308
Huang Tao; Wu Guo-Quan; Wei Jun

 
on constrained facility location problems [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2008-01-01, 卷号: 23, 期号: 5, 页码: 740-748
Li Wei-Lin; Zhang Peng; Zhu Da-Ming
  |  
 
a protocol for a private set-operation [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2007-01-01, 卷号: 22, 期号: 6, 页码: 822-829
Li Rong-Hua; Wu Chuan-Kun
  |  
 
an ontology-based approach for semantic conflict resolution in database integration [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2007-01-01, 卷号: 22, 期号: 2, 页码: 218-227
Liu Qiang; Huang Tao; Liu Shao-Hua; Zhong Hua
  |  
 
extending interactive web services for improving presentation level integration in web portals [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2006-01-01, 卷号: 21, 期号: 4, 页码: 620-COVER3
Song Jing-Yu; Wei Jun; Wan Shu-Chao; Huang Tao
  |  
 

1 2 3 4 next

 

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