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

Search Results

Help

Item hits: (Results 1-10 of 10)

Filters    
Items/Page:    Sort:
A temporal programming model with atomic blocks based on projection temporal logic [期刊论文]
Frontiers of Computer Science, 2014-01-01
Yang, Xiaoxiao (1); Zhang, Y. (1); Fu, Ming (2); Feng, Xinyu (2)

 
云计算环境虚拟机匿名身份证明方案 [期刊论文]
软件学报, 2013-01-01, 卷号: 24, 期号: 12, 页码: 2897-2908
张严; 冯登国; 于爱民

 
LTL satisfiability checking revisited [会议论文]
20th International Symposium on Temporal Representation and Reasoning, TIME 2013, Pensacola, FL, United states, September 26, 2013 - September 28, 2013
Li, Jianwen (1); Zhang, Lijun (2); Pu, Geguang (1); Vardi, Moshe Y. (3); He, Jifeng (1)

 
a hash-tlb approach for mmu virtualization in xen/ia64 [会议论文]
IPDPS 2008 - 22nd IEEE International Parallel and Distributed Processing Symposium, Miami, FL, United states, April 14,
Zhang Xiantao; Xu Anthony X. F.; Li Qi; Yau David K. Y.; Qing Sihan; Zhang Huanguo
  |  
 
mining quantitative associations in large database [会议论文]
7th Asia-Pacific Web Conference, Shanghai, PEOPLES R CHINA, MAR 29-APR
Hui CY; Wang YJ; Zhang BY; Yang Q; Wang Q; Zhou JH; He R; Yan Y
  |  
 
schema homomorphism - an algebraic framework for schema matching [会议论文]
10th Asian Computing Science Conference, Kunming, PEOPLES R CHINA, DEC 07-09,
Zhang Z; Che HY; Shi PF; Sun Y; Gu J
  |  
 
applying component-based meta-service in liquid operating system for pervasive computing [会议论文]
1st International Conference on Embedded Software and Systems, Hangzhou, PEOPLES R CHINA, DEC 09-10,
Ma B; Zhang Y; Shi XG
  |  
 
an algebraic framework for schema matching [会议论文]
6th International Conference on Web -Age Informational Management, Hangzhou, PEOPLES R CHINA, OCT 11-13,
Zhang Z; Che HY; Shi PF; Sun Y; Gu J
  |  
 
on mitigating network partitioning in peer-to-peer massively multiplayer games [会议论文]
3rd International Conference on Computer Networks and Mobile Computing (ICCNMC 2005), Zhangjiajie, PEOPLES R CHINA, AUG 02-04,
He Y; Zhang Y; Guo J
  |  
 
multi-labeled graph matching - an algorithm model for schema matching [期刊论文]
ADVANCES IN COMPUTER SCIENCE - ASIAN 2005, PROCEEDINGS, 2005-01-01, 卷号: 3818, 页码: 90-103
Zhang Z; Che HY; Shi PF; Sun Y; Gu J
  |  
 

1

 

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