ACM Conference on Computer Science 1984: San Francisco, CA, USA

Richard L. Muller, James J. Pottmyer (Eds.): Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, San Francisco, CA, USA, October 1984. ACM 1984, ISBN 0-89791-144-X BibTeX

Annie G. Brooking:
Towards a methodology for a design of knowledge based systems. 4
Electronic Edition (ACM DL) BibTeX
Vipin Kumar:
Integrating knowledge in problem solving search procedures. 5-10
Electronic Edition (ACM DL) BibTeX
William J. Clancey:
Knowledge acquisition for classification expert systems. 11-14
Electronic Edition (ACM DL) BibTeX
Reid G. Smith, Robert L. Young:
The design of the Dipmeter Advisor system. 15-23
Electronic Edition (ACM DL) BibTeX
Jon R. Wright, Frederick D. Miller, G. V. E. Otto, Elizabeth M. Siegfried, Gregg T. Vesonder, John E. Zielinski:
ACE: Going from prototype to product with an expert system. 24-28
Electronic Edition (ACM DL) BibTeX
Charles Rich:
Artificial intelligence and software engineering: The Programmer's Apprentice project. 29
Electronic Edition (ACM DL) BibTeX
Gian Piero Zarri:
A fifth generation approach to intelligent information retrieval. 30-41
Electronic Edition (ACM DL) BibTeX
H. Ogawa, King-sun Fu, James T. P. Yao:
Knowledge representation and inference control of SPERIL-II. 42-49
Electronic Edition (ACM DL) BibTeX
José Carlos Ferreira Maia Neves:
A logic interpreter to handle time and negation in logic data bases. 50-54
Electronic Edition (ACM DL) BibTeX
Edward Babb:
Functional requirements for very large knowledge bases. 55-56
Electronic Edition (ACM DL) BibTeX
Charles H. Applebaum, James G. Williams:
PVS - design for a practical verification system. 58-68
Electronic Edition (ACM DL) BibTeX
Lee J. White:
The evolution of an integrated testing environment by the Domain Testing Strategy. 69-74
Electronic Edition (ACM DL) BibTeX
Jeffrey Scott Vitter, Roger A. Simons:
Parallel algorithms for unification and other complete problems in p. 75-84
Electronic Edition (ACM DL) BibTeX
Paul Bassett:
Design principles for software manufacturing tools. 85-93
Electronic Edition (ACM DL) BibTeX
Ellis Horowitz, Alfons Kemper, Balaji Narasimhan:
Application generators: Ideas for programming language extensions. 94-101
Electronic Edition (ACM DL) BibTeX
Robert P. Brazile:
A general purpose data base design. 102-108
Electronic Edition (ACM DL) BibTeX
Nancy Giddings, Tim Colburn:
An automated software design evaluator. 109-115
Electronic Edition (ACM DL) BibTeX
Mike Burlakoff:
An approach to software design documentation. 116-120
Electronic Edition (ACM DL) BibTeX
Fletcher J. Buckley:
The IEEE Software Engineering standards process. 121-126
Electronic Edition (ACM DL) BibTeX
C. S. Sankar:
Information Wheel - a framework to identify roles of information systems. 127-132
Electronic Edition (ACM DL) BibTeX
Meir Burstin, Moshe Ben-Bassat:
A user's approach to requirements analysis of a large software system. 133-145
Electronic Edition (ACM DL) BibTeX
P. I. Pettitt:
A design framework for the ALVEY/ICL/DHSS demonstrator process. 146-147
Electronic Edition (ACM DL) BibTeX
David A. Gustafson:
A requirement model for the 5th generation. 149-156
Electronic Edition (ACM DL) BibTeX
Carl McCrosky, Janice I. Glasgow, Michael A. Jenkins:
Nial: A candidate language for fifth generation computer systems. 157-166
Electronic Edition (ACM DL) BibTeX
Alexis Koster:
Compiling prolog programs for parallel execution on a cellular machine. 167-178
Electronic Edition (ACM DL) BibTeX
James C. Browne, James E. Dutton, Vincent Fernandes, Annette S. Palmer, Jonathan M. Silverman, Anand R. Tripathi, Pong-Sheng Wang:
Zeus: An object-oriented distributed operating system for reliable applications. 179-188
Electronic Edition (ACM DL) BibTeX
Sukumar Ghosh, Somprakash Bandyopadhyay, Chandan Mazumdar, S. Bhattacharya:
Handling of recursion in dataflow model. 189-196
Electronic Edition (ACM DL) BibTeX
Boleslaw K. Szymanski, Noah S. Prywes, Evan D. Lock, Amir Pnueli:
On the scope of static checking in definitional languages. 197-207
Electronic Edition (ACM DL) BibTeX
H. T. Lau:
An application of network flow programming to locate concentrators in a communication network. 208-211
Electronic Edition (ACM DL) BibTeX
Dan I. Moldovan:
An associative array architecture intended for semantic network processing. 212-221
Electronic Edition (ACM DL) BibTeX
Larry E. Druffel:
Visions of future programming environments. 222
Electronic Edition (ACM DL) BibTeX
Moe Shahdad:
Software and system design: VHSIC Hardware Description Language overview. 223-225
Electronic Edition (ACM DL) BibTeX
Richard L. DesJardins:
Open systems standardization. 226
Electronic Edition (ACM DL) BibTeX
Alex Pentland:
Models (fractal and otherwise) for perception and generation of images. 228-229
Electronic Edition (ACM DL) BibTeX
Andrew J. Hanson, David M. McKeown Jr., Susan E. Brennan, Alex Pentland, Richard F. Voss:
Vision, perception and imagery. 228-229
Electronic Edition (ACM DL) BibTeX
Susan E. Brennan:
Caricatures from images. 228-229
Electronic Edition (ACM DL) BibTeX
David M. McKeown Jr.:
Images as MAPS / MAPS from images. 228-229
Electronic Edition (ACM DL) BibTeX
Andrew J. Hanson:
Interactive image understanding. 228-229
Electronic Edition (ACM DL) BibTeX
David R. Dodds:
Towards knowledge-based robotics systems. 230-235
Electronic Edition (ACM DL) BibTeX
Larry Lichten:
The emerging technology of CAD/CAM. 236-241
Electronic Edition (ACM DL) BibTeX
David Persin:
Treating information as an asset. 244
Electronic Edition (ACM DL) BibTeX
Louise Giovane Becker:
A national perspective on computer security. 245
Electronic Edition (ACM DL) BibTeX
Richard A. Smith, Leslie Chalmers, Charles C. Wood:
Security and audit: Needs of the business sector for security and integrity controls. 246
Electronic Edition (ACM DL) BibTeX
Leslie Chalmers:
User identification, access control, and audit requirements. 247
Electronic Edition (ACM DL) BibTeX
Charles C. Wood:
Logging, security experts data base, and crypto key management. 248-252
Electronic Edition (ACM DL) BibTeX
Richard A. Smith:
Security design considerations of hardware. 253-254
Electronic Edition (ACM DL) BibTeX
James J. Pottmyer, Ken Fong, Stelio Thompson, Ralph Shattuck:
Security considerations in system design. 255
Electronic Edition (ACM DL) BibTeX
Ken Fong:
Contingency planning and disaster recovery. 256
Electronic Edition (ACM DL) BibTeX
Stelio Thompson:
Evaluation of computer and network security systems. 257-259
Electronic Edition (ACM DL) BibTeX
Abbe Mowshowitz:
Wealth and jobs in the fifth new world. 261
Electronic Edition (ACM DL) BibTeX
Rob Kling, Terry Winograd, Paul Smolensky, Roland Schinzinger:
The impact and issues of the fifth generation: Ethical issues in new computing technologies. 262
Electronic Edition (ACM DL) BibTeX
Rob Kling:
Truth in advertising in present and future generation computing. 263
Electronic Edition (ACM DL) BibTeX
Terry Winograd:
The ethics of macines which mimic people. 264
Electronic Edition (ACM DL) BibTeX
Paul Smolensky:
Ethical questions and military dominance in next generation computing. 265
Electronic Edition (ACM DL) BibTeX
Roland Schinzinger:
Computing applications as social experimentation. 266
Electronic Edition (ACM DL) BibTeX
Walt Scacchi, Elihu M. Gerson, Rob Kling, Langdon Winner:
The impact and issues of the fifth generation: Social and organization consequences of new generation technology. 267-270
Electronic Edition (ACM DL) BibTeX
Leslie Gasser, Kenneth Laudon:
Workplace impacts—ai and automation: Privacy and accountability of large-scale high-capacity personal data systems. 271
Electronic Edition (ACM DL) BibTeX
Severo M. Ornstein:
Social dimensions of reliability of complex systems. 272
Electronic Edition (ACM DL) BibTeX
Ira Pohl:
Social implications of artificial intelligence. 273
Electronic Edition (ACM DL) BibTeX
Ira Pohl:
A hierarchy for classifying AI implications. 274-278
Electronic Edition (ACM DL) BibTeX
Virginia Walker, Carl Hammer, Kerry Mark Joels, Alan Kay:
Soothsayers of the electronic age. 280
Electronic Edition (ACM DL) BibTeX
Carl Hammer:
Beyond the data processing horizon. 281-286
Electronic Edition (ACM DL) BibTeX
Kerry Mark Joels:
The seventh generation. 287
Electronic Edition (ACM DL) BibTeX
Myer W. Morron:
The alvey DHSS major demonstrator. 289-290
Electronic Edition (ACM DL) BibTeX
Lubomir Bic:
The Fifth Generation grail: A survey of related research. 293-297
Electronic Edition (ACM DL) BibTeX
Maarten H. van Emden:
Towards a western Fifth-Generation Computer System project. 298-302
Electronic Edition (ACM DL) BibTeX
Norman Soong, Charles Atwood, Charles Eastman, William Mitchell, Douglas Stoker:
Blueprints for the computer city: The quest for an architect's computer. 303-304
Electronic Edition (ACM DL) BibTeX
Sharon C. Adler:
Delivering the word—integrating publications technologies. 305
Electronic Edition (ACM DL) BibTeX
Bruce D'Ambrosio:
Integrating uncertainty into a language for knowledge based systems. 307-309
Electronic Edition (ACM DL) BibTeX
Russell B. Kegley, Lois M. Boggess:
Design of an ATN generator/modifier for supporting a communication prosthesis. 310-313
Electronic Edition (ACM DL) BibTeX
Junichiro Tsuji, Yutaka Iima, Satoshi Tojo, Shoji Enomoto:
Dialogue management in the personal sequential inference machine (PSI). 314-322
Electronic Edition (ACM DL) BibTeX
Tim Leso:
Modern educational techniques - high tech and the traditional approach. 323-327
Electronic Edition (ACM DL) BibTeX
Richard H. Austing:
AFIPS secondary education curriculum in information technology. 328
Electronic Edition (ACM DL) BibTeX
Ronald E. Anderson, Robert M. Aiken, Richard Close, Karen Duncan, Marc Tucker:
National educational computing policy alternatives. 329
Electronic Edition (ACM DL) BibTeX
Jim Poirot, Arthur Luerhmann, Cathleen Norris, Harriet Taylor, Robert Taylor:
Proposed curriculum for programs leading to teacher certification in computer science. 330
Electronic Edition (ACM DL) BibTeX
Jean B. Rogers:
Computer science for secondary schools: Course content. 331
Electronic Edition (ACM DL) BibTeX
Doris K. Lidtke:
Government agencies' activities in education. 332
Electronic Edition (ACM DL) BibTeX