排序方式: 共有25条查询结果,搜索用时 15 毫秒
1.
The development of the global information highway has brought great impetus and impact to every domain of the world: science, technology, economy and culture as well. Information security of network as an integrated system engineering needs a long period of tackling key problems and planning in such fields as researching and application. The threats to network security can be classified as: hacking, inside attack, computer virus, leak of secret message and modification of key data in network. … 相似文献
2.
3.
Web交互模型的形式化验证是对Web事件属性进行校验的十分可信的方法。通过一系列的系统模型建立、系统行为分析以及对于模型中关心属性的相关验证,能够让交互模型在设计阶段就能使形式化模型暴露出其所存在的缺陷,而不至于让缺陷保留到编码阶段或者更后面才能被真正地暴露出来,这样使系统模型的生存能力更加强大,同时避免了因后期缺陷暴露而出现的大代价修复。通过对Web系统的交互应用服务的过程模型化的体系进行研究,通过模型本身具有的属性进行相关正确性的校验,主要通过使用数学推理实现系统逻辑上的服务交互进程,从而进行过程的推演,并对系统服务的正确性进行过程的形式化验证,从而使系统服务模块的属性正确性可以通过逻辑上的演进来发现服务问题的存在,而不再是系统通过编码实现后才发现。对Web交互模型的形式化验证是基于IMWSC模型语义形成的IMWSC模型的验证机制。 相似文献
4.
Adhoc网络是一种特殊的多跳移动无线网络,具有广泛的应用场合。虽然此技术研究了十几年,但是仍然存在很多问题有待解决。反应式路由协议的路由发现延迟问题就是其中之一。本文提出一种基于往返时间的动态算法,能有效的减小路由发现延迟。这个算法能适用于任何反应式路由协议。 相似文献
5.
6.
ODS是NGOSS提出的建立共享信息模型的通用框架,ODS分别从商业和系统两个视点描述了共享信息模型。ODS模型的建立使电信的OSS/BSS系统数据不再孤立,各个子系统能够实时的共享数据,而且保证了共享数据的一致性。本文对ODS棱心模型进行了分析和研究,提出了一种在NGOSS系统建设中简单的共享数据信息实现方法。 相似文献
7.
8.
9.
J2ME是一种针对移动通信设备的Java程序开发语言,随着无线互联网的发展和移动设备的普及。使用移动手机来进行电子商务将成为可能,本文讨论如何利用J2ME,XML和JSP等进行移动终端应用程序开发。结合传统网站,实现了J2ME的小型移动商务系统,给出了理论的交易模型和主要技术的实现方案。 相似文献
10.