Communications of the ACM
Research Archive
The Research archive provides access to all Research articles published in past issues of Communications of the ACM.
April 2011
From Communications of the ACM
Technical Perspective: Patterns Hidden from Simple Algorithms
Is the number 9021960864034418159813 random? To my limited mind, the string appears random. Is there a way to use some formal mathematics to justify my naïveté?
From Communications of the ACM
Poly-Logarithmic Independence Fools Bounded-Depth Boolean Circuits
The question of determining which (weak) forms of randomness "fool" (or seem totally random to) a given algorithm is a basic and fundamental question in the modern theory…
From Communications of the ACM
Technical Perspective: Liability Issues in Software Engineering
The paper by LeMétayer et al. addresses one technical issue in a large and serious problem in the production of mass-market software (MMSW), that of the lack of liability…
From Communications of the ACM
Liability Issues in Software Engineering: The Use of Formal Methods to Reduce Legal Uncertainties
This paper reports on the results of a multidisciplinary project involving lawyers and computer scientists with the aim to put forward a set of methods and tools to (1) define software liability in a precise and unambiguous way…