良构性论文

  • VTOS形式化验证框架与VTOS消息模块的验证

    VTOS形式化验证框架与VTOS消息模块的验证

    论文摘要作为计算机软件的核心,操作系统的安全对于所有的计算机软件来说都至关重要。但是由于操作系统的规模非常庞大,而且结构极其复杂,这使得操作系统的安全问题存在非常多的不确定性。...
  • 基于.Net的分布式事务处理的研究与应用

    基于.Net的分布式事务处理的研究与应用

    论文摘要随着信息化的发展,人力资源管理已成为企业发展中举足轻重的原动力,人力资源管理已成为企业间竞争的主要支撑力。进行人力资源系统的开发,必然涉及到其中复杂的工作流程,保证用户...