欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Hyperic HQ
来自开放百科 - 灰狐
Hyperic HQ 是一个开源的IT管理框架，让用户使用统一的界面来管理各种不同的IT技术。
Hyperic HQ 可以监控和管理：
- 操作系统: AIX, HP/UX, Linux, Solaris, Windows, Mac OSX, FreeBSD
- Web服务器: Apache, Microsoft IIS, Sun ONE Web Server
- 应用服务器: BEA WebLogic, IBM WebSphere, JBoss, Apache Geronimo, Macromedia ColdFusion, Macromedia JRun, Microsoft .NET Runtime
Novell Silverstream, Tomcat, Caucho Resin
- 数据库: IBM DB2, Microsoft SQL Server, MySQL, Oracle, PostgreSQL, Sybase Adaptive Server
- 消息中间件: ActiveMQ，Weblogic MQ
- 微软的产品: MS Exchange，MS ActiveDirectory，.NET
- 虚拟产品: VMWare, Citrix Metaframe
- 应用平台: LAMP, LAM-J, J2EE, MX4J
- 其他技术网络设备交换机，路由器等。
分享您的观点
