论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
软件可信性问题是可信计算领域的研究分支之一，也是近年来研究的重要焦点。软件的“可信”是指软件系统的动态行为及其结果总是符合人们的预期，在受到干扰时仍能提供连续的服务
【机 构】
：
北京工业大学
【出 处】
：
北京工业大学
【发表日期】
：
2009年期
其他文献
计算机信息技术的飞速发展,使得资源的获取和使用也变得更加的快捷方便。但与此同时,信息资源之间的抄袭也变得越来越简单和难以防范。例如在计算机的程序设计类课程中,进行
广西巴马是世界级长寿之乡。人类长寿的奥妙关系如何?这是人们一直非常关注的重要问题。由于各种原因，巴马以长寿作为重要旅游资源的唯一性、独特性、稀有性和惠众性多年来一
近年来,数字视频技术与网络技术的快速发展推动了围绕视频点播的各种流媒体业务的广泛应用。视频点播技术是随着计算机技术和网络通讯技术的发展,综合了计算机技术、通讯技术
随着Internet的发展和普及,电子邮件也得到了广泛的应用。电子邮件在给人们带来方便的同时也产生了一个新的问题,即大量垃圾邮件的出现。垃圾邮件作为电子邮件的副产物日益影
近年来随着多媒体技术、计算机技术和网络技术的不断发展,使视频的实时传输得到了广泛的应用。视频实时传输中庞大的数据量、对实时性的高要求和目前的网络带宽不足之间的矛
基于描述逻辑的本体是构建下一代互联网——语义Web的重要基础。本体语言使用含有语义的元数据对分布的网络资源进行描述，并利用描述逻辑提供的推理工具，作为知识共享的媒介，使
对于自然界中的任何物体，纹理都可以描述其表面错综复杂的细节。纹理合成技术是根据已有的纹理信息，合成与其相似的大面积纹理。该技术近年来受到了越来越多的关注，目前已成为图
虚拟现实技术作为一项在二十世纪末兴起的一种崭新的信息技术，在许多领域有着广泛的应用和良好的发展前景。目前，很多高校都对虚拟现实技术做了研究，但是在模型的复杂度、真实感
软件从它诞生之日起，就受到各种各样潜在软件故障的折磨。随着软件实现功能越来越多也越来越强大，其携带的潜在的故障也越多，随之也带来更多的安全性问题，如果这些潜在的故障一旦