机译:边界环境中的信息泄漏检测11部分由MIUR项目“ Interstrtazione Astratta,类型系统和分析控制流”和“ Modelliformal per la sicurezza”以及EU Contract IST-2001-32617“移动分布式系统中的安全性的模型和类型”部分支持。
机译:使用协作控制器的灌溉系统的分布式模型预测控制
机译:医疗保健专业人员需要什么来将2型糖尿病的风险模型转变为可用的计算机化临床决策支持系统?从MOSAIC项目中学到的教训
机译:无线传感器网络的基于间隔2型模糊模型的随机系统的分布式软故障检测
机译:一种新型的分布式系统安全体系结构:模型和实现
机译:影响计划和实施复杂政府项目的系统集成组织模型类型选择的因素。
机译:医疗保健专业人员需要什么来将2型糖尿病的风险模型转变为可用的计算机化临床决策支持系统?从MOSAIC项目中学到的教训
机译:移动环境中的信息流安全性11部分由MURST项目“抽象解释,类型系统和控制流分析”和“通过抽象解释对程序进行自动认证”提供部分支持。
机译:支持广泛分布的认知系统中的协调:冲突类型,时间压力,展示设计和信任的作用