咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是121-130 订阅
排序:
基于操作记录与回放技术的远程同步教学工具
收藏 引用
计算机工程与应用 2013年 第6期49卷 65-71页
作者: 陈德健 孙艳春 黄罡 张颖 北京大学信息科学技术学院软件研究所 北京100871 高可信软件技术教育部重点实验室 北京100871
随着国家教育信息化的发展,远程教育成为一种越来越重要的教学模式。目前以"中国教育在线"为代表的大多数远程教学平台只提供了文本课件、视频/音频等静态教学资源。这些资源缺乏交互性,难以向学生精细化再现其制作过程与教... 详细信息
来源: 评论
车辆自组网隐私保护研究综述
收藏 引用
计算机研究与发展 2012年 第S2期49卷 178-185页
作者: 杨涛 孔令波 胡建斌 陈钟 高可信软件技术教育部重点实验室(北京大学) 北京100871 网络和软件安全保障教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所 北京100871 北京交通大学软件学院 北京100044
车辆自组网(VANETs)是物联网在智能交通领域的一种重要应用形态,近年来已经成为了学术界和工业界的共同研究重点.VANETs具有诱人的发展前景,但其应用受到安全性和隐私保护的严格制约,因此有关VANETs的安全性和隐私保护逐渐成为研究的一... 详细信息
来源: 评论
聚合签名及其应用研究综述
收藏 引用
计算机研究与发展 2012年 第S2期49卷 192-199页
作者: 杨涛 孔令波 胡建斌 陈钟 高可信软件技术教育部重点实验室(北京大学) 北京100871 网络和软件安全保障教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所 北京100871 北京交通大学软件学院 北京100044
聚合签名是近些年来学术界关注的一个数字签名热区,经常出现在顶级密码会议论文中,对聚合签名的研究具有重要意义.通过对聚合签名的研究进行综述,对聚合签名相关的概念、特点进行说明和分类,提出安全需求和安全模型,阐述了研究现状,并... 详细信息
来源: 评论
一种基于邮件列表的软件问答信息抽取方法
收藏 引用
计算机科学 2015年 第12期42卷 23-25,35页
作者: 罗宇翔 邹艳珍 金庸 谢冰 北京大学信息科学技术学院软件所 北京1000871 高可信软件技术教育部重点实验室 北京100871
开源项目通常会提供邮件列表来帮助用户更好地理解和使用开源项目。但由于邮件的数量巨大、邮件内容组织繁杂、问题不明确、答案定位困难等问题,用户在邮件查询过程中定位一个特定的软件问答信息要花费大量的时间和精力。为此,提出一种... 详细信息
来源: 评论
缓冲区溢出漏洞分析技术研究进展
收藏 引用
软件学报 2018年 第5期29卷 1179-1198页
作者: 邵思豪 高庆 马森 段富尧 马骁 张世琨 胡津华 高可信软件技术教育部重点实验室(北京大学) 北京100871 软件工程国家工程研究中心(北京大学) 北京100871 北京大学信息科学技术学院 北京100871 天津市职业病防治院(天津市工人医院)信息科 天津300011
首先介绍了缓冲区溢出漏洞危害的严重性和广泛性,然后,从如何利用缓冲区溢出漏洞的角度,依次介绍了缓冲区溢出漏洞的定义、操作系统内存组织方式以及缓冲区溢出攻击方式.将缓冲区溢出分析技术分为3类:自动检测、自动修复以及运行时防护... 详细信息
来源: 评论
一种动态的客户端负载均衡机制
收藏 引用
中国科学信息科学 2013年 第1期43卷 60-72页
作者: 王梓又 周明辉 梅宏 北京大学信息科学技术学院软件研究所 北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871
互联网应用的并发用户数量不仅多变并且这种变化常常不可预测.将系统容量配置为固定值的惯用做法在面临多变的请求时常常会导致两种结果,一种是因为配置过低而引起用户的不满,另一种则因为配置过高而造成计算资源的浪费.而通过运用云架... 详细信息
来源: 评论
基于主题建模和静态分析技术软件代码功能性主题获取方法
收藏 引用
中国科学信息科学 2014年 第1期44卷 54-69页
作者: 李萌 赵俊峰 谢冰 北京大学高可信软件技术教育部重点实验室 北京100871 北京大学信息科学技术学院软件研究所 北京100871
近年来,基于主题建模技术的代码理解方法成为研究热点之一.该类方法期望利用主题建模技术软件代码中挖掘功能性主题,进而利用功能性主题帮助开发人员理解软件功能及其代码实现.然而,从代码挖掘出的主题中,功能性主题与其他类型主题(... 详细信息
来源: 评论
ABC:一种全生命周期软件体系结构建模方法
收藏 引用
中国科学信息科学 2014年 第5期44卷 564-587页
作者: 梅宏 黄罡 张路 张伟 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所 北京100871
随着计算机硬件能力的快速增长和软件应用规模的不断扩大,软件的复杂性也在持续增长,并始终制约着软件开发效率和质量的有效提升.软件的结构复杂性,尤其是高层结构的复杂性,是软件复杂性的一种重要表现.如何实现对软件高层结构复杂性的... 详细信息
来源: 评论
大规模代码克隆的检测方法
收藏 引用
计算机科学与探索 2014年 第4期8卷 417-426页
作者: 郭颖 陈峰宏 周明辉 北京大学信息科学技术学院软件研究所北京100871 北京大学高可信软件技术教育部重点实验室北京100871
代码克隆检测在剽窃检测、版权侵犯调查、软件演化分析、代码压缩、错误检测,以及寻找bug,发现复用模式等方面有重要作用。现有的代码克隆检测工具算法复杂,或需要消耗大量的计算资源,不适用于规模巨大的代码数据。为了能够在大规模的... 详细信息
来源: 评论
一种社交网络虚假信息传播控制方法
收藏 引用
计算机研究与发展 2012年 第S2期49卷 131-137页
作者: 王永刚 蔡飞志 Eng Keong Lua 胡建斌 陈钟 高可信软件技术教育部重点实验室(北京大学) 北京100871 网络和软件安全保障教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所 北京100871 莫纳什大学信息技术学院
针对社交网络中日渐泛滥的虚假信息,提出了一种社交网络虚假信息传播控制方法Fidic,针对社交网络中虚假信息传播时途经的用户序列,该方法基于PageRank的思想并结合用户传播虚假信息时的指向关系来对用户进行评级,用户的评级越高表明其... 详细信息
来源: 评论