形式化描述语言相关论文
基于计算机视觉的人体运动捕捉技术为舞蹈动作的形式化与数字化描述提供了新思路。本文结合运动捕捉技术,设计了一种新的舞蹈动作......
协议测试理论是从软件测试的基础上发展起来的,协议测试包括:协议一致性测试、互操作性测试和性能测试.协议一致性测试是协议测试......
针对目前对B／S模式MIS程序需求日益增长与B／S模式MIS程序开发效率低下、自动化程度低的矛盾，本文提出了一种利用XML和构架构件技术，实......
随着计算机科学与其他学科之间的相互渗透和影响,科学家们根据不同原理提出了不同的计算模型。细胞膜计算是一种基于生物细胞膜结......
Rootkit是一种新型的恶意程序程序或程序集,设计的目的是用来秘密的控制被攻占的计算机的行为。通过隐蔽后门程序或其他类似的工具......
