中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
作者
王健 [1]
Content Type
期刊论文 [47]
Issued Date
Language
Project
Spnsorship
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 1-10 of 47)

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

 
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.

 
thta: triangle-shaped hierarchy aggregation time allocation algorithm for wireless sensor network [期刊论文]
WCNC 2008: IEEE WIRELESS COMMUNICATIONS & NETWORKING CONFERENCE, VOLS 1-7, 2008-01-01, 期号: 1, 页码: 2397-2402
Huangfu Wei; Duan Bin; Sun Limin; Chen Canfeng; Ma Jian
  |  
 

1 2 3 4 5 next

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