论文部分内容阅读
这篇论文建议一个方法在多域环境形式化互操作。通过采用代数学方法，我们为互操作结束冲突的四种类型，；分析政策冲突的原因。为冲突的每种类型，我们形式化它；建议察觉的方法；分辨率。最后，方法被照亮通过把我们的工作与其它作比较有效。
Resolution for Conflicts of Inter-Operation in Multi-Domain Environment
【摘 要】
：
这篇论文建议一个方法在多域环境形式化互操作。通过采用代数学方法，我们为互操作结束冲突的四种类型，；分析政策冲突的原因。为冲突的每种类型，我们形式化它；建议察觉的方法；分辨率
【机 构】
：
CollegeofComputerScienceandTechnology
【出 处】
：
武汉大学学报：自然科学英文版
【发表日期】
：
2007年5期
【基金项目】
：
Supported by the National Natural Science Foundation of China （60403027）, the Natural Science Foundation of Hubei Province （2005ABA258） and 0pen Foundation of State Key Laboratory of Software Engineer
其他文献
１９９７年 ,上海的ＩＳＤＮ用户仅有６４２户 ;１９９８年 ,达到１６５５５户 ;１９９９年 ,用户数急剧上升 ,全年共发展５０７０７户 ,全网ＩＳＤＮ在线用户达到了６７０００余号线 ,发展规模居全国之首 ,占全国的“半壁江山”。上海的ＩＳＤＮ发展正由市场导入期
这份报纸讨论多产量 m-valuedlogical 功能的最好的仿射的途径(咩) 。首先，它给在多产量 m-valuedlogical 功能和他们的仿射的功能之间的一致的率的系列，然后分析多产量的 BAA
Synthesis, Characterization and Biological Activity of Transition Metals with Schiff Base Derived fr
五新稳固的建筑群被综合啊外面有 Schiffbase 的转变金属(L， C_(18 )H_(23 ) NO_2 ) 源于 adamantaneamine 和 o 香草醛，并且由元素的分析描绘了，臼齿的传导力，红外线的系列，紫外
当前,中国邮政在利用资本市场方面尚属空白,面对未来市场发展将遇到的种种竞争和挑战,中国邮政有必要也有能力充分利用资本市场,推动邮政企业的健康、快速、持久发展.
2008年秋，合水县组织农牧局牵头抽调9名工作人员，组成3个工作组，对我县12个乡镇2008年农民人均纯收入进行了抽样调查，作为指导农业结构调整、建设现代农业提供科学依据。
Self-Organized Public-Key Management for Mobile Ad Hoc Networks Based on a Bidirectional Trust Model
在传统的网络，认证被证书权威(CA ) 执行，它不能然而在分布式的活动特定的网络被造。在这篇论文，没有允许用户产生他们的公众私人的关键对的任何集中的权威，我们基于双向信任模型