排序方式: 共有127条查询结果,搜索用时 15 毫秒
51.
52.
文章提出了在分布式环境下的一种新的秘密投标方式的电子拍卖协议,满足电子拍卖的6个安全要求:标书的保密性,投标者匿名,赢家抗抵赖,输家利益不受损,投标有效性和分布式环境中的容错性。采用投标承诺保证其容错能力达到最小限制m>=2t+1,且只有赢家标书得到恢复,实现了对输家信息最大的保密。 相似文献
53.
54.
CORBA与DCOM的比较 总被引:14,自引:1,他引:14
分布对象计算是分布式计算系统的最新发展方向,而CORBA和DCOM则是其中最重要的两种系统的模型。 相似文献
55.
在当今的软件开发中,可视化的和基于软件构件的编程环境已经得到广泛的应用。典型的软件构件有大家熟悉的JavaBean和ActiveX构件。由于大部分软件构件提供用于编辑其属性的GUI界面,因而很多的可视化编程环境都支持对软构件的使用。典型的环境有VisualBasic、VisualC++。De…hi和POwerBuilder等。但是,现有的基于软构件的可视件编程环境还有很多不理想之处:1.多个软构件之间的互联操作仍然需要大量的手工代码来完成,不能做到完全可视化。而且,这部分手工代码非常容易出错。2.各种编程环境采用了不同的编程语言来描述,这常使… 相似文献
56.
随着计算机技术的日益发展,对系统可靠性和可用性要求也越来越高,作为新兴技术之一的耦合技术已为更多计算机系统所普遍应用.在耦合技术研究及应用方面,大型计算机系统始终保持着领先地位.XCF(Cross-system Coupling Facility)作为大型计算机系统耦合体核心部件之一,主要负责向各类应用程序提供跨系统信息交互的服务.由于其特殊地位,使得XCF的性能优劣在一定程度上决定了整个耦合体的性能.该文从XCF通信机制的分析入手,阐述XCF的内在结构和通信机制.并针对XCF的典型性能问题,提供优化策略及相关建议. 相似文献
57.
本文将移动代理及协调技术引入真实世界的仿真,通过确定草原各物种之间的关系,在移动代理系统中仿真了一个简单的草原生态系统,验证了移动代理技术是一种特别适合仿真真实世界的新型分布式计算模式。 相似文献
58.
使用时间化自动机形式化带有时间扩展的UML状态图 总被引:9,自引:0,他引:9
严格建模是嵌入式实时系统设计的核心技术,通过UMI。方法与形式化方法结合可以给严格建模提供很好的工具支持。时间化自动机(Timed Automata)是一种用于描述、验证实时系统的理论模型。文中提出了一种通过时间化自动机来形式化带有时间扩展的UML状态图的方法,这种方法为UMI。与形式化方法的结合构造了桥梁作用。带有时间扩展的UML状态图用于嵌入式系统动态模型的建模,从时间化自动机模型得到形式化规范将更容易。UML状态图的形式化分为两部分完成;层次状态图的平面化以及时间化自动机的构造。 相似文献
59.
60.
该文讨论了在J2EE1.2规范下,定时运行EJB的实现方法;定义一个EJB--TimerEJB--来实现定时运行预先定义的任务.TimerEJB可以像一般的STATELESs Session Bean一样使用,可以在调用其代码结束以后依然存在并调度任务. 相似文献