形式化模型相关论文
随着Internet技术,传感器网络和移动设备的发展,普适计算得到了越来越多的关注和研究,越来越多的普适设备融入到人们的生活与工作......
随着软件的战略价值日益增长，企业期待着能够加速软件开发的技术，我们寻找着提高软件质量、降低软件成本和开发时间的方法。当前，面向......
本文针对串空间模型的一些计算性质作了详细的分析，证明了串空间模型中保密性问题的不可判定性，以及认证问题的不可判定性。关于保密......
随着Internet的普及和电子商务的迅速发展,对电子商务的要求越来越高,为了适应这种要求,Agent技术被应用到了电子商务中,来提高电......
随着嵌入式系统的规模、复杂程度和可靠性需求的不断提升，模型驱动的体系结构开发方法已经成为复杂嵌入式系统开发的主流。体系结构......
近年来，在全球新科技革命浪潮的推动下，以现代信息技术的广泛深入应用为特征的远程教育随着互联网的普及和社会需求的增长迅速发展，已......
协议是网络的血液和生命，计算机网络的发展是网络协议设计和开发的结果。随着通信网络向着高速度、高性能、多媒体等方向的发展，协议......
目前，嵌入式实时系统的广泛应用使得确保其正确性和可靠性成为当前的研究热点。MARTE（Modeling and Analysis of Real Time and Embe......
随着因特网的不断发展,Web服务已成为了人们日益关注的焦点。然而,功能单一的Web服务已经不能胜任企业的应用。Web服务组合研究如......
伴随着社会经济的飞速发展,信息技术的不断进步,决策所涉及的系统越来越复杂,要考虑的因素越来越多。然而,传统的决策方法已显得力......
路由是无线传感器网络的一项基本功能,针对路由的攻击可能会导致服务质量的降低或者彻底瘫痪。但近年来提出的各种传感器网络路由......
为了求解问题，人们提出了各种处理精确信息、随机信息和模糊信息的方法，并且解决了不少问题。然而，在人类社会中还存在矛盾问题和矛盾......
随着网络信息化的快速发展与普及,可靠的网络协议成为保障网络稳定的重要因素。为了保证网络协议实现符合它的规格说明,对协议进行......
现如今,WCDMA协议已经成为了两大主流通信体制的一部分并越来越受到人们的关注。而对于无线通信系统来说,呼叫流程能否成功建立是......
形式化模型的互模拟是形式化方法领域中的一个重要研究问题。通过研究两种形式化模型的互相模拟,可以把不易于在一种模型分析的问......
首先提出“人工生命”或“人造生命”概念的人，是美国洛斯阿拉莫斯国家实验室的克里斯托芬，兰顿博士。1987年他指出，地球上的生物只不......
随着信息技术的发展,对信息安全及软件可靠性的要求也愈来愈高,数据安全性成为当今计算机研究的热点话题。而文件系统作为操作系统......
随着计算机网络以及基于网络的分布式计算的发展，对于Agent系统的研究，已成为 人工智能领域中一个新的研究热点，也成为分布式......
随着现代计算复杂性和信息量的急剧增长，传统的集中计算模式已不能适应大型分布式信息处理的发展。而基于Agent的计算和以Agent为主......
随着计算机网络以及基于网络的分布式计算的发展,对于Agent系统的研究,已成为人工智能领域中一个新的研究热点.基于Agent的技术被......
随着计算机网络、计算机通信等技术的发展，对于Agent和多Agent系统的研究己成为分布式人工智能(DAI)重要的研究领域。Agent系统的研......
在分析当前超媒体形式化模型特点的基础上,本文提出一个全新的模型-CPNH.它基于有色Petri网,具有刻画分布超媒体主要性质的能力.与......
UML(统一建模语言)活动图广泛用于软件开发过程,然而它是半形式化的模型,不能进行推理,无法保证其正确性。为了保证它的正确性,必......
通过分析协议中消息项的起源和交易方之间的信道组成、事件及事件间的各种关系,提出了一个简洁、紧凑、精确的一般公平交换协议层......
