CSC '90, Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, February 20-22, 1990, Sheraton Washington Hotel, Washington, DC, USA. ACM, 1990

• 
  Andrew Sears, Yoram Kochavy, Ben Shneiderman: Touchscreen Field Specification for Public Access Database Queries: Let Your Fingers do the Qalking. 1-7
• 
  D. G. Shin: Semantics Modeling Issues for Processing Natural Language Database Queries. 8-14
• 
  John Sieg Jr.: A Tool Supporting Query Optimization and Program Transformation Techniques. 15-21
• 
  Keqin Li, Kam-Hoi Cheng: A Two Dimensional Buddy System for Dynamic Resource Allocation in a Partitionable Mesh Connected System. 22-27
• 
  Tai-Kuo Woo, Stanley Y. W. Su, Richard E. Newman-Wolfe: Enhancing the Performance of a Dynamically Partitionable Bus Network Using a Graph Coloring Algorithm. 29-36
• 
  Anna Hac: Distributed Multicasting Algorithm in a Wide Area Network. 37-42
• 
  Ewa Kubicka, Grzegorz Kubicki, Ignatios Vakalis: Using Graph Distance in Object Recognition. 43-48
• 
  Young C. Wee, Seth Chaiken, Dan E. Willard: Computing Geographic Nearest Neighbors Using Monotone Matrix Searching (Preliminary Version). 49-55
• 
  Joseph F. Pekny, Donald L. Miller: A Parallel Branch and Bound Algorithm for Solving Large Asymmetric Traveling Salesman Problems. 56-62
• 
  Jin Wang, Verlynda Dobbs, Henry W. Davis: Using Focusing Search Algorithms and a Strong Heuristic to Solve the Findpath Problem in Robotics. 63-69
• 
  Appie van de Liefvoort: An Iterative Solution to the Four-Peg Tower of Hanoi Problem. 70-75
• 
  Martin J. Shepperd, Darrel C. Ince: Multi-Dimensional Modelling and Measurement of Software Designs. 76-81
• 
  Robert G. Reynolds, Jonathan I. Maletic: An Introduction to Refinement Metrics: Assessing a Programming Language's Support of the Stepwise Refinement Process. 82-88
• 
  James M. Butler, A. Yavuz Oruç: PSB Graphs for Simulating Cooperative and Distributed Program Behavior. 89-95
• 
  Jai Eun Jang: An Optimal Fault-Tolerant Broadcasting Algorithm for a Hypercube Multiprocessor. 96-102
• 
  Amal Chakraborty, Donald C. S. Allison, Calvin J. Ribbens, Layne T. Watson: Parallel Unit Tangent Vector Computation for Homotopy Curve Tracking on a Hypercube. 103-108
• 
  Barry G. Douglass, A. Yavuz Oruç: Efficient Routing Techniques for Cooperating Processors in Dataflow Computers. 109-113
• 
  Chaman L. Sabharwal, Thomas G. Melson, Martin D. Fraser: Computational Intelligence in CAD/CAM Applications. 114-120
• 
  John Van Tassel, David Hemmendinger: Specifying and Automatically Generating Ada Tasks in Prolog. 121-127
• 
  Mamdouh H. Ibrahim, Fred A. Cummins: Objects with Logic. 128-133
• 
  Ralph W. Wilkerson, Blayne E. Mayfield: The Role of Term Symmetry in E-Completion Procedures. 134-139
• 
  Harold W. Martin: Transformations Between Tree Permutations and Inversion Tables. 140-146
• 
  Ryszard Janicki, Tomasz Müldner: A Simple Realization of a Parallel Device Recognizing Regular Trace Languages. 147-153
• 
  Takao Tenma, Yasuomi Sato, Yasuhiko Morimoto, Minoru Tanaka, Tadao Ichikawa: A Modification Support System - Automatic Correction of Side-Effects Caused by Type Modifications. 154-160
• 
  Thomas J. Cheatham, Lee Mellinger: Testing Object-Oriented Software Systems. 161-165
• 
  M. Kazerooni-Zand, Mansur H. Samadzadeh, K. M. George: Minimizing Ripple Recompilation in a Persistent Software Environment. 166-172
• 
  Ahmed Louri: A Symbolic Substitution Based Parallel Architecture and Algorithms for High-speed Parallel Processing. 173-179
• 
  George S. Davidson: TWIST-TOP: Transputers with I-Stores Test Out Processor. 180-193
• 
  Isaac D. Scherson: Definition and Analysis of a Class of Spanning Bus Orthogonal Multiprocessing Systems. 194-200
• 
  Hyugoo Han, Kai-Hsiung Chang: A Practical Approach to Error Recovery for Multiagent Planning Systems. 201-207
• 
  Joseph F. Pekny, Donald L. Miller: An Exact Parallel Algorithm for the Resource Constrained Traveling Salesman Problem with Application to Scheduling with an Aggregate Deadline. 208-214
• 
  Jan Kazimierczak: An Approach to Natural Language Processing in the Rule-based Expert System. 215-222
• 
  Taizo Kojima, Kaoru Tsuru, Akira Sugimoto: ALHARD: An Application-Oriented Language for Hardware Simulation. 223-229
• 
  Ravinder Krishnaswamy, Ghasem S. Alijani, Shyh-Chang Su: On Constructing Binary Space Partitioning Trees. 230-235
• 
  Ping-Kang Hsiung, Robert H. Thibadeau: Spacetime Visualization of Relativistic Effects. 236-243
• 
  Paul W. Oman, Curtis R. Cook: A Taxonomy for Programming Style. 244-250
• 
  R. Ghosh-Roy: An Extended Type Generalization of Standard ML Polymorphism (Abstract). 251
• 
  Hossein Saiedian, Elizabeth A. Unger: ABSL: An Actor-Based Specification Language for Office Automation. 252-258
• 
  Lawrence C. N. Tseung, Keh-Chiang Yu: The Implementation of Guaranteed, Reliable, Secure Broadcast Networks. 259-265
• 
  Charles M. Shub: Native Code Process-Originated Migration in a Heterogeneous Environment. 266-270
• 
  Bruce W. Arden, Kit-Ming W. Tang: Routing for Generalized Chordal Rings. 271-275
• 
  Prabir Bhattacharya, Kai Qian: Software Development: Image Processing by Template Polynomials. 281-287
• 
  Wah-Bih Liaw, Frank M. Brown, Seung S. Park: Towards Common Sense Planning. 281-287
• 
  Cathy H. Wu, George M. Whitson: Artificial Neural System for Gene Classification Using a Domain Database. 288-292
• 
  Seth Bergmann: Measuring Data Locality in Internal Sorting Algorithms. 293-297
• 
  Y. H. Choi, T. Jung: Probabilistic Diagnosis for Sparsely Interconnected Systems. 298-304
• 
  Khaled M. Elleithy, Magdy A. Bayoumi: A Framework for High Level Synthesis of Digital Architectures from U-Recursive Algorithms. 305-311
• 
  Ray Ford: A Generic Ambedded Real-Time Monitor Aubsystem. 312-318
• 
  Heidi J. C. Ellis, Steven A. Demurjian, Fred J. Maryanski, George McA. Beshers, Joan Peckham: Extending the Behavioral Capabilities of the Object-Oriented Paradigm with an Active Model of Propagation. 319-325
• 
  V. Venugopal, Soumitra Sarkar: Cotools: A Tool Composition Mechanism for Object-Based Environments. 326-342
• 
  Christopher J. Merz, William E. Bond, Daniel C. St. Clair: Matching Interval-Valued-Argument Propositions in Rule-Based Systems. 343-350
• 
  Keung-Chi Ng, Bruce Abramson: Consensus in a Multi-Expert System. 351-357
• 
  Brandon L. Buteau: A Generic Framework for Distributed, Cooperating Blackboard Systems. 358-365
• 
  Stuart Harvey Rubin: GMM-PAM: A Genetic Multilevel Multicategory Perceptron Associative Memory. 366-372
• 
  A. D. Kulkarni: Neural Nets for Image Restoration. 373-378
• 
  June Power: Distributed Systems and Self-Organization. 379-384
• 
  Sanjay Khanna, Arif Ghafoor, Amrit L. Goel: A Parallel Compilation Technique Based on Grammar Partitioning. 385-391
• 
  Albert Burger, Vijay Kumar: `PRABHA' - A Distributed Concurrency Control Algorithm. 392-397
• 
  Wei Chen: A Formal Approach to Program Inversion. 398-403
• 
  John A. Lewis: An Experiment to Determine Software Reusability Factors (Abstract). 405
• 
  Lynne Marie Davis: Usability Tests Refine Requirements (Abstract). 406
• 
  John W. Olson, Herbert E. Longenecker Jr.: The Establishment and Application of a Metric for Graphical Design Language (Abstract). 407
• 
  Scott Moore, Ronald Curtis: A Study of the Prather Software Metric (Abstract). 408
• 
  Donald Gotterbarn, Timothy D. Hammer: Distributed Compilation Metrics (Abstract). 409
• 
  Herbert E. Longenecker Jr., S. Tariq Ali, Michael V. Doran: Increased Productivity Using a Preprocessor for Dataflex Fourth Generation Database Language (Abstract). 410
• 
  Linda M. Null, Johnny S. Wong: Data Security for Object-Oriented Programming Systems Based on Inference Engines (Abstract). 411
• 
  Robert A. Campbell, Suzanne Jones, Rachelle Cottle: A Comparison of Object Oriented Simulation Languages (Abstract). 412
• 
  Marguerite Summers, John D. McGregor: Object-Oriented Database for Intelligent Engineering Applications (Abstract). 413
• 
  Stevan Mrdalj, Asad Khailany: Semantics in Object-Oriented Data Models (Abstract). 414
• 
  Clint Foulk: Structured Programming in Macintosh Assembly Language (Abstract). 414
• 
  Ivan B. Liss, Thomas C. McMillan: Program Structure and Clarity (Abstract). 415
• 
  Ashvin Radiya: A Logical Approach to Designing Procedural Programming Languages (Abstract). 415
• 
  Trong Wu: Simulation of an Automatic Banking System with the Ada Programming Language (Abstract). 416
• 
  Mark Temte: A Framework for Accessing Data in Models with Many Discrete States (Abstract). 416
• 
  James F. Peters, Sheela Ramanna, E. A. Unger: Logic of Knowledge and Belief in the Design of an Integrity Kernel for an Office Information System (Abstract). 417
• 
  Lee Ohringer: An Assumption About Computer Security (it ain't necessarily so - Abstract). 417
• 
  G. Arthur Mihram, Danielle Mihram: Every Computer Programme is Actually a Simulation Model (Abstract). 418
• 
  Rita M. D'Arcangelis, Lynn L. Peterson: A Cooperative Software Development Paradigm for Content Analysis-Based Psychology Research Procedures (Abstract). 419
• 
  Esen A. Ozkarahan, Cem H. Bozsahin: Query Processing and File Management Issues in Partitioned Databases (Abstract). 420
• 
  Opher Etzion: PARDES - An Enhanced Active Database System (Abstract). 421
• 
  Asad Khailany, Wafa Khorshid: Extended Object Oriented Model to Design Relational Databases (Abstract). 422
• 
  Kemal Koymen: A Datalog Interface for SQL (Abstract). 422
• 
  Wafa Khorshid, Asad Khailany: A Data Model for Software Representation (Abstract). 423
• 
  Tsau Young Lin: Relational Data Models and Category Theory (Abstract). 424
• 
  Valerie A. Miller, G. Scott Owen: The Use of Fractals in Visualizing Iterative Techniques from Numerical Analysis (Abstract). 425
• 
  Shuhua Shen, Georges G. Grinstein, Stuart Smith: Exvis: The Exploratory Visualization Tool (Abstract). 426
• 
  Hari B. Bidasaria: Ray Tracing Surfaces of Revolution Using a Simplified Strip Tree Method (Abstract). 427
• 
  Larry Basenspiler, Thomas F. Hain, Ben King: On the Vectorization of Graph Algorithms (Abstract). 427
• 
  James H. Cross II: Graphically-Oriented Reverse Engineering Tools for Ada Software (Abstract). 428
• 
  Charles Garner, Michael V. Doran, Herbert E. Longenecker Jr.: An Investigation into the Application of a Graphical, Rule-Based System Utilizing Reversible Data Structures as a Possible Model for Human Pedigree Systems (Abstract). 429
• 
  Kunwarjit S. Bagga, Frank W. Owens: On Some Classes of Petri Nets (Abstract). 430
• 
  James Canning, P. Muthuvelraj, John Sieg: An Adaptive Concurrency Control Algorithm (Abstract). 431
• 
  Ljudmil Manasiev: A Service for Remote Computations in a Distributed System (Abstract). 432
• 
  M. Bozyigit, M. Melhi: Dynamic Load Balancing in Distributed Real-Time Systems (Abstract). 433
• 
  V. Prasad Krothapalli, P. Sadayappan: Exploiting Parallelism Through Run-Time Analysis on a Vector Processor (Abstract). 434
• 
  Dietrich Fischer: Paradoxes in Parallel Processing (Abstract). 434
• 
  Chong Jye Rhee, Sudarshan K. Dhall, S. Lakshmivarahan: An Optimal Parallel Algorithm for the Maximal Element Problem (Abstract). 435
• 
  Narayan C. Debnath: A Study of Control Flow and Data Dependency Interface (Abstract). 435
• 
  Eugene Pinsky: Applying Statistical Physics to Performance Analysis of Large-Scale Computing Systems (Abstract). 436
• 
  Kevin C. Schott: A Dual-Algorithm Performance Monitoring System (Abstract). 436
• 
  Meyer Katzper: Joint Use of Simulation and Nonlinear Curve Fitting in Compartmental Models (Abstract). 437
• 
  Susan N. Twohig, Samuel O. Aletan: The Traveling-Salesman Problem (Abstract). 437
• 
  Andrew T. Cable, Domenick J. Pinto: Dynamically Balancing a Binary Tree (Abstract). 438
• 
  Joseph S. Szakas, Christian Trefftz: Cooperation of the Pattern Recognition Techniques of Dirichlet Tessellations with Political Science to Produce Ward Partitioning of Cities Without Bias (Abstract). 439
• 
  Shiperu Shimoda, Masaki Hayashi, Yasuaki Kanatsugu: Electronic Studio Sets Controlled by a Computer (Abstract). 439
• 
  Riva Wenig Bickel, María M. Larrondo-Petrie: Relating Psychology's Moral Development Levels to the Ethical Use of Computers (Abstract). 440
• 
  Clifford A. Shaffer, Gregory M. Herb: A Real-Time Robot Collision Avoidance System (Abstract). 441
• 
  Carl Steidley: ROBOTICS: A Hands-On Introduction to Hardware (Abstract). 441
• 
  Yiming Ye, Zhao-Xiong Chen, Zhang Xiong, Gao Qinshi: IMT-RB/ED: A System Based on Multi-Reorganization (Abstract). 442
• 
  Chung Chen-Hwa, Christos Nikolopoulos: On Expert Database Systems (Abstract). 442
• 
  Christopher J. Gardiner, William W. McMillan: Requirements for Machine Learning in Expert Systems (Abstract). 443
• 
  W. E. Mattis: A Hybrid Architecture for Neurocomputing (Abstract). 443
• 
  Thomas M. English, Lois C. Boggess: Compact Input Coding for Speech Recognition by Neural Net (Abstract). 444
• 
  Tao Li, L. Fang: Competition and Cooperation in Analog Neural Networks for Combinatorial Optimization (Abstract). 444
• 
  David W. Valentine: The Cross-Cultural Effectiveness of CAI: Some Cognitive and Affective Factors (Abstract). 445
• 
  Thomas L. Hausmann, William Campbell: An Integrated Authoring System for Diagnostic Testing (Abstract). 445
• 
  Nageswara S. V. Rao, Jih-sen Lin: On Algorithms for Operative Diagnosis of Systems (Abstract). 446
• 
  Juan Carlos Esteva, Asad Khailany: Database Reasoning: Extracting Knowledge from Databases (Abstract). 446
• 
  Hou-Mei Chang: Heuristic Exhaustive Search in Automatic Knowledge Acquisition (Abstract). 447
• 
  Sami Khuri, My Hoang: Genetic Heuristics in Optimization Problems (Abstract). 447
• 
  Amos O. Olagunju: Nonparametric Methods for Automatic Classification of Documents and Transactions (Abstract). 448
• 
  Donna M. Mooney, John R. Talburt: Homograph Discrimination for Intelligent Interfaces via Thesaural Lexicons (Abstract). 449
• 
  Tai-Sheng Zhang, William W. McMillan: An Implementation of ID3 That Creates Executable Rules (Abstract). 450
• 
  William W. McMillan, Christopher J. Gardiner: A Prolog System for Case-Based Classification (Abstract). 450
• 
  Richard O'Lander: Use of Intelligent Computer Aided Instruction in the Classroom (Abstract). 451
• 
  Stewart A. Denenberg: A Course for the Nonmajor: Teaching Collaborative Problem Solving via the Classical Computer Science Space-Time Tradeoff. 451
• 
  Robert Leeper: A Study of the Personality Types of Successful Computer Science Majors (Abstract). 452
• 
  Alireza Salehnia: Perceptions of Missouri Secondary and Area Vocational School Computer Teachers Toward Trends of Computer Hardware and Software Technologies by Year 1995 (Abstract). 453
• 
  Curt M. White: A Chart Representation for Delineating Computer Disciplines (Abstract). 453
• 
  Ann E. Fleury: Parameter Passing: A Window into Students' Views of Programming (Abstract). 454
• 
  Gary Marc Levin: ISETL: A Language for Teaching Discrete Mathematics (Abstract). 455
• 
  Peter Bock: A Parallel Implementation of Collective Learning Systems Theory: Adaptive Learning Image Analysis System (ALIAS). 457-469