按:现为耶鲁大学计算机系教授及系主任的邵中如今正带领研究小组为其“反黑客攻击”操作系统CertiKOS而工作。 CertiKOS具有极高的安全性和可靠性,采用了模块分层验证法(Modular Laye...
这家公司在和微软竞争17年后,终于还是破产了
微软素有企业杀手的称号,鲜有与其正面对抗而存活的。现在又有一家公司面临破产。据法国媒体报道,知名的商业桌面Linux发行版Mandriva已进入清算程序。这个自1998年以来一直追逐Linux桌面之梦...