并发行为相关论文
在软件生命周期过程中，软件测试是保证软件质量的关键环节之一。随着分布式系统的不断发展，网络并发软件的测试方法受到了广泛关注与......
在某个时间段里,如果有多个进程同时运行,则称为并发。在多Agent系统(MAS)环境下,并发行为广泛存在而且尤为重要。这些并发行为可......
本文将人工智能技术与组织设计方法相结合研究多主体系统的建造方法学.文章提出了从宏观到微观,在整体组织、个体和并发行为等不同......
把petri网原理和面向对象技术相结合,定义一种对象petri网.运用这种对象petri网对提出的电力系统应用软件体系结构进行描述.这种描......
首先对基本并发行为进行CPN建模及状态空间生成,逐渐增大模型的复杂性,展示了CPN建模并发行为可能存在的状态空间快速增大问题。在......
在面向服务器的进程代数理论中,为了描述服务器和客户之间的并发行为,Bernardi和Hennessy等人提出了三种must-testing语义,并对它......
为解决应用区域边界安全体系结构中的多主体访问控制安全问题,分析了应用区域边界的安全体系结构,利用BLP模型、B iba模型和RBAC模......
针对并发行为难以描述和检测的问题，引入进程代数对系统调用序列进行分析，提出一种描述和检测并发行为的模型。首先通过静态分析二进......
针对事件驱动机制下Android多线程程序的数据竞争问题,构造一个基于Pi演算的并发行为检测模型。利用扩展后的Pi演算对Android生命......
根据通信对抗装备的分类特征及并发行为需求，使用在面向对象模型中引进并发机制的方法，设计实现了并发仿真模型，给出了使用消息和同步......
在面向服务器的进程代数理论中,为了描述服务器和客户之间的并发行为,Bernardi和Hennessy等人提出了client must-testing（CLT）语义,s......
随着移动网、传感网、物联网的飞速发展以及BYOD(Bring Your Own Device)办公模式的日益流行,安装在移动设备和智能终端的Android ......
