ACM通信
科学只有两条腿
最近，科学又长出了新腿。传统的科学方法的“腿”(或“支柱”)是理论而且实验。计算科学被称为……所属部门:给编辑的信
注释元数据的多种方法
《管理科学数据》(2010年6月)解释说，研究项目产生的数据只有在注释了描述数据来源的元数据时才有价值，……部门:BLOG@CACM
扩大计算机科学教育;提高软件开发
Ed H. Chi写了社交网络对计算机科学教育的影响。Ruben Ortega讨论了软件和测试驱动开发。部门:CACM在线
更多的通信
数字赋予承诺以意义通信网站提供及时，实质性的内容，补充杂志的同行评议材料和制作通信是ACM成员的重要组成部分。.．.专栏:新闻
大脑和字节
计算神经科学家正在了解到，大脑就像一台计算机，除了它不是计算机的时候。骑自行车通过数据
装有传感器的自行车为骑自行车的人、城市规划者和计算机科学家提供了有价值的数据。学位、距离和金钱
互联网让一群全新的学生有机会接受高等教育——但不一定要以更低的成本。ACM中国即将上线
ACM在中国的扩张将支持当地的专业人士，并增加中国对ACM国际活动的参与。京都奖和其他CS奖
László Lovász、Vinton G. Cerf和其他研究人员因他们对计算机科学的贡献而受到表彰。专栏:软件行业
返回的风险
计算项目可能的真实成本。专栏:法律和技术
软件合同法原则
概述由美国法律研究所开发的软件合同的一套新的法律原则。专栏:IT专业
讨论网络攻击
网络攻击——网络防御的另一个方面——应该得到比现在更开放的讨论。专栏:观点
对象没有?嗯,很少!
重访伟大物品之争。专栏:点/对位
未来互联网架构:全新与进化研究
研究人员应该专注于设计新的网络架构还是改进现有的互联网?部分:练习
计算机在病人护理:承诺与挑战
信息技术有可能从根本上改变医疗保健。为什么进展如此缓慢?为乐趣和利润注入错误
错误检测和纠正功能的好坏取决于我们测试它们的能力。清楚地思考性能，第1部分
提高复杂软件的性能是困难的，但是理解一些基本原理可以使它变得更容易。部分:文章的贡献
面对计算研究中快速淘汰的神话
计算机研究比其他科学领域的研究发展得更慢，这支持了对同等资助的呼吁。Erlang
组件隔离使得它对大型分布式电信系统有效，同样的组件隔离也使它对多核cpu和网络应用程序有效。部分:评论文章
绩效评估与模型检查联合力量
经典的绩效评估和最先进的验证技术之间的完美结合。部分:研究亮点
技术角度:差分隐私编程
世界各地的政府机构发布关于人口、教育、健康、犯罪和经济活动的统计信息。在美国，保护这些数据…隐私集成查询:隐私保护数据分析的可扩展平台
隐私集成查询(PINQ)是一个可扩展的数据分析平台，旨在为底层数据集的记录提供无条件的隐私保障。PINQ的分析语言及其实现提供了…技术角度:约束满足问题和计算复杂性
在日程安排和计划方面，几乎不需要什么想象力就能想出大量的问题，这些问题可以表示为约束满足问题(csp)。这并不奇怪……约束满足问题和全局基数约束
在一个约束满足问题(CSP)的目标是找到一个给定的变量集合受指定的约束的赋值。全局基数约束是一个额外的要求，它规定了多少……专栏:最后一个字节
