...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管理和监控软件通过内置的警告、消息中介、场景和工作流帮助用户满足现有的服务级别的要求。
Overallsentiment in social channels: Using brand monitoring software, a studyshould be fielded to gauge the overall change in perception within thesocial sphere, whee this effort was focused.
社会渠道的整体观点:使用品牌监测软件进行研究,了解在社会大环境下进行竞赛的这一尝试令整体观念发生怎样的改变。
应用推荐