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

Search Results

Help

Item hits: (Results 101-110 of 133)

Items/Page:    Sort:
declarative performance modeling for component-based system using uml profile for schedulability, performance and time [会议论文]
4th IEEE International Conference on Software Engineering and Formal Methods, Pune, INDIA, SEP 11-15,
Zhang Yong; Huang Tao; Wei Jun
  |  
 
declarative performance modeling for component-based system using uml profile for schedulability, performance and time [会议论文]
4th IEEE International Conference on Software Engineering and Formal Methods, Pune, INDIA, SEP 11-15,
Zhang Yong; Huang Tao; Wei Jun
  |  
 
对一类多级安全模型安全性的形式化分析 [期刊论文]
计算机学报, 2006-01-01, 卷号: 29, 期号: 8, 页码: 1468-1479
何建波; 卿斯汉; 王超
  |  
 
facilitating formal specification acquisition by using recursive functions on context-free languages [期刊论文]
KNOWLEDGE-BASED SYSTEMS, 2006-01-01, 卷号: 19, 期号: 2, 页码: 141-151
Chen HM; Dong YM
  |  
 
facilitating formal specification acquisition by using recursive functions on context-free languages [期刊论文]
KNOWLEDGE-BASED SYSTEMS, 2006-01-01, 卷号: 19, 期号: 2, 页码: 141-151
Chen HM; Dong YM
  |  
 
facilitating formal specification acquisition by using recursive functions on context-free languages [期刊论文]
KNOWLEDGE-BASED SYSTEMS, 2006-01-01, 卷号: 19, 期号: 2, 页码: 141-151
Chen HM; Dong YM
  |  
 
数据库管理系统多民族语言支持研究 [期刊论文]
中文信息学报, 2006-01-01, 卷号: 20, 期号: 2, 页码: 94-100
程伟; 林河水; 吴健; 孙玉芳
  |  
 
facilitating formal specification acquisition by using recursive functions on context-free languages [期刊论文]
Knowledge-Based Systems, 2006-01-01, 卷号: 19, 期号: 2, 页码: 141-151
Chen Haiming; Yunmei Dong
  |  
 
a self-adaptive energy-aware data gathering mechanism for wireless sensor networks [会议论文]
International Conference on Intelligent Computing, Hefei, PEOPLES R CHINA, AUG 23-26,
Sun LM; Yan TX; Bi YZ; Zhu HS
  |  
 
using the web corpus to translate the queries in cross-lingual information retrieval [会议论文]
International Conference on Natural Language Processing and Knowledge Engineering, Wuhan, PEOPLES R CHINA, OCT 30-NOV
Zhang JL; Sun L; Min JM
  |  
 

previous 2 3 4 5 6 7 8 9 10 11 12 13 14 next

 

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