排序方式: 共有4条查询结果,搜索用时 3 毫秒
1
1.
基于通信顺序进程的计算机网络通信协议形式化描述 总被引:5,自引:0,他引:5
描述和设计计算机网络通信协议时,使用抽象的同步通信机制最为方便。但在实际中,使用异步通信机制将不可避免。基于霍尔的“通信顺序进程”和其他对通信协议描述与设计的理论研究结果,本文提出一个形式化方法,这个方法在不论使用何种实现通信机制的情况下都将保证通信协议的正确性 相似文献
2.
虽然网络服务及面向服务的体系结构对促进遗产系
统的网络化和进一步演化都是很有前途的系统集成技术, 但面向服务的再工程过程对于延续遗产系统在面向服务计算环境下的生命周期仍然是必须的. 在这个面向服务的再工程过程中, 对面向对象代码的理解和重用成为重要的环节. 基于此, 提出一种对可重用面向对象遗产代码的抽取和集成的综合方法, 它可以通过用XML技术包裹底层计算模型的方式使抽取的以面向对象遗产代码为核心的组件在网络服务下运行. 相似文献
3.
提出一种基于类树的静态数据结构软件水印方法,该方法利用类树结构表示水印信息,描述了基于类树的信息嵌入过程,并给出了包括计算水印范围、选取水印、水印分解、嵌入水印和伪装设计5个步骤的软件水印自动生成流程。 相似文献
4.
提出了一个通用数据挖掘系统框架(GDMF)模型.其目的是为了能够从数据挖掘应用中抽取出核心功能并将其应用到可重用可扩展的原型系统中,以便快速地建造数据挖掘应用系统.在GDMF中ontology被用做语义数据模型.通过使用ontology驱动的数据挖掘查询语言,用户能够很轻松地表达一些复杂查询.最后,给出了使用GDMF作为一个建模工具去设计数据挖掘系统的方法. 相似文献
1