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

Search Results

 Help

Item hits: (Results 1-10 of 37)

Items/Page:    Sort:
An Experimental Study for Intelligent Logistics: A Middleware Approach [期刊论文]
CHINESE JOURNAL OF ELECTRONICS, 2016-01-01, 卷号: 25, 期号: 3, 页码: 561-569
Yang, R; Li, B; Hu, Y
  |  
 
Reusing Service Process Fragments with a Consensus Between Service Providers and Users [期刊论文]
CHINESE JOURNAL OF ELECTRONICS, 2016-01-01, 卷号: 25, 期号: 4, 页码: 648-657
Yang, R; Li, B; Wang Jian(王健); Li, ZY; Hu, Y
  |  
 
一种面向虚拟化环境的失效检测系统设计与实现 [学位论文]
硕士, 北京: 中国科学院大学, 2015-05-01
杨立苑
  |  
 
Using simulation to evaluate error detection strategies: A case study of cloud-based deployment processes [期刊论文]
JOURNAL OF SYSTEMS AND SOFTWARE, 2015-01-01, 卷号: 110, 页码: 205-221
Chen, J; Xu, XW; Osterweil, LJ; Zhu, LM; Brun, Y; Bass, L; Xiao, JC; Li, MS; Wang, Q
  |  
 
A survey on resource allocation in high performance distributed computing systems [期刊论文]
PARALLEL COMPUTING, 2013-01-01, 卷号: 39, 期号: 11, 页码: 709-736
Hussain, Hameed; Malik, Saif Ur Rehman; Hameed, Abdul; Khan, Samee Ullah; Bickler, Gage; Min-Allah, Nasro; Qureshi, Muhammad Bilal; Zhang, Limin; Wang Yongji; Ghani, Nasir; Kolodziej, Joanna; Zomaya, Albert Y.; Xu, Cheng-Zhong; Balaji, Pavan; Vishnu, Abhinav; Pinel, Fredric; Pecero, Johnatan E.; Kliazovich, Dzmitry; Bouvry, Pascal; Li, Hongxiang; Wang, Lizhe; Chen, Dan; Rayes, Ammar

 
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)

 
tempplet: a new method for domain-specific ontology design [会议论文]
1st International Conference on Engineering and Deployment of Cooperative Information Systems, 北京, 2002-9-17
Dong Y; Li Mingshu

 
a risk-driven design model for embedded system [会议论文]
2nd Asia-Pacific Conference on Quality Software, 北京, 2001-12-10
Dong Y; Li Mingshu
  |  
 
Web容器性能关键技术研究 [学位论文]
博士, 中科院软件所5#610-1: 中国科学院软件研究所, 2010-01-19
李洋
  |  
 
软件发布机制体系结构研究 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 4, 页码: 700-705
赵雨水; 左春; 杨立; 杨泳
  |  
 

1 2 3 4 next

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