QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 学科主题：Computer Science, Software Engineering     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 partial constraint checking for context consistency in pervasive computing 期刊论文 ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2010, 卷号: 19, 期号: 3, 页码: - Xu Chang; Cheung S. C.; Chan W. K.; Ye Chunyang 收藏  |  浏览/下载：16/0  |  提交时间：2011/05/23 Algorithms  Performances  Theory  Constraints  performance  pervasive computing  validation   user-centric similarity and proximity measures for spatial personalization 期刊论文 INTERNATIONAL JOURNAL OF DATA WAREHOUSING AND MINING, 2010, 卷号: 6, 期号: 2, 页码: 59-78 Yang Yanwu; Claramunt Christophe; Aufaure Marie-Aude; Zhang Wensheng 收藏  |  浏览/下载：14/0  |  提交时间：2011/05/23 Conceptual Map  Similarity Measure  Spatial Personalization  Spatial Proximity  User-Centric   refinement and verification in component-based model-driven design 期刊论文 SCIENCE OF COMPUTER PROGRAMMING, 2009, 卷号: 74, 期号: 4, 页码: 168-196 Chen Zhenbang; Liu Zhiming; Ravn Anders P.; Stolz Volker; Zhan Naijun 收藏  |  浏览/下载：8/0  |  提交时间：2011/03/18 Formal methods   chinas budding software industry 期刊论文 IEEE SOFTWARE, 2001, 卷号: 18, 期号: 3, 页码: 92-95 Ju DH 收藏  |  浏览/下载：10/0  |  提交时间：2011/07/29