机译:IP流格式和语义形式化研究
Institute of Network , Xi'an Jiaotong University, Xi'an 710049, China;
formalization; malformed packet; fragment; reassembly algorithm; semantic ambiguity;
机译:IP流格式与语义形式化研究
机译:IP流格式和语义形式化研究
机译:IP流格式和语义形式化研究
机译:用数学公式化语义工作流
机译:一种形式化本体驱动的语义集成的方法:概念,维度和框架。
机译:正式制定综合的多学科癌症治疗发现工作流程
机译:图标语言语义的形式化:基于本体的方法和四个语义驱动的应用程序
机译:模型和解释:形式化多个语义。