AFIPS_Bibliography_Vol49_1980
Preface III Herbert Safford Introduction IV Donald B. Medley A conversational decision support system for resource allocation without explicit objective function 1 Fumihiko Mori, Hiroshi Tsuji, Takashi Sato Decision support systems: a practical application - Branch office structure 7 John R. Wetmiller On development tools for small systems: the challenge of economically automating a filing cabinet 13 David D. Raber A structured information system design for a newspaper organization: a case study 23 Mohan R. Tanniru SID: a system for interactive design 33 Tosiyasu L. Kunii, Minoru Harada An overview of a network design system 41 W. E. Bracker and B. R. Konsynski A minicomputer system for audio-animatronics show data generation 51 Philip C. Stover, R. David Snyder Computers and sports: a natural marriage 55 Thomas A. Eifler Computers helping dance notation help the dance: a vision 67 Stephen W. Smoliar Automatic Camera Effects System (ACES) 73 Steven N. Crane, R. David Snyder Automated computer controlled editing sound system (access) 83 William R. Deitrick The use of computer technology in Magicam slave camera systems 87 Dan Slater, Rob King, John Gale Area Director Summary 91 Kenneth J. Thurber Distributed network and multiprocessing minicomputer state-of-the-art capabilities 93 Douglas J. Theis ARQ performance in SNA networks 105 Martin A. Reed and Terence D. Smetanka Computer communication in NTT remote computing services 113 Masatoshi Iwayama, Atsumu Fujiwara Local area data distribution 121 Thomas G. Albright and Robert J. Wallace The control data loosely coupled network lower level protocols 129 William C. Hohn LCN A loosely coupled network system 135 Lowell H. Schiebe Derivation and use of a survivability criterion for DDP systems 139 Richard E. Merwin and Mohammed Mirhakak An operating system kernel mechanism for the poly-processor system PPS-R 147 Makoto Amamiya, Naohisa Takahashi, Yutaka Ogawa, Kenji Koyama Measures for distributed processing network survivability 157 Gene Hilborn Architectures for supersystems of the '80s. 165 Svetlana P. Kartashev, Steven I. Kartashev The highly-parallel supercomputers: definitions, applications and predictions 181 Hubert H. Love, Jr. Database machines and some issues on DBMS standard 191 Stanley Y. W. Su, Hsu Chang, George Copeland, Paul Fisher, Eugene Lowenthal, Stewart Schuster CONLAN - A formal construction method for hardware description languages: basic principles 209 Robert Piloty, Mario Barbacci, Dominique Borrione, Donald Dietmeyer, Fredrick Hill, Patrick Skelly CONLAN - A formal construction method for hardware description languages: language derivation 219 Robert Piloty, Mario Barbacci, Dominique Borrione, Donald Dietmeyer, Fredrick Hill, Patrick Skelly CONLAN - A formal construction method for hardware description languages: language application 229 Robert Piloty, Mario Barbacci, Dominique Borrione, Donald Dietmeyer, Fredrick Hill, Patrick Skelly Design decisions for the intelligent database machine 237 Robert Epstein, Paula Hawthorn DIALOG - A distributed processor organization of database machine 243 Benjamin W. Wah, S. Bing Yao System deadlocks resolution 257 Koji Nezu Database semantic integrity for a network data manager 261 Elizabeth Fong, Stephen R. Kimbleton Concurrency coordination in a locally distributed database system 269 Gruia-Catalin Roman An introduction to computed chaining 275 Kuo-Chung Tai, Alan L. Tharp A federated architecture for database systems 283 Dennis McLeod, Dennis Heimbigner Definition of database transactions by the casual user 293 Fred J. Maryanski, C. Steven Roush Programming with data frames for everyday data items 301 David W. Embley Implementing data management 307 Daniel S. Appleton Properties of relationships and their representation 319 Ramez EI-Masri, Gio Wiederhold BALDR-I: a solar thermal system simulation 329 Joseph G. Finegold, F. Ann Herlevich Overview of the alternative power system economic analysis model 335 Richard B. Davis, Jerome V. V. Kasper Computer simulation of the operations of utility grid connected photovoltaic power plants 341 Chester S. Borden Computer simulation of solar electric generating plants in a utility grid 347 S. Young, O. Merrill, R. Knowles, Y. Gupta Numerical algorithms for parallel computers 357 David K. Stevenson Design of an interactive matrix calculator 363 Cleve Moler Derivation of invariant scene characteristics from images 371 Berthold K. P. Horn Image understanding architectures 377 Graham R. Nudd Map-guided interpretation of remotely-sensed imagery 391 J. M. Tenenbaum, H. G. Barrow, R. C. Bolles, M. A. Fischler and H. C. Wolf CCIIT standardization for digital facsimile 409 T. L. McCullough The application of optical character recognition techniques to bandwidth compression of facsimile data 415 Patrice J. Capitant and Robert H. Wallis Facsimile image coding 423 Joan L. Mitchell Description and evaluation of a system for high-speed, three-dimensional computed tomography of the body: the dynamic spatial reconstructor 427 Richard A. Robb, Barry K. Gilbert 3-D viewer for interpretation of multiple scan sections 437 Brent Baxter Absolute limits on image processing 441 David G. Brown, Robert F. Wagner, Mary Pastel Anderson Generalized methodology for the comparison of diagnostic imaging instrumentation 445 Leon Kaufman and Dale Shosa Balancing processor shares of scheduling classes through controlled allocation of memory 453 K. V. Sastry Applications of exemplary programming 459 William S. Faught Multiprocessor software engineering training: a case study 465 Christine L. Braun Development of a microprocessor support facility for large organizations 473 Bruce E. Stock, Miguel A. Ulloa Future management concerns regarding office automation 479 Gary D. Beamer Introduction to electronic mail 485 Walter E. Ulrich Implementation considerations in electronic mail 489 Walter E. Ulrich Experiences of an electronic mail vendor 493 Jeffrey B. Holden Electronic message system as a function in the integrated electronic office 499 Harold E. O'Kelley The growing use of electronic mail by airlines 503 James C. Goodlett Metamorphosis: facsimile communications, electronic mail and office productivity 509 John E. Cochran Texas Instruments computer communication network and its support for the automated office 515 John W. White Implementing electronic mail in a telephone system: more than just talk 527 Gerald Tomanek An office form flow model 533 Ivor Ladd, D. C. Tsichritzis Design principles of an office specification language 541 Michael Hammer, Jay S. Kunin Automated workflow control: a key to office productivity 549 L. S. Baumann and R. D. Coop Streamlining office procedures - An analysis using the information control net model 555 Carolyn L. Cook Privacy protection and transborder data flows 581 Rein Turn Transborder data flow: legal persons in privacy protection legislation 587 Susan H. Nycum, Susan Courtney-Saunders SIMULATION Using preliminary Ada in a process control application 597 M. E. Gordon and W. B. Robinson Computer aided heat penetration tests for the food canning industry 607 Paul Sagues A cross-impact simulation forecast of the data processing industry 613 Paul Herbert Rosenthal Organization of the TRAC processor-memory subsystem 623 R. N. Kapur, U. V. Premkumar, G. J. Lipovski An overview of the Texas Reconfigurable Array Computer 631 Matthew C. Sejnowski, Edwin T. Upchurch, Rajan N. Kapur, Daniel P. S. Charlu, G. Jack Lipovski Design and implementation of the banyan interconnection network in TRAC 643 U. V. Premkumar, R. Kapur, M. Malek, G. J. Lipovski, P. Horne The advent of trusted computer operating systems 655 Stephen T. Walker An integrated support software network using NSW technology 671 Richard A. Robinson, Emily A. Krzysiak The role of an information analysis center in software engineering technology transfer 677 Jon Martens, Lorraine Duvall Considerations in the transfer of software engineering technology 683 Michael J. McGill A technique for comparative assessment of software development management policies 687 Brendan D. L. Mulhall, Steven M. Jacobs Standard error classification to support software reliability assessment 697 John B. Bowen What makes a reliable program few bugs, or a small failure rate? 707 B. Littlewood Software reliability and advanced avionics 715 Gerard E. Migneault Abbott A linguistic comparison of MUMPS and COBOL 723 Thomas Munnecke The design of PLAIN Support for systematic programming 731 Anthony I. Wasserman Some practical experiences with the Pascal language 741 G. G. Gustafson, T. A. Johnson, G. S. Key UCSD Pascal: a portable software environment for small computers 747 Mark Overgaard Measuring program complexity in a COBOL environment 757 Jean Zolnowski and Dick B. Simmons The complexity of an individual program 767 John L. McTap An information theory based complexity measure 773 Eli Berlinger Technology development, severed ventures, and other aspects of corporate venture capital 785 Jean E. de Valpine Recommendations for increasing the availability of capital 791 Richard C. Pflager Corporate venture capital in the computer industry 795 Kenneth W. Rind, Gene I. Miller Structured procedure for comparison and selection of computer system designs 801 Antonio Vallone Extracting unique rows of a bounded degree array using tries 807 Douglas Comer A look at making the ADP procurement process more efficient - Temporary regulation 46 811 Roger J. Gorg, George N. Baird, Judith A. Parks An information base for procedure independent design of information systems 817 Levent Ormancioglu Comparing load & go and link/load compiler organizations 823 William L. Wilder A link between polygon and grid representations of land resource information systems 827 Devon Nickerson Risk analysis in the 1980's 831 Jerome Lobel A mathematical model of character string manipulation 837 Sakti Pramanik Policy, values and EFT research: anatomy of a research agenda 841 Kenneth L, Kraemer, Kent W. Colton A linear programming model for optimal computer network protocol design 855 John F. Heafner, Frances H. Nielsen Extracting service features from protocol documents 863 John F. Heafner, Frances H. Nielsen, M. Wayne Shiveley Verification of information in a file 871 Jainendra K. Navlakha Translating non-standard extensions to standard Pascal 877 Viswanathan Santhanam The flexible console FLEXICON 883 David L. Steinberg The INTEL 8087 numeric data processor 887 John F. Palmer Home computing - A vision in search of a marketplace: areas of needed research 895 John E. Ruchinskas, Charles W. Steinfield, Lynne L. Svenning