Table of Contents

• Touchscreen Field Specification for Public Access Database Queries: Let Your Fingers do the QalkingAndrew Sears, Yoram Kochavy, Ben Shneiderman. 1-7 [doi]
• Semantics Modeling Issues for Processing Natural Language Database QueriesD. G. Shin. 8-14 [doi]
• A Tool Supporting Query Optimization and Program Transformation TechniquesJohn Sieg Jr.. 15-21 [doi]
• A Two Dimensional Buddy System for Dynamic Resource Allocation in a Partitionable Mesh Connected SystemKeqin Li, Kam-Hoi Cheng. 22-27 [doi]
• Enhancing the Performance of a Dynamically Partitionable Bus Network Using a Graph Coloring AlgorithmTai-Kuo Woo, Stanley Y. W. Su, Richard E. Newman-Wolfe. 29-36 [doi]
• Distributed Multicasting Algorithm in a Wide Area NetworkAnna Hac. 37-42 [doi]
• Using Graph Distance in Object RecognitionEwa Kubicka, Grzegorz Kubicki, Ignatios Vakalis. 43-48 [doi]
• Computing Geographic Nearest Neighbors Using Monotone Matrix Searching (Preliminary Version)Young C. Wee, Seth Chaiken, Dan E. Willard. 49-55 [doi]
• Using Focusing Search Algorithms and a Strong Heuristic to Solve the Findpath Problem in RoboticsJin Wang, Verlynda Dobbs, Henry W. Davis. 63-69 [doi]
• An Iterative Solution to the Four-Peg Tower of Hanoi ProblemAppie van de Liefvoort. 70-75 [doi]
• Multi-Dimensional Modelling and Measurement of Software DesignsMartin J. Shepperd, Darrel C. Ince. 76-81 [doi]
• An Introduction to Refinement Metrics: Assessing a Programming Language s Support of the Stepwise Refinement ProcessRobert G. Reynolds, Jonathan I. Maletic. 82-88 [doi]
• PSB Graphs for Simulating Cooperative and Distributed Program BehaviorJames M. Butler, A. Yavuz Oruç. 89-95 [doi]
• Parallel Unit Tangent Vector Computation for Homotopy Curve Tracking on a HypercubeAmal Chakraborty, Donald C. S. Allison, Calvin J. Ribbens, Layne T. Watson. 103-108 [doi]
• Efficient Routing Techniques for Cooperating Processors in Dataflow ComputersBarry G. Douglass, A. Yavuz Oruç. 109-113 [doi]
• Computational Intelligence in CAD/CAM ApplicationsChaman L. Sabharwal, Thomas G. Melson, Martin D. Fraser. 114-120 [doi]
• Specifying and Automatically Generating Ada Tasks in PrologJohn Van Tassel, David Hemmendinger. 121-127 [doi]
• Objects with LogicMamdouh H. Ibrahim, Fred A. Cummins. 128-133 [doi]
• A Simple Realization of a Parallel Device Recognizing Regular Trace LanguagesRyszard Janicki, Tomasz Müldner. 147-153 [doi]
• A Modification Support System - Automatic Correction of Side-Effects Caused by Type ModificationsTakao Tenma, Y. Sato, Y. Morimoto, Minoru Tanaka, Tadao Ichikawa. 154-160 [doi]
• Minimizing Ripple Recompilation in a Persistent Software EnvironmentM. Kazerooni-Zand, Mansur H. Samadzadeh, K. M. George. 166-172 [doi]
• A Symbolic Substitution Based Parallel Architecture and Algorithms for High-speed Parallel ProcessingAhmed Louri. 173-179 [doi]
• TWIST-TOP: Transputers with I-Stores Test Out ProcessorGeorge S. Davidson. 180-193 [doi]
• Definition and Analysis of a Class of Spanning Bus Orthogonal Multiprocessing SystemsIsaac D. Scherson. 194-200 [doi]
• A Practical Approach to Error Recovery for Multiagent Planning SystemsHyugoo Han, Kai-Hsiung Chang. 201-207 [doi]
• ALHARD: An Application-Oriented Language for Hardware SimulationTaizo Kojima, Kaoru Tsuru, Akira Sugimoto. 223-229 [doi]
• Spacetime Visualization of Relativistic EffectsPing-Kang Hsiung, Robert H. Thibadeau. 236-243 [doi]
• A Taxonomy for Programming StylePaul W. Oman, Curtis R. Cook. 244-250 [doi]
• An Extended Type Generalization of Standard ML Polymorphism (Abstract)R. Ghosh-Roy. 251 [doi]
• ABSL: An Actor-Based Specification Language for Office AutomationHossein Saiedian, Elizabeth A. Unger. 252-258 [doi]
• The Implementation of Guaranteed, Reliable, Secure Broadcast NetworksLawrence C. N. Tseung, Keh-Chiang Yu. 259-265 [doi]
• Native Code Process-Originated Migration in a Heterogeneous EnvironmentCharles M. Shub. 266-270 [doi]
• Routing for Generalized Chordal RingsBruce W. Arden, Kit-Ming W. Tang. 271-275 [doi]
• Software Development: Image Processing by Template PolynomialsPrabir Bhattacharya, Kai Qian. 281-287 [doi]
• Towards Common Sense PlanningWah-Bih Liaw, Frank M. Brown, Seung S. Park. 281-287 [doi]
• Artificial Neural System for Gene Classification Using a Domain DatabaseCathy H. Wu, George M. Whitson. 288-292 [doi]
• Measuring Data Locality in Internal Sorting AlgorithmsSeth Bergmann. 293-297 [doi]
• Probabilistic Diagnosis for Sparsely Interconnected SystemsY. H. Choi, T. Jung. 298-304 [doi]
• A Framework for High Level Synthesis of Digital Architectures from U-Recursive AlgorithmsKhaled M. Elleithy, Magdy A. Bayoumi. 305-311 [doi]
• A Generic Ambedded Real-Time Monitor AubsystemRay Ford. 312-318 [doi]
• Extending the Behavioral Capabilities of the Object-Oriented Paradigm with an Active Model of PropagationHeidi J. C. Ellis, Steven A. Demurjian, Fred J. Maryanski, George McA. Beshers, Joan Peckham. 319-325 [doi]
• Cotools: A Tool Composition Mechanism for Object-Based EnvironmentsV. Venugopal, Soumitra Sarkar. 326-342 [doi]
• Matching Interval-Valued-Argument Propositions in Rule-Based SystemsChristopher J. Merz, W. E. Bond, Daniel C. St. Clair. 343-350 [doi]
• Consensus in a Multi-Expert SystemKeung-Chi Ng, Bruce Abramson. 351-357 [doi]
• GMM-PAM: A Genetic Multilevel Multicategory Perceptron Associative MemoryStuart Harvey Rubin. 366-372 [doi]
• Neural Nets for Image RestorationA. D. Kulkarni. 373-378 [doi]
• A Parallel Compilation Technique Based on Grammar PartitioningSanjay Khanna, Arif Ghafoor, Amrit L. Goel. 385-391 [doi]
• PRABHA - A Distributed Concurrency Control AlgorithmAlbert Burger, Vijay Kumar. 392-397 [doi]
• An Experiment to Determine Software Reusability Factors (Abstract)John A. Lewis. 405 [doi]
• Usability Tests Refine Requirements (Abstract)Lynne Marie Davis. 406 [doi]
• The Establishment and Application of a Metric for Graphical Design Language (Abstract)John W. Olson, Herbert E. Longenecker Jr.. 407 [doi]
• A Study of the Prather Software Metric (Abstract)Scott Moore, Ronald Curtis. 408 [doi]
• Distributed Compilation Metrics (Abstract)Donald Gotterbarn, Timothy D. Hammer. 409 [doi]
• Increased Productivity Using a Preprocessor for Dataflex Fourth Generation Database Language (Abstract)Herbert E. Longenecker Jr., S. Tariq Ali, Michael V. Doran. 410 [doi]
• Data Security for Object-Oriented Programming Systems Based on Inference Engines (Abstract)Linda M. Null, Johnny S. Wong. 411 [doi]
• Object-Oriented Database for Intelligent Engineering Applications (Abstract)Marguerite Summers, John D. McGregor. 413 [doi]
• Semantics in Object-Oriented Data Models (Abstract)Stevan Mrdalj, Asad Khailany. 414 [doi]
• A Logical Approach to Designing Procedural Programming Languages (Abstract)Ashvin Radiya. 415 [doi]
• Program Structure and Clarity (Abstract)Ivan B. Liss, Thomas C. McMillan. 415 [doi]
• A Framework for Accessing Data in Models with Many Discrete States (Abstract)Mark Temte. 416 [doi]
• Simulation of an Automatic Banking System with the Ada Programming Language (Abstract)Trong Wu. 416 [doi]
• Logic of Knowledge and Belief in the Design of an Integrity Kernel for an Office Information System (Abstract)James F. Peters, Sheela Ramanna, E. A. Unger. 417 [doi]
• An Assumption About Computer Security (it ain t necessarily so - Abstract)Lee Ohringer. 417 [doi]
• Query Processing and File Management Issues in Partitioned Databases (Abstract)Esen A. Ozkarahan, Cem H. Bozsahin. 420 [doi]
• PARDES - An Enhanced Active Database System (Abstract)Opher Etzion. 421 [doi]
• Extended Object Oriented Model to Design Relational Databases (Abstract)Asad Khailany, Wafa Khorshid. 422 [doi]
• A Data Model for Software Representation (Abstract)Wafa Khorshid, Asad Khailany. 423 [doi]
• Relational Data Models and Category Theory (Abstract)Tsau Young Lin. 424 [doi]
• The Use of Fractals in Visualizing Iterative Techniques from Numerical Analysis (Abstract)Valerie A. Miller, G. Scott Owen. 425 [doi]
• Exvis: The Exploratory Visualization Tool (Abstract)Shuhua Shen, Georges G. Grinstein, Stuart Smith. 426 [doi]
• Ray Tracing Surfaces of Revolution Using a Simplified Strip Tree Method (Abstract)Hari B. Bidasaria. 427 [doi]
• On the Vectorization of Graph Algorithms (Abstract)Larry Basenspiler, Thomas F. Hain, Ben King. 427 [doi]
• Graphically-Oriented Reverse Engineering Tools for Ada Software (Abstract)James H. Cross II. 428 [doi]
• An Investigation into the Application of a Graphical, Rule-Based System Utilizing Reversible Data Structures as a Possible Model for Human Pedigree Systems (Abstract)Charles Garner, Michael V. Doran, Herbert E. Longenecker Jr.. 429 [doi]
• On Some Classes of Petri Nets (Abstract)Kunwarjit S. Bagga, Frank W. Owens. 430 [doi]
• An Adaptive Concurrency Control Algorithm (Abstract)James Canning, P. Muthuvelraj, John Sieg. 431 [doi]
• Dynamic Load Balancing in Distributed Real-Time Systems (Abstract)M. Bozyigit, M. Melhi. 433 [doi]
• Exploiting Parallelism Through Run-Time Analysis on a Vector Processor (Abstract)V. Prasad Krothapalli, P. Sadayappan. 434 [doi]
• An Optimal Parallel Algorithm for the Maximal Element Problem (Abstract)Chong Jye Rhee, Sudarshan K. Dhall, S. Lakshmivarahan. 435 [doi]
• A Study of Control Flow and Data Dependency Interface (Abstract)Narayan C. Debnath. 435 [doi]
• Applying Statistical Physics to Performance Analysis of Large-Scale Computing Systems (Abstract)Eugene Pinsky. 436 [doi]
• Joint Use of Simulation and Nonlinear Curve Fitting in Compartmental Models (Abstract)Meyer Katzper. 437 [doi]
• The Traveling-Salesman Problem (Abstract)Susan N. Twohig, Samuel O. Aletan. 437 [doi]
• Dynamically Balancing a Binary Tree (Abstract)Andrew T. Cable, Domenick J. Pinto. 438 [doi]
• Electronic Studio Sets Controlled by a Computer (Abstract)Shiperu Shimoda, Masaki Hayashi, Yasuaki Kanatsugu. 439 [doi]
• Cooperation of the Pattern Recognition Techniques of Dirichlet Tessellations with Political Science to Produce Ward Partitioning of Cities Without Bias (Abstract)Joseph S. Szakas, Christian Trefftz. 439 [doi]
• Relating Psychology s Moral Development Levels to the Ethical Use of Computers (Abstract)Riva Wenig Bickel, María M. Larrondo-Petrie. 440 [doi]
• ROBOTICS: A Hands-On Introduction to Hardware (Abstract)Carl Steidley. 441 [doi]
• A Real-Time Robot Collision Avoidance System (Abstract)Clifford A. Shaffer, Gregory M. Herb. 441 [doi]
• IMT-RB/ED: A System Based on Multi-Reorganization (Abstract)Yiming Ye, Zhao-Xiong Chen, Zhang Xiong, Gao Qinshi. 442 [doi]
• Requirements for Machine Learning in Expert Systems (Abstract)Christopher J. Gardiner, William W. McMillan. 443 [doi]
• Competition and Cooperation in Analog Neural Networks for Combinatorial Optimization (Abstract)Tao Li, L. Fang. 444 [doi]
• The Cross-Cultural Effectiveness of CAI: Some Cognitive and Affective Factors (Abstract)David W. Valentine. 445 [doi]
• An Integrated Authoring System for Diagnostic Testing (Abstract)Thomas L. Hausmann, William Campbell. 445 [doi]
• Database Reasoning: Extracting Knowledge from Databases (Abstract)Juan Carlos Esteva, Asad Khailany. 446 [doi]
• On Algorithms for Operative Diagnosis of Systems (Abstract)Nageswara S. V. Rao, Jih-sen Lin. 446 [doi]
• Genetic Heuristics in Optimization Problems (Abstract)Sami Khuri, My Hoang. 447 [doi]
• Nonparametric Methods for Automatic Classification of Documents and Transactions (Abstract)Amos O. Olagunju. 448 [doi]
• Homograph Discrimination for Intelligent Interfaces via Thesaural Lexicons (Abstract)Donna M. Mooney, John R. Talburt. 449 [doi]
• A Study of the Personality Types of Successful Computer Science Majors (Abstract)Robert Leeper. 452 [doi]
• A Chart Representation for Delineating Computer Disciplines (Abstract)Curt M. White. 453 [doi]
• Perceptions of Missouri Secondary and Area Vocational School Computer Teachers Toward Trends of Computer Hardware and Software Technologies by Year 1995 (Abstract)Alireza Salehnia. 453 [doi]
• Parameter Passing: A Window into Students Views of Programming (Abstract)Ann E. Fleury. 454 [doi]
• A Parallel Implementation of Collective Learning Systems Theory: Adaptive Learning Image Analysis System (ALIAS)Peter Bock. 457-469 [doi]