Learn More
Introduction. Much of the work on distributed systems uses a functional programming paradigm. Thus each node behaves as a function, receiving an argument in a message, computing the value of the function depending on that argument, and either returning the resulting value to the original message sender, or forwarding it to another node. In particular remote(More)
Preconditions for widespread reuse of code. In [I] Lubars gives a view of the present status of reusable code. He suggests that widespread use of reusable code will require both a change of attitudes by the software industry, and the establishment of convenient cataloging and indexing tools. The hope would be that with such tools programmers could more(More)
Discussions of the role of mathematics in cognition typically emphasize the application of discrete logic to internal symbolic representations. The traditional assumption is that learning is something like the application of induction to nd patterns or regularities within those representations. In this article the focus is moved back to the world that we(More)
A system for managing shared files. 1. The problem. As a department with a substantial computer science program , we are teaching a large volume of students in a wide variety of courses. Man y of these courses involve programming projects, or require the use of specia l software packages. Rather than merely giving students printed statements of computer(More)
The purpose of this department is to provide early announcement of significant new results, with some indications of proof. Although ordinarily a research announcement should be a brief summary of a paper to be published in full elsewhere, papers giving complete proofs of results of exceptional interest are also solicited. Manuscripts more than eight(More)
Let X be a measure space, and X a finite measure (countably additive) with values in R. The range of X is the set of all vectors X(E) where E ranges over the measurable subsets of X. In a previous paper [2] we introduced a certain positive measure z>, determined by the measure X, on the projective space P". We then showed that a necessary and sufficient(More)
  • 1