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

Search Results

Help

Item hits: (Results 1-10 of 11)

Items/Page:    Sort:
A space-efficient simulation algorithm on probabilistic automata [期刊论文]
INFORMATION AND COMPUTATION, 2016-01-01, 卷号: 249, 页码: 138-159
Zhang, LJ; Jansen, DN
  |  
 
Trace Abstraction Refinement for Solving Horn Clauses [期刊论文]
COMPUTER JOURNAL, 2016-01-01, 卷号: 59, 期号: 8, 页码: 1236-1251
Wang, WF; Jiao, L

 
基于多层次优化技术的XACML策略评估引擎 [期刊论文]
软件学报, 2011-01-01, 卷号: 22, 期号: 2, 页码: 323-338
王雅哲; 冯登国; 张立武; 张敏
  |  
 
on hierarchically developing reactive systems [期刊论文]
INFORMATION AND COMPUTATION, 2010-01-01, 卷号: 208, 期号: 9, 页码: 997-1019
Zhan Naijun; Majster-Cederbaum Mila
  |  
 
efficient monitoring of skyline queries over distributed data streams [期刊论文]
KNOWLEDGE AND INFORMATION SYSTEMS, 2010-01-01, 卷号: 25, 期号: 3, 页码: 575-606
Sun Shengli; Huang Zhenghua; Zhong Hao; Dai Dongbo; Liu Hongbin; Li Jinjiu
  |  
 
a requirement traceability refinement method based on relevance feedback [会议论文]
21st International Conference on Software Engineering and Knowledge Engineering, SEKE 2009, Boston, MA, United states, 44013
Kong Lingjun; Li Juan; Li Yin; Yang Ye; Wang Qing
  |  
 
property preservation by petri-net-based refinements in system design [会议论文]
9th International Conference for Young Computer Scientists, Zhangjiajie, PEOPLES R CHINA, NOV 18-21,
Xia Chuanliang
  |  
 
refining and verifying regular petri nets [期刊论文]
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2008-01-01, 卷号: 39, 期号: 1, 页码: 17-27
Li Jiao
  |  
 
一种改进的数据求精证明规则 [期刊论文]
计算机工程, 2008-01-01, 卷号: 34, 期号: 1, 页码: 23-25
张宏; 贺也平; 石志国
  |  
 
软件体系结构求精方法研究 [期刊论文]
计算机科学, 2003-01-01, 卷号: 30, 期号: 4, 页码: 108-110
戎玫; 张广泉
  |  
 

1 2 next

 

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