程序统一理论相关论文
移动分布式系统中的计算描述的是如何向分布在不同位置的用户提供高质量的信息服务,目前已经被广泛地应用于教育科研、国防军事、......
随着现代计算机系统的规模越来越大、复杂性越来越高,如何开发可信的软硬件系统已经成为计算机科学发展的巨大挑战。形式化方法是......
本文研究了软硬件协同设计中的性能和资源问题，包括系统的资源和时间估计，软硬件划分的性能优化问题等，并把软件形式化方法应用于这个......
无线网络(Wireless Networks)是由一组无线的、可移动的网络节点组合而成的网络体系架构,该网络架构已经被广泛地应用于信息物理融......
随着计算机科学与软件工程的飞速发展,人们越来越强烈的意识到形式化模型对软件系统的分析与设计的重要作用。在当今软件系统的设......
