distributed programming; algorithm theory; temporal logic; security of data; decentralized monitoring; distributed system safety; distributed systems; distributed program; program execution monitoring; PT-DTL; past time linear temporal logic; Knowledge Vector; DIANA tool;
机译:一种分布式方法,用于在分布式系统监视中挖掘事件相关性
机译:分布式数据网络中新上市药品的主动安全监控:半自动化监控系统的应用
机译:燃气网络中的分布式和分散状态估计作为分布式参数系统
机译:分布式系统安全性的高效分散监控
机译:分布式分散的微服务开发:分布式系统的分布式模型
机译:在分布式数据网络新上市的药物的主动安全监测:半自动化监控系统的应用
机译:分布式系统中安全性的高效分散监控
机译:全分布式处理系统中的分布式和分散控制