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

Search Results

Help

Item hits: (Results 1-10 of 42)

Filters    
Items/Page:    Sort:
partial constraint checking for context consistency in pervasive computing [期刊论文]
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2010-01-01, 卷号: 19, 期号: 3, 页码: -
Xu Chang; Cheung S. C.; Chan W. K.; Ye Chunyang
  |  
 
user-centric similarity and proximity measures for spatial personalization [期刊论文]
INTERNATIONAL JOURNAL OF DATA WAREHOUSING AND MINING, 2010-01-01, 卷号: 6, 期号: 2, 页码: 59-78
Yang Yanwu; Claramunt Christophe; Aufaure Marie-Aude; Zhang Wensheng
  |  
 
a heuristic approach to positive root isolation for multiple power sums [期刊论文]
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2010-01-01, 卷号: 16, 期号: 14, 页码: 1912-1926
Xu Ming; Mu Chuandong; Zeng Zhenbing; Li Zhi-bin
  |  
 
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
  |  
 
refinement and verification in component-based model-driven design [期刊论文]
SCIENCE OF COMPUTER PROGRAMMING, 2009-01-01, 卷号: 74, 期号: 4, 页码: 168-196
Chen Zhenbang; Liu Zhiming; Ravn Anders P.; Stolz Volker; Zhan Naijun
  |  
 
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
  |  
 
generation of triangular mesh with specified size by circle packing [期刊论文]
ADVANCES IN ENGINEERING SOFTWARE, 2007-01-01, 卷号: 38, 期号: 2, 页码: 133-142
Wang W. X.; Ming C. Y.; Lo S. H.
  |  
 
a near-optimal optimization algorithm for link assignment in wireless ad-hoc networks [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2006-01-01, 卷号: 21, 期号: 1, 页码: 89-94
Liu HC; Zhao BH
  |  
 

1 2 3 4 5 next

 

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