•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第6501-6520项 搜索用时 111 毫秒
[首页] « 上一页 [321] [322] [323] [324] [325] 326 [327] [328] [329] [330] [331] 下一页 » 末  页»
6501.
目前已经提出的代理签名方案缺乏在完整的代理签名安全模型下证明方案的安全性.在Boldyreva等人提出的代理签名安全模型的基础上,对代理签名的可证安全模型进行详细的形式化定义,提出一种完整的代理签名可证安全模型.同时,为了展示该安全模型的有效性和可扩展性,对Paterson等人提… …   相似文献
谷科  贾维嘉  王四春  石良武 《软件学报》2012,23(9):2416-2429
6502.
下载全文  总被引:35,自引:2,他引:35
基于构件的软件开发被认为是解决软件危机的最新成果,但其实践并未达到预期效果:构件设计的方法学还不完善,缺乏对实际应用的明确指导.给出一种业务构件设计方法,应用聚类算法来识别两类业务构件(过程构件和实体构件),以需求模型作为聚类分析样本点的数据来源,并给出样本点关联值的计算方法.通… …   相似文献
徐玮  尹宝林  李昭原 《软件学报》2003,14(7):1213-1220
6503.
在高速分组交换网络中,分组调度策略和算法的设计是一个关键问题.由于网络分组调度策略有着多方面性能的要求,如何同时满足多个性能目标是当前的研究难点.基于比例公平性原则,提出了一种分组网络中的比例公平调度策略(proportional fairness scheduling,简称PF… …   相似文献
江勇  吴建平 《软件学报》2002,13(8):1515-1520
6504.
由于移动主机位置的不断改变引起组播树的频繁重构,已有的可靠组播算法已不适用于主机移动的无线网络环境.首先提出了前向网络签署的移动组播机制,然后在基于区域的层次型网络结构中,集成前向网络签署和远程签署,采用ACK和NAK相结合的应答机制,在子网局部范围内使用组播恢复机制和应答抑制机… …   相似文献
孙利民  廖勇  吴志美 《软件学报》2004,15(6):908-914
6505.
为有效挖掘3G核心网IP多媒体子系统中SIP流程存在的安全漏洞,提出了一种基于Fuzz测试的SIP漏洞挖掘模型。基于Fuzz漏洞测试方法设计了一种SIP漏洞挖掘模型,设计的初始消息状态转移方法实现了其中的消息注入功能,使漏洞挖掘进入到SIP流程内部,实现了自适应监控功能,针对不同… …   相似文献
6506.
项目制造兼具项目特点和制造本质,这两个方面决定了项目制造企业的业务存在其特殊性。尤其是在产品结构复杂,生产规模庞大的情况下,项目制造业务对于ERP系统提出了相当高的要求。目前国内外ERP软件现有的功能在满足项目制造业务的需求方面均存在很大的不足,必须在项目实施过程中通过客户化开发… …   相似文献
6507.
下载全文  总被引:12,自引:1,他引:12
该文用时序逻辑语言XYZ/E刻画了若干种常见的体系结构风格.在刻画风格之前,首先通过研究常见组件及连接方式间的关系分析了风格之间的关系,然后通过对特定组件和连接方式的组合产生了完整的体系结构风格的形式化描述.  相似文献
焦文品  史忠植 《软件学报》2000,11(3):410-415
6508.
下载全文  总被引:8,自引:0,他引:8
如何从真实世界中获取具有真实感的三维场景模型一直是计算机图形学中的一个难点.该文给出了一种从真实世界的照片中重建三维场景模型的算法.算法根据在空间稀疏分布的不同视点处的真实场景照片中颜色纹理的一致性来建立达到照片级真实程度的三维场景模型,可用于真实世界复杂形体真实感三维模型的建立… …   相似文献
杨孟洲  石教英 《软件学报》2000,11(4):502-506
6509.
物化视图的刷新是Web仓储进行系统维护的一项主要任务,而基础数据变化频率则是刷新方案中的重要因素.在已有文献中,研究者已经给出一些关于基础数据变化规律的算法和估测器.虽然这些估测器取得了不错的效果,然而他们却忽略了这些估测器都有一定的适用范围,超出这个范围则效果急剧下降.在此,基… …   相似文献
6510.
下载全文  总被引:1,自引:0,他引:1
以UP-NETARM2410嵌入式开发平台为硬件,介绍了嵌入式实时操作系统μC/OS-Ⅱ移植条件,阐述了μC/OS-Ⅱ在ARM微处理器(以S3C2410为例)上的移植过程中的几个重要问题,经过测试,表明系统移植成功.  相似文献
6511.
自动生成测试用例是测试编译程序的途径之一,目前一般均使用Purdom提出的产生式选择策略来自动生成测试用例,本文提出了描述前后文无关文法的一种图表示方法,这种图称为文法的DG图。基于DG图,我们给出了一种优于Purdom策略的新的编译程序测试用例自动生成策略,并讨论了这种策略的实… …   相似文献
6512.
下载全文  总被引:8,自引:0,他引:8
为了避免现有秘密共享方案中的秘密份额分发机制的不足,结合基于身份(ID)的公钥密码技术,提出了利用参与者私钥作为其主份额的秘密份额分发方法.首先,对Zheng提出的签密方案进行了安全分析,发现其不具备前向保密性,并针对该安全问题,提出了一个改进的签密方案.同时,在所提出的改进方案… …   相似文献
庞辽军  裴庆祺  焦李成  王育民 《软件学报》2008,19(10):2739-2745
6513.
下载全文  总被引:2,自引:3,他引:2
提出了一种基于多级安全数据库管理系统的通用审计策略模型.该模型具有丰富的表达能力,既可以表达基于时间的审计策略,也可以实现基于规则的审计策略推衍.通过引入对象的属性谓词,还可以表达细粒度的审计策略.证明了该模型的可判定性,并给出了判定任意一个事件是否需要审计的算法.  相似文献
何永忠  李斓  冯登国 《软件学报》2005,16(10):1774-1783
6514.
由于实时监控系统对视频压缩的需要,本文针对H.264 标准的多模式运动估计算法编码模式复杂、计算量大的不足之处,在宏块编码模式选择统计规律的基础上,通过对纹理复杂度的分析,提出了一种利用预判法与部分模式排除法相结合的快速模式选择算法。该方法提前排除Skip 模式和inter16×… …   相似文献
6515.
下载全文  总被引:4,自引:0,他引:4
首先结合移动IPv6的应用现状指出了移动IPv6协议安全机制研究的重要性。在简要介绍了移动IP及移动IPv6协议后,列举了移动IPv6协议所面临的主要安全威胁,并分析了用来提供对“绑定更新”轻量级保护的PBK(PurposeBuilt Keys)协议,提出了改进PBK协议的方法… …   相似文献
6516.
下载全文  总被引:3,自引:0,他引:3
介绍了提高Web服务器性能的前沿技术--分布式Web服务器系统,讨论了现有各种方案的优缺点,在此基础上提出一种新的分布式Web服务器系统.该系统使用基于标记的缓存协作用户请求分发方法(tag based cache cooperative Web requests distrib… …   相似文献
林曼筠  钱华林 《软件学报》2003,14(1):117-123
6517.
下载全文  总被引:2,自引:0,他引:2
针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements specification model*),利用转换有效期和事件预定机制来描述时间限制,能够较好地支持系统交互性和实时性的建模.… …   相似文献
舒风笛  毋国庆  李明树 《软件学报》2004,15(11):1595-1606
6518.
下载全文  总被引:1,自引:0,他引:1
探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节.本文提出了一种形式化的基于测试描述语言TTCN的操作语义的测试执行方法,并使用标号变迁系统刻画了这一方法的整个执行过程,同时讨论了这个方法的一个具体实现.这种形式化的基于TTCN的测试执行方法非常适合于构… …   相似文献
6519.
随着互联网和基于构件的软件复用的飞速发展,各地公共构件库和企业构件库积聚了大量可复用构件,分布式构件库之间进行信息交互的需求也变得十分迫切。为增进分布式构件库尤其是公共构件库和企业构件库间的信息交互,从构件库及互操作知识入手,借助软件Agent技术进行了互联框架和交互方式的设计,… …   相似文献
6520.
  总被引:2,自引:0,他引:2
并行处理系统结构的发展要求相应的软件工具的支持,目前,国际上对并行化工具正开展广泛深入的研究,但由于过程间相关性分析难,最优化判别标准过分依赖于机器特性,同步通讯问题及调度开销大等原因,使得现有技术所能开发的并行性极为有限,另外,对软件工具的要求不但是正确性,还要有友好的用户界面… …   相似文献
[首页] « 上一页 [321] [322] [323] [324] [325] 326 [327] [328] [329] [330] [331] 下一页 » 末  页»