ACM通信
研究档案
研究档案提供访问所有研究文章发表在过去的问题的通信ACM。
2011年4月
来自ACM的通信
技术角度:从简单算法隐藏的模式
9021960864034418159813这个数字是随机的吗?在我有限的头脑中，这条线看起来是随机的。是否有一种方法可以使用一些正式的数学来证明我的naïveté?
来自ACM的通信
多对数独立性傻瓜有界深度布尔电路
在现代理论中，确定哪种(弱)随机形式“欺骗”了给定算法(或看起来完全随机)的问题是一个基本和基本的问题。
来自ACM的通信
技术角度:软件工程中的责任问题
LeMétayer等人的论文解决了大众市场软件(MMSW)生产中一个巨大而严重的问题中的一个技术问题，即缺乏责任……
来自ACM的通信
软件工程中的责任问题:使用形式方法减少法律不确定性
本文报告了一项涉及律师和计算机科学家的多学科项目的结果，旨在提出一套方法和工具(1)以精确和明确的方式定义软件责任……