October 1980 - Vol. 23 No. 10
Features
Logical construction of software
The authors contend that it is both possible and necessary to clearly demark and explicitly define the transition between the software design and software implementation…
The natural language of interactive systems
The work reported here stems from our deep belief that improved human engineering can add significantly to the acceptance and use of computer technology.…
A model of shared DASD and multipathing
This paper presents a model of an I/O subsystem in which devices can be accessed from multiple CPUs and/or via alternative channel and control unit paths. The model…
Computational algorithms for product form queueing networks
In the last two decades there has been special interest in queueing networks with a product form solution. These have been widely used as models of computer systems and…
Analysis of locking policies in database management systems
Consistency control has to be enforced in database management systems (DBMS) where several transactions may concurrently access the database. This control is usually…