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