机译:分布式应用程序属性的有效模型检查:多媒体案例研究
Dipartimento di Ingegneria dell'Informazione Seconda UniversitÀ di Napoli Italy;
Dipartimento di Ingegneria dell'Informazione UniversitÀ di Pisa Italy;
Dipartimento di Ingegneria dell'Informazione UniversitÀ di Pisa Italy;
Dipartimento di Informatica e Sistemistica UniversitÀ degli Studi di Napoli Federico II Italy;
model checking; state explosion; multimedia services;
机译:高效的分布式SAT和基于SAT的分布式有界模型检查
机译:基于UDP的分布式应用程序的软件模型检查
机译:分布式交互式多媒体应用程序的一致性模型
机译:现代分布式交互式多媒体应用的可靠性建模与分析 - 以分布式歌剧性能为例
机译:一种高效的实时分布式计算中间件的模型,该模型结合了细粒度的程序段级别的基于期限的调度策略和基于有效检查点的复制方案。
机译:纵向研究中的时滞响应:分布式时滞非线性模型在职业人群中的应用
机译:分布式应用程序属性的高效模型检查:多媒体案例研究