咨询与建议

限定检索结果

文献类型

  • 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 篇 梅宏
  • 25 篇 黄罡
  • 20 篇 谢冰
  • 18 篇 张伟
  • 17 篇 金芝
  • 17 篇 郭耀
  • 17 篇 陈钟
  • 16 篇 张世琨
  • 16 篇 孙艳春
  • 16 篇 王亚沙
  • 15 篇 赵文
  • 14 篇 邹艳珍
  • 13 篇 赵俊峰
  • 13 篇 邵维忠
  • 12 篇 王立福
  • 12 篇 赵海燕
  • 12 篇 陈向群
  • 12 篇 胡建斌
  • 12 篇 王捍贫
  • 11 篇 麻志毅

语言

  • 231 篇 中文
检索条件"机构=北京大学信息科学技术学院软件研究所、高可信软件技术教育部重点实验室"
231 条 记 录,以下是111-120 订阅
排序:
电子政务需方参与活动对项目绩效的影响分析
收藏 引用
软件学报 2012年 第10期23卷 2679-2694页
作者: 马家宽 王亚沙 李刚 梅宏 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所 北京100871 山东省计算中心 山东济南250014 山东省计算机网络重点实验室 山东济南250014
在电子政务项目建设过程中,需方通常会参与供方主导的开发活动,并由此对项目绩效产生重要影响.然而在制定需方参与活动方案时,依赖主观直觉和经验的做法一方面对制定者提出了很高要求,另一方面容易产生争议.为此,提出通过对客观存在的... 详细信息
来源: 评论
代码坏味的处理顺序
收藏 引用
软件学报 2012年 第8期23卷 1965-1977页
作者: 高原 刘辉 樊孝忠 牛振东 邵维忠 北京理工大学计算机学院 北京100081 第二炮兵装备研究院 北京100085 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所 北京100871
选取了10种具有代表性的代码坏味进行研究.从每种代码坏味的产生原因、症状、对软件的影响以及相应的处理这4个方面进行分析,提出了一个代码坏味处理顺序的优先级.通过问卷调查和两个实验,对代码坏味处理顺序优先级进行了初步验证.
来源: 评论
PS-PPF:一个基于代理签名簇的VANETs隐私保护框架
收藏 引用
计算机科学 2012年 第11期39卷 19-23页
作者: 杨涛 万纯 胡建斌 陈钟 北京大学高可信软件技术教育部重点实验室 北京100871 北京大学网络与软件安全保障教育部软件重点实验室 北京100871 北京大学信息科学技术学院软件研究所 北京100871
车辆自组网(VANETs)是一种物联网在智能交通领域的重要应用形态,近年来已经成为学术界和工业界共同研究重点。VANETs具有诱人的发展前景,但其应用受到安全性和隐私保护的严格制约,因此有关VANETs的安全性和隐私保护的文献逐渐成为研... 详细信息
来源: 评论
车辆自组网隐私保护研究综述
收藏 引用
计算机研究与发展 2012年 第S2期49卷 178-185页
作者: 杨涛 孔令波 胡建斌 陈钟 高可信软件技术教育部重点实验室(北京大学) 北京100871 网络和软件安全保障教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所 北京100871 北京交通大学软件学院 北京100044
车辆自组网(VANETs)是物联网在智能交通领域的一种重要应用形态,近年来已经成为了学术界和工业界的共同研究重点.VANETs具有诱人的发展前景,但其应用受到安全性和隐私保护的严格制约,因此有关VANETs的安全性和隐私保护逐渐成为研究的一... 详细信息
来源: 评论
聚合签名及其应用研究综述
收藏 引用
计算机研究与发展 2012年 第S2期49卷 192-199页
作者: 杨涛 孔令波 胡建斌 陈钟 高可信软件技术教育部重点实验室(北京大学) 北京100871 网络和软件安全保障教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所 北京100871 北京交通大学软件学院 北京100044
聚合签名是近些年来学术界关注的一个数字签名热区,经常出现在顶级密码会议论文中,对聚合签名的研究具有重要意义.通过对聚合签名的研究进行综述,对聚合签名相关的概念、特点进行说明和分类,提出安全需求和安全模型,阐述了研究现状,并... 详细信息
来源: 评论
一种社交网络虚假信息传播控制方法
收藏 引用
计算机研究与发展 2012年 第S2期49卷 131-137页
作者: 王永刚 蔡飞志 Eng Keong Lua 胡建斌 陈钟 高可信软件技术教育部重点实验室(北京大学) 北京100871 网络和软件安全保障教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所 北京100871 莫纳什大学信息技术学院
针对社交网络中日渐泛滥的虚假信息,提出了一种社交网络虚假信息传播控制方法Fidic,针对社交网络中虚假信息传播时途经的用户序列,该方法基于PageRank的思想并结合用户传播虚假信息时的指向关系来对用户进行评级,用户的评级越高表明其... 详细信息
来源: 评论
一个VANETs隐私保护实用化系统
收藏 引用
计算机工程 2012年 第23期38卷 118-122页
作者: 杨涛 胡建斌 陈钟 北京大学高可信软件技术教育部重点实验室 北京100871 北京大学网络和软件安全保障教育部重点实验室 北京100871 北京大学信息科学技术学院软件研究所 北京100871
针对车辆自组网(VANETs)中的身份和位置隐私保护问题,提出一个面向实用的VANETs隐私保护系统PKU-VPPS,给出该系统的体系架构设计并进行分析和研究。PKU-VPPS系统以TP4RS协议、TC-TPS协议、VLSP协议等为关键技术支撑点,不仅具有对车辆身... 详细信息
来源: 评论
构件化软件技术研究与实践
构件化软件技术研究与实践
收藏 引用
中国科学院第十六次院士大会第三届学学术年会
作者: 梅宏 北京大学信息科学技术学院软件所、高可信软件技术教育部重点实验室
本文对计算机软件技术的发展进行了回顾,介绍了构件化软件技术研究与实践,对软件技术的未来发展进行了展望。
来源: 评论
基于分割的数字图像云存储机制
基于分割的数字图像云存储机制
收藏 引用
第十一届全国软件与应用学术会议(NASAC2012)
作者: 吕骁博 郭耀 陈向群 高可信软件技术教育部重点实验室 北京大学信息科学技术学院软件研究所北京 100871
随着云计算和数据中心的发展,数据处理和存储工作逐渐转移到云平台上。通过云服务器存储数字图像可以解决图像存储和共享的问题,但是一些云服务器可能难以保证这些数字图像数据的可靠性和可用性,导致用户隐私泄露。本文提出了一种基... 详细信息
来源: 评论
基于操作记录与回放技术的Eclipse操作远程同步教学工具
基于操作记录与回放技术的Eclipse操作远程同步教学工具
收藏 引用
第十一届全国软件与应用学术会议(NASAC2012)
作者: 陈德健 孙艳春 黄罡 张颖 北京大学信息科学技术学院软件砑究所 北京 100871 高可信软件技术教育部重点实验室 北京 100871
随着国家教育信息化的发展,远程教育成为一种越来越重要的教学模式。目前以“中国教育在线”为代表的大多数远程教学平台只提供了文本课件、视频/音频等静态教学资源。这些资源缺乏交互性,难以向学生精细化再现其制作过程与教学场景... 详细信息
来源: 评论