通信系统演算相关论文
通信需要各种协议的参与,如何描述这些协议,如何确保这些协议的一致性,正确性和完备性成为一个难题。人们提出了很多理论来刻画这......
随着并发系统在计算机、通信等领域的广泛应用,在实现了并发系统进一步发展的同时,也对并发系统的功能及性能分析带来了考验。基于......
在全球化软件开发的背景下,针对分布在不同地域的开发团队频繁同步交互式所引起的软件演化过程的可信问题,和软件演化过程元模型EP......
全球化软件开发导致以交互方式协作开发的频率和复杂性越来越高。为了控制和规范软件演化的开发行为进而提高软件质量,文献[10]设......
组合可达性分析是对并发系统模型分析验证的基础和关键,但是难于解决验证中的所谓的状态爆炸问题.对此提出了基于假定状态约减验证......
