咨询与建议

限定检索结果

文献类型

  • 286 篇 期刊文献
  • 75 篇 会议

馆藏范围

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

日期分布

学科分类号

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

主题

  • 19 篇 软件复用
  • 12 篇 软件体系结构
  • 10 篇 中间件
  • 10 篇 web服务
  • 10 篇 隐私保护
  • 10 篇 云计算
  • 8 篇 petri网
  • 8 篇 软件开发
  • 8 篇 dna计算
  • 8 篇 软件维护
  • 8 篇 机器学习
  • 7 篇 自适应
  • 6 篇 无线射频识别(rfi...
  • 6 篇 程序分析
  • 6 篇 数据挖掘
  • 6 篇 服务质量
  • 6 篇 软件工程
  • 6 篇 特征模型
  • 6 篇 静态分析
  • 5 篇 软件资源库

机构

  • 343 篇 北京大学
  • 210 篇 高可信软件技术教...
  • 15 篇 机器感知与智能教...
  • 10 篇 教育部高可信软件...
  • 7 篇 软件工程国家工程...
  • 6 篇 国家计算机网络应...
  • 6 篇 北京理工大学
  • 5 篇 中国科学院数学与...
  • 5 篇 深圳市云计算关键...
  • 4 篇 华中科技大学
  • 3 篇 北京交通大学
  • 3 篇 ibm中国研究院
  • 3 篇 网络和软件安全保...
  • 3 篇 中山大学
  • 2 篇 内蒙古师范大学
  • 2 篇 广州大学
  • 2 篇 中国科学院大学
  • 2 篇 深圳市云计算关键...
  • 2 篇 计算机软件新技术...
  • 2 篇 中国科学院数学与...

作者

  • 48 篇 梅宏
  • 38 篇 谢冰
  • 33 篇 黄罡
  • 32 篇 王腾蛟
  • 29 篇 赵俊峰
  • 27 篇 金芝
  • 27 篇 陈钟
  • 21 篇 杨冬青
  • 20 篇 张伟
  • 19 篇 许进
  • 18 篇 赵文
  • 18 篇 邹艳珍
  • 18 篇 李红燕
  • 18 篇 孙艳春
  • 18 篇 郭耀
  • 18 篇 王亚沙
  • 17 篇 张世琨
  • 17 篇 王千祥
  • 16 篇 赵海燕
  • 15 篇 邵维忠

语言

  • 361 篇 中文
检索条件"机构=高可信软件技术教育部重点实验室北京大学信息科学技术学院"
361 条 记 录,以下是331-340 订阅
排序:
企业信息系统中基于场景的协同式需求获取方法
企业信息系统中基于场景的协同式需求获取方法
收藏 引用
2008全国软件与应用学术会议(NASAC'08)
作者: 刘锋 张伟 赵海燕 梅宏 北京大学 信息科学技术学院 软件研究所 北京 100871 高可信软件技术教育部重点实验室
需求工程的研究更多的集中在需求的分析,表示和验证,而关于需求获取的研究却相对较少。本文提出了一种企业信息系统(缩写为EIS)环境下基于场景的协同的需求诱导方法。此方法将不同的利益相关者组织在场景当中,将传统的由需求专家驱动的... 详细信息
来源: 评论
一种基于信息检索技术识别重复缺陷模式的方法
一种基于信息检索技术识别重复缺陷模式的方法
收藏 引用
2008全国软件与应用学术会议(NASAC'08)
作者: 吴倩 王千祥 北京大学信息科学技术学院软件研究所 北京 100871 高可信软件技术教育部重点实验室
缺陷模式是对常见代码缺陷的统一描述。缺陷模式库收集这些模式,并为基于缺陷模式的静态代码分析工吴的研发提供支持。当用户向缺陷模式库添加新缺陷模式时,经常发生重复提交的现象,造成库中缺陷模式的冗余。提出了一种基于信息检索技... 详细信息
来源: 评论
一种基于交叉视图的Windows Rootkit检测方法
一种基于交叉视图的Windows Rootkit检测方法
收藏 引用
2008全国软件与应用学术会议(NASAC'08)
作者: 白光冬 郭耀 陈向群 高可信软件技术教育部重点实验室 (北京大学) 北京大学信息科学技术学院软件研究所 北京 100871
Rootkit被病毒、木马等恶意软件用来隐藏其在被入侵系统上的踪迹,使得它们能够在系统中潜伏较长时间,它的存在给系统及其使用者带来较大的安全隐患。本文首先对Windows rootkit进行了研究,以此为基础,从rootkit的行为入手,提出了基于进... 详细信息
来源: 评论
基于XPath的Web页面自动清洗算法
基于XPath的Web页面自动清洗算法
收藏 引用
第二十五届中国数据库学术会议(NDBC2008)
作者: 付艳 杨冬青 唐世渭 王腾蛟 高军 高可信软件技术教育部重点实验室(北京大学) 北京 100871 北京大学信息科学技术学院 北京 100871 北京师范大学信息科学与技术学院 北京 100875 高可信软件技术教育部重点实验室(北京大学) 北京 100871 北京大学信息科学技术学院 北京 100871
针对Web页面中包含大量噪声信息的问题,提出了一种基于页面布局及XPath技术的自动清洗算法。算法首先对样本页面划分形成的内容块进行有效性判定,将相似内容块在页面集中的位置信息归纳为公共XPath,再基于公共XPath识别并消除更多相似... 详细信息
来源: 评论
基于XPath的Web页面自动清洗算法
基于XPath的Web页面自动清洗算法
收藏 引用
第二十五届中国数据库学术会议
作者: 付艳 杨冬青 唐世渭 王腾蛟 高军 高可信软件技术教育部重点实验室(北京大学) 北京大学信息科学技术学院 北京师范大学信息科学与技术学院
针对Web页面中包含大量噪声信息的问题,提出了一种基于页面布局及XPath技术的自动清洗算法.算法首先对样本页面划分形成的内容块进行有效性判定,将相似内容块在页面集中的位置信息归纳为公共XPath,再基于公共XPath识别并消除更多相似页... 详细信息
来源: 评论
一种中间件远程署方法
一种中间件远程部署方法
收藏 引用
2008全国软件与应用学术会议(NASAC'08)
作者: 陈星 刘钊 黄罡 北京大学信息科学技术学院软件研究所 北京 100871 北京大学高可信软件技术教育部重点实验室 北京 100871
近年来,随着中间件技术的快速发展,越来越多的企业需要用到各种各样的中间件;中间件的署成为一项非常重要的工作。传统的中间件技术适用性较广,可以在大多数环境中使用;而在某些领域,中间件署逐渐采用虚拟化技术,即用虚拟机映... 详细信息
来源: 评论
一种软件体系结构设计决策的建模工具
一种软件体系结构设计决策的建模工具
收藏 引用
2008全国软件与应用学术会议(NASAC'08)
作者: 肖赛 崔晓峰 孙艳春 黄罡 北京大学 信息科学技术学院 软件研究所 北京 100871 高可信软件技术 教育部重点实验室 北京 100871
体系结构设计在整个软件生命周期中起到关键作用,而设计知识的蒸发会导致系统演化花费代价高、涉众之间交流出现障碍、体系结构制品的复用受到限制等问题,为此需要在软件体系结构层次对设计决策进行显式化的建模。基于一种以决策为中心... 详细信息
来源: 评论
支持自适应过程中分析与规划的软件体系结构模型
支持自适应过程中分析与规划的软件体系结构模型
收藏 引用
2008全国软件与应用学术会议(NASAC'08)
作者: 陈湘萍 黄罡 孙艳春 梅宏 北京大学 信息科学技术学院 软件研究所 北京 100871 高可信软件技术 教育部重点实验室 北京100871
模型驱动的软件体系结构自适应是支持软件适应性的主要方法之一,其重点是基于模型来支持适应过程中的分析和规划。但是已有的方法和实现大多特定于体系结构描述语言,导致复用性和集成性比较差。由于使用标准的模型技术能够提高方法的复... 详细信息
来源: 评论
一个新的专门的压缩函数框架
一个新的专门的压缩函数框架
收藏 引用
中国密码学会2008年年会
作者: 刘勇 陈宇 陈钟 杨林 北京大学信息科学技术学院 高可信软件技术教育部重点实验室 北京 100871 总参第六十一研究所 北京 100039 北京大学信息科学技术学院 高可信软件技术教育部重点实验室 北京 100871 总参第六十一研究所 北京 100039
压缩函数是杂凑函数的核心件,其设计必须兼顾安全性和效率。本文给出了一个新的压缩函数框架和两种针对MD构造模式的改进。本文提出的压缩函数具有简洁高效、并行度高、易于扩展的特点。本文提出的第一种构造模式能够抵御利用压缩函... 详细信息
来源: 评论
基于UML的分布式服务合约库系统建模
收藏 引用
电子学报 2007年 第8期35卷 1425-1431页
作者: 麻志毅 邹艳珍 北京大学信息科学技术学院软件所高可信软件技术教育部重点实验室 北京100871
由于服务的分布与协作特性,有必要在服务合约库系统间进行协作.然而,目前的大多数服务合约库系统都遵循自己的服务合约标准和服务合约分类标准.针对这种状况,本文提出了一个用于对分布式服务合约库系统进行建模的元模型.首先,本文描述... 详细信息
来源: 评论