8871.
总被引：7，自引：0，他引：7
提出了一种基于Petri网的安全协议形式化描述和安全性验证的方法．该方法的特点是利用逆向状态分析和Petri网的状态可达性分析，判定协议运行过程中可能出现的不安全状态以及这些状态是否可达．通过实例证明了这种方法的有效性． 相似文献
8872.
8873.
总被引：7，自引：1，他引：7
虚拟社区的研究对于社区的建设、管理和发展都具有重要意义。然而目前对虚拟社区和社区中的成员行为的定量研究还不多见,本文抽样采集了某一典型虚拟社区中的成员文章数据,在进行预处理中,利用关联规则的数据挖掘技术对其进行了挖掘,从而获取了虚拟社区中一些潜在的行为规律,并给出这些行为规律的相… … 相似文献
8874.
总被引：7，自引：0，他引：7
蓝牙技术是近年来迅速发展的一项短距离无线通信技术,OBEX作为蓝牙协议栈中面向应用的会话层协议,提供了灵活的目标文件交换方式,本文研究了OBEX协议的原理及结构,仔细分析了OBEX层模块间的接口和数据流,并着重讨论了基于OBEX的文件传输应用的实现技术,最后介绍了作者开发的蓝牙设… … 相似文献
8875.
总被引：7，自引：0，他引：7
NAS系统和SANs是网络存储技术发展的两个主要方向．NAS和SAN的融合可以解决SAN和NAS之间存储共享问题，提高效率，是存储需求的趋势．本文对NAS和SAN的关系以及它们融合涉及的技术进行了论述，然后给出了它们融合的方案及特点． 相似文献
8876.
总被引：7，自引：0，他引：7
企业在广泛应用CRM（Customer Relationship Management)对客户信息进行管理的同时,如何进一步提高CRM系统数据资源利用率是本文的重要论题。本文利用知识发现的相关技术以及数据库查询语言对隐藏在大量客户信息中的知识发现算法进行描述,并在此基础上结合CR… … 相似文献
8877.
8878.
8879.
总被引：7，自引：0，他引：7
文中在分析指出传统搜索引擎存在的缺陷和不足的基础上,介绍了一种基于概念搜索的搜索引擎,并对其中的基本实现进行了说明. 相似文献
8880.
关于我们 |
广告服务 |
商务洽谈 |
联系我们 |
免责条款 |
隐私声明 |
网站导航
网站版权所有：中国科学院软件研究所 京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持
网站版权所有：中国科学院软件研究所 京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持
