中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共47条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
问题框架方法的可靠性关注点及系统可靠性增强模式 期刊论文
计算机学报, 2013, 卷号: 036, 期号: 001, 页码: 074
作者:  尹斌;  金芝;  李智
收藏  |  浏览/下载：61/0  |  提交时间：2020/01/10
基于时间自动机的物联网服务建模和验证 期刊论文
计算机学报, 2011, 卷号: 034, 期号: 008, 页码: 1365
作者:  李力行;  金芝;  李戈
收藏  |  浏览/下载：132/0  |  提交时间：2020/01/10
知识引导的软件可信性需求的提取 期刊论文
计算机学报, 2011, 卷号: 034, 期号: 011, 页码: 2165
作者:  王越;  刘春;  张伟;  金芝
收藏  |  浏览/下载：117/0  |  提交时间：2020/01/10
从交互情景出发的需求捕获方法及其支撑工具 期刊论文
计算机学报, 2011, 卷号: 034, 期号: 002, 页码: 329
作者:  陈小红;  尹斌;  金芝
收藏  |  浏览/下载：53/0  |  提交时间：2020/01/10
曲面变形的水平集方法 期刊论文
计算机学报, 2009, 卷号: 000, 期号: 002, 页码: 213
作者:  潘青;  徐国良
收藏  |  浏览/下载：137/0  |  提交时间：2020/01/10
面向服务的建模：一种全过程复用的方法 期刊论文
计算机学报, 2008, 卷号: 031, 期号: 008, 页码: 1293
作者:  吴步丹;  金芝;  赵彬
收藏  |  浏览/下载：128/0  |  提交时间：2020/01/10
基于共享位置的Petri网系统综合与保性 期刊论文
计算机学报, 2007, 卷号: 030, 期号: 003, 页码: 352
作者:  焦莉;  陆维明
收藏  |  浏览/下载：50/0  |  提交时间：2020/01/10
数字签名方案中的孤悬因子和冗余数据 期刊论文
计算机学报, 2006, 卷号: 029, 期号: 002, 页码: 249
作者:  曹正军;  刘木兰
收藏  |  浏览/下载：62/0  |  提交时间：2020/01/10
一个基于强RSA数字签名方案的改进 期刊论文
计算机学报, 2006, 卷号: 029, 期号: 009, 页码: 1617
作者:  曹正军;  刘木兰
收藏  |  浏览/下载：137/0  |  提交时间：2020/01/10
关联规则挖掘的取样误差量化模型和快速估计算法 期刊论文
计算机学报, 2006, 卷号: 29.0, 期号: 004, 页码: 625-634
作者:  贾彩燕;  陆汝钤
收藏  |  浏览/下载：138/0  |  提交时间：2021/01/14
关联规则  频繁项集  取样误差  主误差  PAC学习