March 1976 - Vol. 19 No. 3
Features
Computer science as empirical inquiry: symbols and search
Computer science is the study of the phenomena surrounding computers. The founders of this society understood this very well when they called themselves the Association…
Joining policies in a multipriority multiclass batch computer system
Consider a multipriority batch computer system which users from several different classes may join, with toll, service, and waiting charges. Such a system is formulated…
A program data flow analysis procedure
The global data relationships in a program can be exposed and codified by the static analysis methods described in this paper. A procedure is given which determines all…
Intentional resolution of privacy protection in database systems
Traditionally, privacy protection in database systems is understood to be the control over what information a given user can get from a database. This paper is concerned…