ACM Conference on Computer Science 1990: Washington, DC, USA

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