属性验证相关论文
计算机并发性程序形式化验证一直是软件安全领域的难题.软件并发性漏洞难以被发现,一旦发生问题,会造成不可估量的安全问题.形式化......
知识的文本挖掘(KAT)是当今计算机领域的一个很重要的研究课题。在本文中,给出了基于本体从海量网页文本库中获取领域知识的方法。......
计算机应用已经渗透到了社会生活的各个方面,利用计算机对信息进行收集、加工、存储、分析以及交换等各种处理,越来越成为必不可少的......
随着互联网的高速发展,网络协议标准也不断地更新和完善。如何更有效地提高网络服务,已成为网络协议工程领域的关键问题之一。层次......
目前软件应用广泛,对软件可靠性要求越来越高,研究软件的缺陷—错误—失效过程,提前预防失效的发生,减小软件失效带来的损失是十分......
针对规范多Agent系统(NMAS)并发性、动态性和规范性的特点,提出了一种规范多Agent系统动态模型和基于模型检验的属性验证机制.其中动......
信息物理融合系统(CPS)对复杂系统的建模与验证是当前控制研究领域的一个热点问题。考虑不确定环境因素对CPS系统的影响,结合可能性......
为解决微分时态动态逻辑(d TL)表达能力弱以及微分代数动态逻辑(DAL)缺少时序表达能力的问题,提出了一种结合d TL和DAL的微分代数......
由于嵌入式、计算机等技术的快速发展和硬件产品的性能以及在数据处理方面能力的不断提升,一些技术得到突飞猛进的发展,如物联网技......