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

Search Results

Help

Item hits: (Results 1-10 of 48)

Items/Page:    Sort:
utilization bound for periodic task set with composite deadline [期刊论文]
Computers and Electrical Engineering, 2010-01-01, 卷号: 36, 期号: 6, 页码: 1101-1109
Min-Allah Nasro; Ali Ishtiaq; Xing Jiansheng; Wang Yongji
  |  
 
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

 
a parallel shortest path algorithm based on graph-partitioning and iterative correcting [期刊论文]
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2009-01-01, 卷号: 24, 期号: 5, 页码: 351-360
Tang Yuxin; Zhang Yunquan; Chen Hu

 
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
  |  
 
scenario-focused development method for a pen-based user interface: model and applications [期刊论文]
JOURNAL OF SUPERCOMPUTING, 2008-01-01, 卷号: 46, 期号: 2, 页码: 139-149
Wang Danli; Dai Guozhong; Wang Hongan; Chiu Steve C.

 

1 2 3 4 5 next

 

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