安全软件与系统涉及的主题

黄富强 2012-2-10 13:14

以下信息来自ESSoS 2012讨论会的主题。我觉得在软件与系统安全方面总结的比较规范与全面，所以复制过来分享探讨。对于特种软件研发实践与理论探究具有方向性的意义，实际上，还有另外一个重要方面，就是软件与系统可靠性的相关主题。这两方面对特种软件研发与理论探索都是相当 ...

个人分类: 信息安全理论与工程|2657 次阅读|没有评论

网络安全新基础的谋划

黄富强 2012-2-7 12:36

Air Force Research Laboratory的 首席科学家Richard W. Linderman正为princeton的计算机科学系师生准备一个报告，题目就是《 Establishing New Foundations for Cyber Security》。网络安全新基础问题确实值得务实性的新思考。 报告 预告 内容如下： A lecture by Dr. Richard Li ...

个人分类: 信息安全理论与工程|3284 次阅读|没有评论

哈工大机器人舞蹈亮相2012年央视春晚

热度 4 黄富强 2012-1-30 11:33

信息来源于哈工大校园网 我校学生制作完成的机器人舞蹈亮相2012年央视春晚 发布时间：2012-1-23 0:25:15阅读数： 10350 哈工大报讯（吴松全）备受全校师生员工瞩目的我校机器人舞蹈亮相央视龙年春节联欢晚会，成为央视春晚舞台上一 ...

个人分类: 其它方面|5227 次阅读|没有评论 热度 4

ACM - IEEE CS Ken Kennedy Award 2011

黄富强 2012-1-13 08:28

Citation For foundational compilation algorithms and programming tools; research and discipline leadership; and exceptional mentoring. & ...

个人分类: 计算机软件理论与工程|3298 次阅读|没有评论

组播树聚合Multicast Tree Aggregation120111

热度 1 黄富强 2012-1-11 11:27

组播技术发展的障碍之一就是要解决组播路由转发的状态信息与控制信息爆炸问题。如何有效降低状态与控制信息量的问题成为相关算法与协议机制首先应该考虑的，组播转发树自然可以成为思考的焦点，可否通过树聚合算法来降低转发树的数量，进而减少状态与控制信息的负荷， ...

个人分类: 计算机网络理论与工程|4151 次阅读|4 个评论 热度 1

32位图灵奖获得者聚会（100th Anniversary of Alan Turing）

黄富强 2012-1-7 18:43

32 ACM A.M. TURING AWARD WINNERS ATTENDING ...

个人分类: ACM图灵奖|3382 次阅读|没有评论

数据思维data thinking120103

热度 1 黄富强 2012-1-3 11:46

有人说“数据会说话”，那数据会思维吗？用数据进行思维（TWD，Thinking With Data）或者说数据驱动思维（DDT，Data-Driven Thinking)的提法我认为很有道理，国外学者早就有此类相关的提法。推荐设计思维(DT,Design Thinking）与数据思维（DT，Data Thinking）的一篇文章： Des ...

个人分类: 数据挖掘与机器学习|3885 次阅读|2 个评论 热度 1

本页有 3 篇博文因作者的隐私设置或未通过审核而隐藏