- Lawrence W. Dowdy, Ashok K. Agrawala:
Parametric instabilities in computer system performance prediction. MARK 1979: 51-56 - Joe W. Duran:
Automatic program synthesis via synthesis of loop-free segments. MARK 1979: 1059-1062 - Kells A. Elmquist:
Architectural and design perspectives in a modular multi-microprocessor, the DPS-1. MARK 1979: 587-594 - Philip H. Enslow Jr.:
Languages for operating systems description, design and implementation. MARK 1979: 29-38 - Richard J. Feiertag, Peter G. Neumann:
The foundations of a provably secure operating system (PSOS). MARK 1979: 329-334 - Domenico Ferrari:
Characterizing a workload for the comparison of interactive services. MARK 1979: 789-796 - Alan R. Feuer, E. B. Fowlkes:
Relating computer program maintainability to software measures. MARK 1979: 1003-1012 - Raphael A. Finkel, Marvin H. Solomon, Michael L. Horowitz:
Distributed algorithms for global structuring. MARK 1979: 455-460 - Georges Gardarin:
A unified architecture for data and message management. MARK 1979: 681-688 - Amrit L. Goel, Kazu Okumoto:
A Markovian model for reliability and other performance measures of software systems. MARK 1979: 769-774 - Barry D. Gold, Richard R. Linde, R. J. Peeler, Marvin Schaefer, John F. Scheid, P. D. Ward:
A security retrofit of VM/370. MARK 1979: 335-344 - Kim P. Gostelow, Robert E. Thomas:
A view of dataflow. MARK 1979: 629-636 - Mohamed Gawdat Gouda:
Analysis of real-time control systems by the model of packet nets. MARK 1979: 469-480 - Curtis R. Gowan:
Serviceability features of the HP 300 small business computer. MARK 1979: 493-498 - Richard G. Hamlet, Azriel Rosenfeld:
Transportable image-processing software. MARK 1979: 267-272 - J. R. Hamstra:
Work flow view of a distributed application. MARK 1979: 595-604 - Wolfgang Horak, Walter Woborschil:
Textfax - Principle for new tools in the office of the future. MARK 1979: 125-134 - R. Michael Hord:
Digital image shape detection. MARK 1979: 243-254 - Christina L. Jette:
Heuristic control of design-directed program transformations. MARK 1979: 1071-1078 - Yahiko Kambayashi, Shuzo Yajima, Osamu Konishi, Takaki Hayashi:
New indices for bibliographic data and their applications. MARK 1979: 217-226 - Steven I. Kartashev, Svetlana P. Kartashev, C. V. Ramamoorthy:
Adaptation properties for dynamic architectures. MARK 1979: 543-556 - Randy H. Katz:
Performance enhancement for relational systems through query compilation. MARK 1979: 741-748 - Robert M. Keller, Gary Lindstrom, Suhas Patil:
A loosely-coupled applicative multi-processing system. MARK 1979: 613-622 - Daniel Klein:
MMPS - A reconfigurable multi-microprocessor simulator system. MARK 1979: 199-204 - Charles S. Kline, Gerald J. Popek:
Public key vs. conventional key encryption. MARK 1979: 831-838 - Rob Kling, Walt Scacchi:
Recurrent dilemmas of computer use in complex organizations. MARK 1979: 107-116 - Rand B. Krumland:
Interactive modeling systems for managers - Semantic models should underlie quantitative models. MARK 1979: 89-94 - James A. Kutsch, Kimberly B. Kutsch:
Considerations in the employment of blind computer professionals. MARK 1979: 383-384 - Gilles M. E. Lafue:
An approach to automatic maintenance of semantic integrity in large design data bases. MARK 1979: 713-716 - Larry Kwok-Woon Lai:
Error-oriented architecture testing. MARK 1979: 565-576