中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-5 of 5)

Items/Page: Sort:
	基于约束的主动规则终止性分析 [期刊论文] 计算机研究与发展, 2006-01-01, 卷号: 43, 期号: 5, 页码: 894-900 徐贵红; 张健 \|
	消除结构冗余的XML数据库模式规范化设计 [期刊论文] 计算机研究与发展, 2004-01-01, 卷号: 41, 期号: 10, 页码: 1809-1814 吴永辉 \|
	语义Web规则标记语言OWLRule+的设计与实现 [期刊论文] 计算机研究与发展, 2004-01-01, 卷号: 41, 期号: 7, 页码: 1088-1096 梁晟; 付弘宇; 李明树 \|
	RPRDM:基于重复和部分角色的转授权模型 [期刊论文] 计算机研究与发展, 2003-01-01, 卷号: 40, 期号: 2, 页码: 221-227 赵庆松; 孙玉芳; 孙波 \|
	经典BLP安全公理的一种适应性标记实施方法及其正确性 [期刊论文] 计算机研究与发展, 2001-01-01, 卷号: 38, 期号: 11, 页码: 1366-1372 石文昌; 孙玉芳; 梁洪亮 \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In