论文部分内容阅读
讨论了并发执行的移动代理间的一致性控制问题,给出了移动代理的形式模型及其交互执行的正确性准则,然后基于上述模型,提出了一种有效的分布式死锁检测算法,该算法具有独立于网络的拓扑结构,死锁的检测和事务代理的执行异步操作,不对代理的移动性施加任何限制等特点.
分布式移动代理系统的事务管理及死锁检测研究
【摘 要】
：
讨论了并发执行的移动代理间的一致性控制问题,给出了移动代理的形式模型及其交互执行的正确性准则,然后基于上述模型,提出了一种有效的分布式死锁检测算法,该算法具有独立于
【机 构】
：
华东理工大学
【出 处】
：
微电子学与计算机
【发表日期】
：
2007年10期
其他文献
【本刊2017年8月综合报道】国际原子能机构（IAEA）2017年7月29日举办成立60周年庆祝活动。原子能机构成立于1957年7月29日,是联合国系统中的独立政府间国际组织,总部设在奥地利
据报道,与世界其他任何国家一样,＂学术腐败＂在美国也时有发生。＂学术腐败＂的美式名称是＂学术不端行为＂。它指的是＂在提议、开展和评议科研项目,或报道科研成果的过程中,出现的捏造、
作为网络安全领域的两大技术，入侵检测系统与防火墙仍然存在一些自身无法解决的问题。在入侵检测系统与Linux内核Netfilter总体框架的基础上，文章提出了集成网络入侵检测系统（NI
中共孝昌县委宣传部十分重视各级党委中心组的理论学习,他们在大力抓好县委中心组理论学习的同时,不断加大对县直及乡镇党委中心组理论学习的领导、引导和服务力度,促进了全
期刊
目的：评价冠状动脉搏旁路移植术（冠脉搭桥术）术后监护对患者预后的意义。方法：对20例行冠脉搏搭桥术的患者进行临床分析。结果：1例术后急性心梗并发室颤死亡外，其余19例均痊愈出院
近日随众到潍坊、青州走了一趟。在潍坊又重睹了郑板桥的一"难得糊涂"的书法真迹,在附近小店里同游者不约而同地争购"难得糊涂"的复制品。后在青州的玄门山道上,又看到游客们
提出了一种基于Radon变换的医学图像增强方法,该方法不仅实现简单,而且能够有效地增强医学图像对比度。通过与常规方法相比较,该方法处理图像更加清晰并且具有较强的鲁棒性。
文章针对数字视频分发模型提出一种版权保护协议。该协议综合利用了密码技术和数字水印技术．保证了数字视频的合法性，视频内容传递过程的保密性，并且防止了数字视频内容的非法拷
下肢深静脉血栓形成（deep veni thrombosis，DVT）的严重并发症为其血栓脱落后导致的肺动脉栓塞，肺动脉栓塞一旦发生可引起呼吸困难，严重者可导致患者猝死。经皮穿刺下腔静脉滤器植