为了在开发分布式系统的过程中帮助设计者优化和验证系统,提出一种基于层次结构图形化描述方法,利用精确的数学模型描述其分布与并......

根据仿生学原理,模拟生物系统的免疫机理,设计了计算机系统安全模型GECISM(GEneral Computer Immune System Model).GECISM的NFA(N......

伴随Web系统的广泛应用，Web系统的正确稳定运行至关重要。由于Web系统的异构性、不确定性、多层结构等特点使得基于Web系统的测试、......