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

Item hits: (Results 1-3 of 3)

Items/Page: Sort:
	具有冲突约束的RBAC模型的形式化规范与证明 [期刊论文] 计算机研究与发展, 2006-01-01, 卷号: 43, 期号: z2 袁春阳; 贺也平; 何建波; 周洲仪 \|
	消除结构冗余的XML数据库模式规范化设计 [期刊论文] 计算机研究与发展, 2004-01-01, 卷号: 41, 期号: 10, 页码: 1809-1814 吴永辉 \|
	一种将设计模式用于程序精化演算的并行程序设计方法研究 [期刊论文] 计算机研究与发展, 2003-01-01, 卷号: 40, 期号: 2, 页码: 318-324 万剑怡; 孙永强; 薛锦云 \|


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