咨询与建议

限定检索结果

文献类型

  • 184 篇 期刊文献
  • 47 篇 会议

馆藏范围

  • 231 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 215 篇 工学
    • 202 篇 计算机科学与技术...
    • 163 篇 软件工程
    • 9 篇 网络空间安全
    • 7 篇 控制科学与工程
    • 5 篇 仪器科学与技术
    • 4 篇 信息与通信工程
    • 3 篇 机械工程
    • 2 篇 电子科学与技术(可...
    • 1 篇 材料科学与工程(可...
    • 1 篇 化学工程与技术
    • 1 篇 生物医学工程(可授...
  • 31 篇 管理学
    • 29 篇 管理科学与工程(可...
    • 2 篇 工商管理
    • 1 篇 农林经济管理
  • 9 篇 理学
    • 4 篇 数学
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 地球物理学
    • 1 篇 生物学
    • 1 篇 系统科学
  • 3 篇 教育学
    • 3 篇 教育学
  • 2 篇 医学
    • 1 篇 公共卫生与预防医...
    • 1 篇 药学(可授医学、理...
  • 1 篇 法学
    • 1 篇 马克思主义理论
  • 1 篇 军事学
    • 1 篇 军队指挥学
  • 1 篇 艺术学
    • 1 篇 设计学(可授艺术学...

主题

  • 12 篇 软件复用
  • 11 篇 软件体系结构
  • 9 篇 中间件
  • 7 篇 软件维护
  • 7 篇 机器学习
  • 6 篇 隐私保护
  • 6 篇 特征模型
  • 5 篇 无线射频识别(rfi...
  • 5 篇 程序分析
  • 5 篇 软件资源库
  • 5 篇 web服务
  • 5 篇 网构软件
  • 5 篇 软件开发
  • 4 篇 建模
  • 4 篇 验证
  • 4 篇 云计算
  • 4 篇 互联网
  • 4 篇 车辆自组网
  • 4 篇 同步网
  • 4 篇 自适应

机构

  • 221 篇 北京大学
  • 135 篇 高可信软件技术教...
  • 7 篇 软件工程国家工程...
  • 6 篇 北京理工大学
  • 5 篇 中国科学院数学与...
  • 5 篇 教育部高可信软件...
  • 4 篇 华中科技大学
  • 3 篇 ibm中国研究院
  • 3 篇 网络和软件安全保...
  • 2 篇 国家计算机网络应...
  • 2 篇 广州大学
  • 2 篇 北京交通大学
  • 2 篇 中国科学院大学
  • 2 篇 深圳市云计算关键...
  • 2 篇 中国科学院数学与...
  • 2 篇 中国科学院计算技...
  • 2 篇 软件工程国家工程...
  • 2 篇 高可信软件技术教...
  • 2 篇 山东科技大学
  • 2 篇 高可信软件技术

作者

  • 43 篇 梅宏
  • 28 篇 mei hong
  • 25 篇 黄罡
  • 20 篇 谢冰
  • 18 篇 张伟
  • 17 篇 金芝
  • 17 篇 huang gang
  • 17 篇 郭耀
  • 17 篇 陈钟
  • 16 篇 张世琨
  • 16 篇 孙艳春
  • 16 篇 王亚沙
  • 15 篇 赵文
  • 14 篇 邹艳珍
  • 14 篇 zhang wei
  • 13 篇 jin zhi
  • 13 篇 赵俊峰
  • 13 篇 邵维忠
  • 13 篇 zhao wen
  • 12 篇 wang li-fu

语言

  • 231 篇 中文
检索条件"机构=北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室"
231 条 记 录,以下是1-10 订阅
排序:
一种中间件服务容错配置管理方法
收藏 引用
计算机学报 2007年 第10期30卷 1696-1704页
作者: 李军国 黄罡 邹键 梅宏 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室 北京100871
提出一种基于运行时刻软件体系结构的容错管理方法,支持开发者和管理员针对不同中间件服务失效定制合适的故障检测和修复机制.首先,运行时刻软件体系结构自动构造构件依赖视图和错误传播①视图,为理解和分析整个系统的可靠性提供全局视... 详细信息
来源: 评论
对称密码算法的性能优化
收藏 引用
北京大学学报(自然科学版) 2008年 第5期44卷 733-738页
作者: 刘勇 陈宇 陈钟 北京大学信息科学技术学院软件研究所 高可信软件技术教育部重点实验室北京100871
选择AES-128,SHA-256,SHA-512和Whirlpool4个目前应用最为广泛的对称算法进行优化。首次讨论了如何在龙芯2E通用处理器上优化对称密码算法。针对每种算法提出了具体的优化技术,并对优化后的结果进行了分析。优化后获得的性能是目前已... 详细信息
来源: 评论
基于UML的分布式服务合约库系统建模
收藏 引用
电子学报 2007年 第8期35卷 1425-1431页
作者: 麻志毅 邹艳珍 北京大学信息科学技术学院软件所高可信软件技术教育部重点实验室 北京100871
由于服务的分布与协作特性,有必要在服务合约库系统间进行协作.然而,目前的大多数服务合约库系统都遵循自己的服务合约标准和服务合约分类标准.针对这种状况,本文提出了一个用于对分布式服务合约库系统进行建模的元模型.首先,本文描述... 详细信息
来源: 评论
一个支持模型驱动开发的元建模平台的研制
收藏 引用
电子学报 2008年 第4期36卷 731-736页
作者: 麻志毅 刘辉 何啸 张乐 吉喆 戈牧 北京大学信息科学技术学院软件所 高可信软件技术教育部重点实验室北京100871
由于当今软件系统的复杂性,模型驱动的软件开发中需要的建模语言和转换定义语言往往是多种多样的.本文阐述了对一个可满足这种需要的元建模平台的研制.其中着重论述了对建模语言的元模型和表示法进行建模的技术,建模语言质量保证机制,... 详细信息
来源: 评论
一种考虑QoS数据可信性的服务选择方法
收藏 引用
软件学报 2008年 第10期19卷 2620-2627页
作者: 李研 周明辉 李瑞超 曹东刚 梅宏 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室 北京100871
随着Internet上功能相似的Web服务的逐渐增多,在运行时刻基于服务质量(QoS)对Web服务进行查找和选择已成为研究热点.现有的基于QoS的服务选择方法通常假定服务提供者和使用者给出的QoS数据都是真实可信的,然而这一假设在实际中往往很难... 详细信息
来源: 评论
特征模型融合研究
收藏 引用
计算机学报 2013年 第1期36卷 1-9页
作者: 易立 赵海燕 张伟 金芝 梅宏 北京大学信息科学技术学院软件研究所教育部高可信软件技术重点实验室 北京100871
特征模型为特定领域内软件需求的组织和复用提供了有效的手段.为了构建特征模型,领域分析人员要对领域内尽可能多的应用软件进行系统化分析,识别共性和变化性需求,并根据需求之间的依赖关系抽象和组织需求.随着软件系统复杂性的不断提高... 详细信息
来源: 评论
一种Web Service的服务质量预测方法
收藏 引用
软件学报 2009年 第8期20卷 2062-2073页
作者: 邵凌霜 周立 赵俊峰 谢冰 梅宏 北京大学信息科学技术学院软件研究所 北京100871 高可信软件技术教育部重点实验室 北京100871
服务消费者在选择服务之前,通常需要基于其他消费者的经验对未使用过的服务的质量进行预测.考虑到不同服务消费者对同一服务的服务质量的感受之间可能存在较大的差别,提出了一种QoS(quality of service)预测方法.该方法以消费者的历史... 详细信息
来源: 评论
基于网络信息搜索的Web Service文本描述信息扩充方法
收藏 引用
软件学报 2012年 第6期23卷 1335-1349页
作者: 王立杰 李萌 蔡斯博 李戈 谢冰 杨芙清 北京大学信息科学技术学院软件研究所 北京100871 高可信软件技术教育部重点实验室 北京100871
随着Web服务技术的不断成熟和发展,互联网上出现了大量的公共Web服务.在使用Web服务开发软件系统的过程中,其文本描述信息(例如简介和使用说明等)可以帮助服务消费者直观有效地识别和理解Web服务并加以利用.已有的研究工作大多关注于从... 详细信息
来源: 评论
特征模型定制的一种自动传播策略与选择性回退机制
收藏 引用
计算机学报 2013年 第1期36卷 132-142页
作者: 李龙 赵海燕 张伟 高可信软件技术教育部重点实验室 北京100871 北京大学信息科学技术学院软件研究所 北京100871
面向特征的分析方法已被主流的软件复用方法接受.其基本思想是将软件的特征作为软件解决需求问题的基本要素,使用特征以及特征之间的关系(这两者的组合也被称为特征模型)来组织软件的需求.特征模型良好的可剪裁性和可扩展性,为领域需求... 详细信息
来源: 评论
基于中间件的运行时监测与分析框架
收藏 引用
电子学报 2007年 第B12期35卷 124-128页
作者: 刘永刚 李敏 王千祥 梅宏 北京大学信息科学技术学院软件研究所;高可信软件技术教育部重点实验室 北京100871
运行时刻软件的监测与分析不仅可以提高软件质量,也是软件自适应性的基础.本文提出了基于模式的声明式约束描述方法,以此为基础,在J2EE中间件PKUAS上开发了运行时监测与分析框架,其最大的特点是探针的灵活署和监测面向业务逻辑... 详细信息
来源: 评论