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

Search Results

Help

Item hits: (Results 1-10 of 31)

Items/Page:    Sort:
Deciding probabilistic automata weak bisimulation: theory and practice [期刊论文]
FORMAL ASPECTS OF COMPUTING, 2016-01-01, 卷号: 28, 期号: 1, 页码: 109-143
Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A
  |  
 
Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes [期刊论文]
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2016-01-01, 卷号: 25, 期号: 3
He, F; Gao, XW; Wang, MF; Wang, BY; Zhang, LJ
  |  
 
GLOBAL REGULARITY AND MULTISCALE APPROACH FOR THERMAL RADIATION HEAT TRANSFER [期刊论文]
MULTISCALE MODELING & SIMULATION, 2014-01-01, 卷号: 12, 期号: 2, 页码: 694-724
Huang, Jizu; Cao, Liqun

 
Web services composition: A decade's overview [期刊论文]
Information Sciences, 2014-01-01, 卷号: 280, 页码: 218-238
Sheng, Quan Z. (1); Qiao, Xiaoqiang (2); Vasilakos, Athanasios V. (3); Szabo, Claudia (1); Bourne, Scott (1); Xu, Xiaofei (4)

 
基于可信芯片的平台身份证明方案研究 [期刊论文]
通信学报, 2014-01-01, 卷号: 35, 期号: 8, 页码: 95-106
张倩颖; 冯登国; 赵世军

 
Real-time depth-of-field rendering using single-layer composition [会议论文]
Fang, Xiaoxin (1); Sheng, Bin (1); Wu, Wen (3); Fan, Zengzhi (1); Ma, Lizhuang (1)

 
Intent-aware image cloning [期刊论文]
VISUAL COMPUTER, 2013-01-01, 卷号: 29, 期号: 6-8, 页码: 599-608
Bie, Xiaohui; Wang, Wencheng; Sun, Hanqiu; Huang, Haoda; Zhang, Minying

 
ASSUME-GUARANTEE REASONING WITH LOCAL SPECIFICATIONS [期刊论文]
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2013-01-01, 卷号: 24, 期号: 4, 页码: 419-444
Lomuscio, Alessio; Strulo, Ben; Walker, Nigel; Wu, Peng

 
BPELDebugger: An effective BPEL-specific fault localization framework [期刊论文]
Information and Software Technology, 2013-01-01, 卷号: 55, 期号: 12, 页码: 2140-2153
Sun, Chang-Ai (1); Zhai, Yi Meng (1); Shang, Yan (1); Zhang, Zhenyu (2)

 
a molecular dynamics-continuum coupled model for heat transfer in composite materials [期刊论文]
Multiscale Modeling and Simulation, 2012-01-01, 卷号: 10, 期号: 4, 页码: 1292-1316
Huang Jizu; Cao Liqun; Yang Sam

 

1 2 3 4 next

 

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