Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988.
ACM 1988, ISBN 0-89791-260-8
: A differentiation primitive for extended &lgr;-calculus.
: Implementing first order logic in Modula-2 using an intuitionistic approach.
: Future software development management system prototype.
: A private military network using a power transmission line.
Mustafa A. Kamal
: Building expert sytems for statistical process control in steel remelt industry.
: MTEEP: mechanical transmission element expert system.
: Acceptance testing of expert systems: issues of verification and validation.
Curt M. White
: A simplified LAN protocol for practicing file transfer, resource locating, and elementary distributed problem solving.
Hany H. Ammar
, Su Deng
: A simple dynamic load balancing algorithm for homogeneous distributed systems.
: A very long period (VLP) pseudorandom number generator for the microcomputer environment.
: How to relieve a programmer from synchronization details.
Richard D. Amori
: A multiple cooperating intelligent agents project progress repost.
: Extending Earley's context-free parsing algorithm for string pattern matching.
I. A. Natour
: On the control dependence in the program dependence graph.
Donna M. Kaminski
: An analysis of advanced C.S. students' experience with software maintenance.
Bassel R. Arafeh
: Vectorization and parallelization interactive assistant.
Jonathan D. Low
: An implementation of the Vernian Cipher for file security.
P. Tobin Maginnis
: Design considerations for the transformation of MINIX into a distributed operating system.
: A universal hierarchical language interface for IMS (abstract).
: Theoretical clustering and a scheme of its implementation.
Donald J. Bagert
: On designing a language for exclusive use in a syntax directed programming environment.
K. S. Ramesh
: Design and development of MINIX distributed operating system.
David A. Scanlan
: A factor analytic study of structured flowchart preference.
: Graphics and animation in expert systems for language tutoring.
Richard J. Greene
: An object-oriented, knowledge-based approach to simulation.
, C. Lees
: Information technology and transaction processing jobs: a cognitive approach.
: Entity relationship modeling in object-oriented software development.
: Ada software development using generics.
: Generating environments for programming-in-the-large.
: Design of a test plan and its test cases for a translator.
Mustafa A. Kamal
: Developing expert system to evaluate leave/funding request for faculty professional enhancement at Central Missouri State University.
, A. Bodi
: Cognition as a source of selection pressure in the evolution of computer support systems for executives.
T. Y. Lin
: Neighborhood systems and relational databases.
David R. Beuerman
: PROREL: a Prolog-based system for relational algebra and data base.
: Problem dynamics and working set principle as applied to concurrent processing.
: Detecting intersection of two convex polygons in parallel.
David A. Scanlan
: The mental abilities associated with programming aptitude.
: One freshman studies program which improved student retention in the first year computer science sequence for majors.
T. F. Higginbotham
: Prospectives on computer science: twenty-five years of observations.