The University of Wisconsin - Madison;
机译:向静态类型的语言编译器添加动态类型的语言支持:性能评估,分析和权衡
机译:通过多Agent系统领域特定的建模语言之间的互操作性来支持Agent系统的模型驱动开发的平台可扩展性
机译:通过多Agent系统领域特定的建模语言之间的互操作性来支持Agent系统的模型驱动开发的平台可扩展性
机译:向静态类型的语言编译器添加动态类型的语言支持:性能评估,分析和权衡
机译:从不确定性到错误:使用静态分析,统计方法和概率图形模型推断软件系统中的缺陷。
机译:用静态分析推断生成模型的结构
机译:推断鸭类型语言的有用静态类型
机译:接口控制设施的分析和扩展(战术系统互操作性和支持中心)弗吉尼亚州兰利空军基地