Runtime verification; Monitoring; Network intrusion detection;
机译:rmSWSpec:实时监控规范模式的服务工作流规范语言
机译:Credal网络的决策理论规范:使用贝叶斯网络集进行不确定建模的统一语言
机译:使用领域特定语言的排队网络模型的规范和仿真
机译:用于网络监控的基于流的规范语言
机译:基于流的可视化语言的设计和实现。
机译:基于机器学习的基于流的多通道无线传感器网络的信道质量和稳定性估计
机译:基于流的监测语言的自动优化