...software monitoring; anticipatory monitor; parameterized LTL (linear temporal logic); parameterized[gap=384]关键词: 运行时验证;软件监控;预测监控器;参数化 LTL(linear temporal logic);参数化 Büchi 自动机 文献标识码: A 中图法分类号: TP311 ..
基于14个网页-相关网页
runtime software monitoring 运行时刻软件监测
software monitoring function 软件监视功能
Monitoring Software 监控软件
Employee Monitoring Software 员工监控软件
Network Monitoring Software 网络监测软件
WinCC monitoring software WinCC监控软件
Performance Monitoring Software 监察表现软件
file server monitoring software 档案伺服器监察软件
Application Software Net Monitoring System 应用软件监控系统 ; 网络应用软件监控系统
High-availability systems (high availability system) by clustering software monitoring are the systems which has multiple redundant servers with each other.
高可用性集群系统(high availability system)是由集群软件监控,具有多台服务器互相冗余的系统。
参考来源 - 基于虚拟机动态迁移技术的分析和研究·2,447,543篇论文数据,部分数据来源于NoteExpress
The reliability and safety of some fault tolerant systems on the market are in the danger in fact, because the software monitoring the system may be fail.
市场上存在的一些双机热备份容错系统由于系统监测容错软件本身存在出错的可能性,使得双机热备份系统的可靠性和安全性受到威胁。
The automated SOA management and SOA monitoring software help users meet established service levels with built-in alerts, message mediations, situations and workflows.
这个自动化的SOA管理和监控软件通过内置的警告、消息中介、场景和工作流帮助用户满足现有的服务级别的要求。
You've hooked your server up to a UPS, and have the UPS monitoring software up and running so that your server will shut down safely in the case of an extended power outage.
您已经将服务器连接在UPS上,并且UPS监视软件已在运行,这样,在长时间停电的情况下,您的服务器将安全关闭。
应用推荐