咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是301-310 订阅
排序:
程序:物理对象上的操作表达式(英文)
收藏 引用
计算机科学与探索 2009年 第2期3卷 144-153页
作者: 袁崇义 黄雨 赵文 教育部高可信软件技术重点实验室 北京100871 北京大学信息科学技术学院 北京100871 北京大学软件工程国家工程研究中心 北京100871
把赋值语句看作物理对象上的操作时,程序就呈现为物理对象上的操作构成的表达式(简称O表达式)。给出了定义O表达式语法的BNF公式,并用公理规定O表达式的语义。主动式的O表达式以计算最终结果为目的,因而相关公理给出的是施行表达式中操... 详细信息
来源: 评论
一种统一的服务描述语言分析与设计(英文)
收藏 引用
计算机系统应用 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 ... 详细信息
来源: 评论
一种统一的服务描述语言分析与设计
一种统一的服务描述语言分析与设计
收藏 引用
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... 详细信息
来源: 评论
基于同步网和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 北京大学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... 详细信息
来源: 评论
基于Petri网的WSCI形式化模型分析
基于Petri网的WSCI形式化模型分析
收藏 引用
2009年全国理论计算机科学学术年会
作者: 黄雨 胡文蕙 高昕 王捍贫 教育部高可信软件技术重点实验室 北京100871 100871 北京市北京大学理科1号楼1730 北京大学软件工程国家工程研究中心 北京100871 北京大学信息科学技术学院 北京100871
WSCI是一种Web服务组合标记语言,对于一些关键的业务流程,任何设计错误都会造成重大损失,因此有必要为WSCI语言建立形式化模型并给予分析,从而保证正确的业务流程署。本文主要给出了WSCI的分析方法,基于文献给出了形式化模型,提出了... 详细信息
来源: 评论
一个支持模型驱动开发的元建模平台的研制
收藏 引用
电子学报 2008年 第4期36卷 731-736页
作者: 麻志毅 刘辉 何啸 张乐 吉喆 戈牧 北京大学信息科学技术学院软件所 高可信软件技术教育部重点实验室北京100871
由于当今软件系统的复杂性,模型驱动的软件开发中需要的建模语言和转换定义语言往往是多种多样的.本文阐述了对一个可满足这种需要的元建模平台的研制.其中着重论述了对建模语言的元模型和表示法进行建模的技术,建模语言质量保证机制,... 详细信息
来源: 评论
活体生物计算模型的研究进展及展望(英文)
收藏 引用
计算机学报 2008年 第12期31卷 2103-2108页
作者: 刘向荣 赵东明 郗方 李菲 北京大学信息科学技术学院 北京100871 北京大学高可信软件技术教育部重点实验室 北京100871
活体生物计算模型是基于生物体内各种生化分子以特定的形式互相协作、处理信息的能力而出现的一种新的计算模型.由于其计算组成件是直接镶嵌在生物活体里面,并且显示具有一定的计算能力,这可以使人们深入研究生物体信息处理能力以及... 详细信息
来源: 评论
对称密码算法的性能优化
收藏 引用
北京大学学报(自然科学版) 2008年 第5期44卷 733-738页
作者: 刘勇 陈宇 陈钟 北京大学信息科学技术学院软件研究所 高可信软件技术教育部重点实验室北京100871
选择AES-128,SHA-256,SHA-512和Whirlpool4个目前应用最为广泛的对称算法进行优化。首次讨论了如何在龙芯2E通用处理器上优化对称密码算法。针对每种算法提出了具体的优化技术,并对优化后的结果进行了分析。优化后所获得的性能是目前已... 详细信息
来源: 评论