•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第2051-2060项 搜索用时 61 毫秒
[首页] « 上一页 [201] [202] [203] [204] [205] 206 [207] [208] [209] [210] [211] 下一页 » 末  页»
2051.
针对嵌入式系统的特点,提出一种策略驱动的可靠嵌入式系统建模与分析方法.基于Petri网建立嵌入式系统的形式化描述语言,并对设备、计算与物理交互、组件及通信过程等要素进行建模.分析嵌入式系统的主要故障类型和特征,探索嵌入式系统的可靠性保障策略.采用面向方面思想提取可靠性保障策略相关… …   相似文献
2052.
社交网络是人类借用计算技术和信息技术进行信息交流、建立人际交互关系等社会活动的一种新型工具,已成为社会计算中研究社会软件的核心课题之一。社交网页取证旨在对用户信息进行证据获取、固定、分析和展示,提供直接、有效、客观、公正的第三方依据。在互联网飞速发展的背景下,社交网页取证面临着用… …   相似文献
吴信东  李亚东  胡东辉 《软件学报》2014,25(12):2877-2892
2053.
下载全文  总被引:3,自引:1,他引:3
代码混淆是一种能够有效增加攻击者逆向分析和攻击代价的软件保护技术.然而,混淆算法的有效性评价和验证是代码混淆研究中亟待解决的重要问题.目前,对代码混淆有效性的研究大都是基于软件复杂性度量的,然而代码混淆作为一种保护软件安全的技术,更需要从逆向攻击的角度进行评估.将面向逆向工程的思… …   相似文献
2054.
下载全文  总被引:1,自引:0,他引:1
何积丰,金芝,李宣东.面向服务的计算专刊前言.软件学报,2007,18(12):2965-2966.http://www.jos.org.cn/ 1000-9825/18/2965.htm随着Internet的普及和基于Internet的应用的延伸,以Web服务为基础的分布式计算… …   相似文献
何积丰  金芝  李宣东 《软件学报》2007,18(12):2965-2966
2055.
通过对磁卡读写器通信协议中的数据帧传送格式、数据块传输和典型会话过程和控制命令字的分析,并以VB6.0为开发平台给出了一种磁卡读写器(Magnetic card reader)与工业控制计算机(IPC)之间的通信方法,结合实际开发的多功能自动缴费机详细叙述了该通信方法的实现过程。… …   相似文献
2056.
下载全文  总被引:2,自引:0,他引:2
针对现有安全广播协议密钥分发效率较低的问题,提出了一种通过多接收者公钥加密实现安全广播的方法.以Shamir的门限秘密共享方案为设计基础,首先提出了一个基于椭圆曲线上双线性变换的具有抗不可区分选择明文攻击(IND-CPA)安全性的多接收者公钥加密方案,然后对所提方案进行安全扩展,… …   相似文献
庞辽军  李慧贤  焦李成  王育民 《软件学报》2009,20(10):2907-2914
2057.
  
目前云计算已经成为解决很多问题的一个有力平台,同时也带来了大量的安全隐患。其中,关于基本初等函数的保密计算是所有云计算的基础和核心。 提出了所有基本初等函数的保密云计算服务协议,其基本思想是将原始数据做变换后,把计算复杂部分发给云平台,通过云计算将结果反馈给接受服务方,从而保密地… …   相似文献
刘新  李顺东  陈振华 《计算机科学》2015,42(10):159-163
2058.
下载全文  总被引:4,自引:0,他引:4
干扰严重影响移动Ad hoc网络的网络吞吐量、能量消耗、网络寿命等性能.在已有基于邻居数目和分布位置的干扰模型基础上,进一步考虑各邻居上的通信量情况,提出通信量干扰模型.并在该干扰模型的基础上,提出一个通信量相关干扰感知路由TIR(traffic load-based inter… …   相似文献
张信明  刘琼  代仕芳  刘永振 《软件学报》2009,20(10):2721-2728
2059.
下载全文  总被引:4,自引:1,他引:4
代数理论已经在抽象数据类型、程序语义等计算机科学领域有了广泛的应用,而代数的对偶概念--共代数,则直到20世纪90年代中后期才被越来越多的计算机学者关注.代数从\"构造\"的角度研究数据类型,而共代数则从\"观察\"的角度考察系统及其性质.共代数方法对研究基于状态的系统有独特的优… …   相似文献
周晓聪  舒忠梅 《软件学报》2003,14(10):1661-1671
2060.
下载全文  总被引:1,自引:0,他引:1
微机电技术、移动计算技术和无线通信技术的飞速发展,促使在现有道路网上快速构建一个自组织、分布式控制的车辆间多跳通信网络成为现实,随之引起了一系列问题亟待解决,例如高速运动车辆间的物理拓扑连通性,它是车用自组织网络(vehicular ad hoc network,简称VANET)… …   相似文献
熊炜  李清泉 《软件学报》2010,21(11):2906-2919
[首页] « 上一页 [201] [202] [203] [204] [205] 206 [207] [208] [209] [210] [211] 下一页 » 末  页»