咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是181-190 订阅
排序:
扩展服务蓝图描述法:描述包含软件的服务(英文)
收藏 引用
计算机系统应用 2009年 第6期18卷 51-56页
作者: 张力 倪宇林 陈钟 司华友 北京大学信息科学技术学院 北京100871 高可信软件技术教育部重点实验室 北京100871 北京大学ACOM金融信息化研究中心 北京100080 北京大学软件与微电子学院 北京102600
Since software has infiltrated in many services,designers need to consider service design and software design as a *** paper provides a novel service description method by adding a line of software in service blueprin... 详细信息
来源: 评论
一种统一的服务描述语言分析与设计(英文)
收藏 引用
计算机系统应用 2009年 第6期18卷 96-102页
作者: 司华友 张力 陈钟 胡建斌 倪宇林 北京大学信息科学技术学院 北京100871 高可信软件技术教育部重点实验室 北京100871 北京大学ACOM金融信息化研究中心 北京100080 北京大学软件与微电子学院 北京102600
During the recent years,Service-Oriented Computing(SOC),as a new computing paradigm,has been widely accepted in academies and *** and more service-oriented computer system analysis and design, methodologies have been ... 详细信息
来源: 评论
基于同步网和C_net的复合事件检测研究
基于同步网和C_net的复合事件检测研究
收藏 引用
第十二届全国petri网理论与应用学术年会
作者: 叶蔚 赵文 张世琨 北京大学信息科学技术学院 北京 100871 北京大学软件工程国家工程研究中心北京 100871 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京 100871 北京大学软件工程国家工程研究中心 北京 100871 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京 100871
复合事件检测是复杂事件处理的一个核心技术。基于同步网和C_net研究了复合事件检测的形式化模型,并以该模型为基础设计了一个灵活的复合事件检测算法框架。该算法框架使得复合事件检测算法中的事件消费策略、事件存储策略以及运行时优... 详细信息
来源: 评论
JBOO5.0--支持UML2.1的建模工具
JBOO5.0--支持UML2.1的建模工具
收藏 引用
第20届全国计算机新科技与计算机教育学术大会
作者: YAN Yan 闫研 MA Zhiyi 麻志毅 SHAO Weizhong 邵维忠 Software Institute School of Electronics Engineering and Computer SciencePeking UniversityBeijing 北京大学信息科学技术学院软件所高可信软件技术教育部重点实验室 北京100871
UML建模工具已经在软件开发中得到了广泛的应用.随着UML版本的不断更新和建模工具的功能的不断增加,开发者必须经常地修改或重新开发UML建模工具.本文论述了如何应用元建模和基于构件的软件开发等技术,对支持UML2.1的建模工具——JBOO5.... 详细信息
来源: 评论
一种统一的服务描述语言分析与设计
一种统一的服务描述语言分析与设计
收藏 引用
2009年服务科学国际会议
作者: 司华友 张力 陈钟 胡建斌 倪宇林 北京大学 信息科学技术学院北京100871 高可信软件技术教育部重点实验室 北京100871 北京大学ACOM金融信息化研究中心 北京100080 北京大学 信息科学技术学院北京100871 高可信软件技术教育部重点实验室 北京100871 北京大学ACOM金融信息化研究中心 北京100080北京大学软件与微电子学院北京102600 北京大学 信息科学技术学院北京100871 高可信软件技术教育部重点实验室 北京100871 北京大学ACOM金融信息化研究中心 北京100080 北京大学 软件与微电子学院北京102600
During the recent years,Service-Oriented Computing(SOC),as a new computing paradigm,has been widely accepted in academies and industry. More and more service-oriented computer system analysis and design methodolog... 详细信息
来源: 评论
扩展服务蓝图描述法:描述包含软件的服务
扩展服务蓝图描述法:描述包含软件的服务
收藏 引用
2009年服务科学国际会议
作者: 张力 倪宇林 陈钟 司华友 北京大学 信息科学技术学院北京100871 高可信软件技术教育部重点实验室 北京100871 北京大学ACOM金融信息化研究中心 北京100080 北京大学ACOM金融信息化研究中心 北京100080 北京大学 软件与微电子学院北京102600 北京大学 信息科学技术学院北京100871 高可信软件技术教育部重点实验室 北京100871 北京大学ACOM金融信息化研究中心 北京100080 北京大学 软件与微电子学院北京10260
Since software has infiltrated in many services,designers need to consider service design and software designs a whole. This paper provides a novel service description method by adding a line of software in service b... 详细信息
来源: 评论
操作系统电源管理研究进展
收藏 引用
计算机研究与发展 2008年 第5期45卷 817-824页
作者: 赵霞 陈向群 郭耀 杨芙清 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室
系统级动态电源管理技术的关键问题是在系统性能与能耗之间进行权衡.在硬件提供支持的基础上,操作系统电源管理的优势在于操作系统作为系统资源管理者,根据工作负载和硬件资源电源状态的特征,在满足系统性能约束条件下作出电源管理决策... 详细信息
来源: 评论
对称密码算法的性能优化
收藏 引用
北京大学学报(自然科学版) 2008年 第5期44卷 733-738页
作者: 刘勇 陈宇 陈钟 北京大学信息科学技术学院软件研究所 高可信软件技术教育部重点实验室北京100871
选择AES-128,SHA-256,SHA-512和Whirlpool4个目前应用最为广泛的对称算法进行优化。首次讨论了如何在龙芯2E通用处理器上优化对称密码算法。针对每种算法提出了具体的优化技术,并对优化后的结果进行了分析。优化后获得的性能是目前已... 详细信息
来源: 评论
一种问题驱动基于场景的协同式需求诱导方法
收藏 引用
计算机学报 2008年 第9期31卷 1554-1562页
作者: 张伟 刘峰 赵海燕 梅宏 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室 北京100871
软件开发中,大多数的利益相关者并不能清晰地把握他们对于将要开发的软件系统的明确需求.文中提出了一种问题驱动基于场景的协同式需求诱导方法,试图在企业信息系统的上下文中为需求获取问题提供一种现实可行的解决方案.该方法的基本... 详细信息
来源: 评论
一个支持模型驱动开发的元建模平台的研制
收藏 引用
电子学报 2008年 第4期36卷 731-736页
作者: 麻志毅 刘辉 何啸 张乐 吉喆 戈牧 北京大学信息科学技术学院软件所 高可信软件技术教育部重点实验室北京100871
由于当今软件系统的复杂性,模型驱动的软件开发中需要的建模语言和转换定义语言往往是多种多样的.本文阐述了对一个可满足这种需要的元建模平台的研制.其中着重论述了对建模语言的元模型和表示法进行建模的技术,建模语言质量保证机制,... 详细信息
来源: 评论