2010 - November
Ubiquity symposium 'What is computation?': Opening statement
by Peter J. Denning
Most people understand a computation as a process evoked when a computational agent acts on its inputs under the control of an algorithm. The classical Turing machine model has long served as the fundamental reference model because an appropriate Turing machine can simulate every other computational model known. The Turing model is a good abstraction for most digital computers because the number of steps to execute a Turing machine algorithm is predictive of the running time of the computation on a digital computer. However, the Turing model is not as well matched for the natural, interactive, and continuous information processes frequently encountered today. Other models whose structures more closely match the information processes involved give better predictions of running time and space. Models based on transforming representations may be useful.
Edging Toward the Semantic Web: Protocols, Curation, and Seeds
by Espen Andersen
November 2010The evolution from an interactive Internet (often called Web 2.0) toward a more intelligent, semantic web will not happen as a result of dramatic new inventions or jointly agreed standards, ...
Ubiquity symposium 'What is computation?': Computation is symbol manipulation
by John S. Conery
November 2010In the second in the series of articles in the Ubiquity Symposium What is Computation?, Prof. John S. Conery of the University of Oregon explains why he believes computation can ...
Ubiquity symposium 'What is Computation?': The evolution of computation
by Peter Wegner
November 2010In this second article in the ACM Ubiquity symposium on 'What is computation?' Peter Wegner provides a history of the evolution of comptuation. --Editor ...
Ubiquity symposium 'What is computation?': Computation is process
by Dennis J. Frailey
November 2010Various authors define forms of computation as specialized types of processes. As the scope of computation widens, the range of such specialties increases. Dennis J. Frailey posits that the essence ...
An Interview with Prof. Andreas Zeller: Mining your way to software reliability
Interviewed by Walter Tichy
November 2010In 1976, Les Belady and Manny Lehman published the first empirical growth study of a large software system, IBMs OS 360. At the time, the operating system was twelve years ...