机译:Java安全性和类型安全性
机译:农场业务类型对西爪哇肉鸡农场生物安全实践的作用
机译:哪种类型的安全网最有效地保护小农和穷人免受食品价格波动的影响? (特刊:阿拉伯世界的粮食安全-可持续发展的伙伴关系:为审查阿拉伯区域的粮食安全而准备的文件。)
机译:JVM中的类型安全性:Java 2 SDK 1.2中的一些问题和建议的解决方案
机译:在安全关键型Java模块中确保范围安全的类型系统
机译:Java的上下文相关安全类型系统。
机译:安全的JAVA小程序和应用程序:从JAVA安全模型中学到的准则和经验教训
机译:SWOBE-将语义Web语言RDF,SPARQL和SPARUL嵌入Java中,以确保类型安全,检查查询的可满足性以及确定查询结果类型