SIGSMALL 1990

• David Roach, Hal Berghel:
  The Physiology of PROLOG Expert System Inference Engine. 1-5
  
• Stephen P. Leach, Abraham Kandel:
  Grouper: An Expert System for Redistricting. 6-12
  
• W. Elliot, Mordechay Schneider:
  Fault Finder. 13-23
  
• Kok Wai Wong, Elizabeth A. Unger:
  Specification and Verification of Active Message Systems. 24-30
  
• Miguel Cabrera, Elizabeth A. Unger:
  Dynamic Data as Deterrent to the Tracker. 31-35
  
• Michele Di Santo, Giulio Iannello:
  ASK: A Kernel for Programming Actor Systems. 36-42
  
• Kathleen Taylor, Michael A. Bauer:
  An Object/Message Model for the Development of Integrated Workstation Software. 43-52
  
• V. Venugopal:
  View-based Tool Integration in Database-Centered Environment. 53-60
  
• David W. Valentine:
  Adapting Software to the User's Cognitive Style: Field Dependence - Field Independence. 61-67
  
• John F. Cigas:
  Dynamically Displaying a Pascal Program in Color. 68-71
  
• Paolino Di Felice:
  Basic Requirements and Main Features of a System Supporting the Reusability of Mathematical Software on Personal Computers. 72-79
  
• William David Miller:
  Semantic Assistance Nets. 80-89
  
• Hal Berghel, Richard Rankin, Farrukh Burney:
  An Approach to Tableau Inferencing with "Hardwired" Heuristics. 90-93
  
• Chunsik Yi, Steven Graham:
  Real-Time Reasoning with PROLOG. 94-97
  
• Blayne E. Mayfield, Timothy B. Baird:
  STP: A Simple Theorem Prover for IBM-PC Compatible Computers. 98-105
  
• Philip T. Cox:
  Using Object-Orientation to Implement Logic Programming. 106-114
  
• Robert L. Tureman Jr.:
  A Personal Computer Based Expert System for Answering Student Questions in the CS1 Course. 115-117
  
• Mark Luker:
  The Cost-Effective Integration of Microcomputers into a Campus Computing Environment. 118-122
  
• R. P. Srivastava:
  Teaching Digital Logic Design Using a Tape Recorder Simulator. 123-131
  
• Jerry E. Sayers:
  A Small Operating System. 132-142
  
• Taherah Daneshi:
  A Memory Adjustable Software System for Clustering and Retrieval. 139-142
  
• Barbara Cuthill, Mallory Selfridge:
  A Dynamic Memory Approach to Case Based Reasoning: AI Research on a Macintosh. 143-150
  
• Richard Rankin, Hal Berghel, T. Xu:
  Efficient Generation of Lexically Proper Palindromes. 151-155
  
• John R. Talburt, Donna M. Mooney:
  An Evaluation of Type-10 Homograph Discrimination at the Semi-colon Level in Roget's International Thesaurus. 156-159
  
• Peter Bodorik, J. Spruce Riordon:
  System Integration in Multidatabases. 160-163
  
• Ray Hashemi-Nassab:
  Parametric Performance Evaluation of a Micro-Based Database System. 164-171
  
• Kam-Fai Wong, M. Howard Williams:
  CLARE - A Prolog Database Machine. 172-177
  
• Ashok Rathi, Huizhu Lu, G. E. Hedrick:
  Performance Comparison of Extendible Hashing and Linear Hashing Techniques. 178-185
  
• A. G. Jost, P. Streatch, D. B. Guptill:
  Implementation of a VLSI Layout Tool on Personal Computers. 186-190
  
• Hiromitsu Shirakawa, Hitoshi Ogawa, Masayuki Fujiwara:
  A Dedicated Small Computer for Artificial Intelligence. 191-198
  
• Lester Lipsky, Dilip Tagare, Edward Bigos:
  Evaluation of Queuing System Parameters Using Linear Algebraic Queuing Theory - an Implementation. 199-204
  
• Tahany A. Fergany, Howard A. Sholl:
  Performance Based Multiple Server Support for Distributed Real Time Applications. 205-214
  
• Hossein Saiedian, Elizabeth A. Unger:
  A Formal Specification Tool for Office Systems. 215-220
  
• Angela Dixon, Ramesh Sharda:
  Integration of Software Tools in Developing a Multiple Criteria Support System on a Personal Computer. 221-227
  
• Jacob Slonim, Michael A. Bauer:
  The Role of Workstations in the Information Utility: A Model for User-Oriented Information Systems. 228-237
  
• Patrick D. Fett, K. M. George:
  DCA: An Expert System for Auditing Data Communications. 238-245
  
• David F. Clark, Abraham Kandel:
  Fuzzy Belief Networks. 246-248
  
• D. Riordan, K. J. Carden:
  Explanation in Ecological Systems. 249-254
  
• A. D. Kulkarni, George M. Whitson:
  Self Organizing Neural Networks with a Split/Merge Algorithm. 255-261
  
• John W. Sheppard, William R. Simpson:
  Using a Competitive Learning Neural Network to Evaluate Software Complexity. 262-267
  
• George M. Whitson, Cathy H. Wu, Pam Taylor:
  Using an Artificial Neural System to Determine the Knowledge Base of an Expert System. 268-270
  
• Rizwan Mithani:
  An Object-Oriented Data Model for Partition Processing in Distributed Databases. 271-279
  
• Doug Varney:
  Adequacy of Checksum Algorithms for Computer Virus Detection. 280-282
  
• Mauro Regio, Marco Temperini:
  Implementation and Manipulation of Formal Objects: An Object-Oriented View. 283-287
  
• Benjamin Moreland:
  Knowledge-Based Understanding on a Small Machine. 288-295
  
• Larry Hughes:
  Edmund: A Multicast Kernel for Distributed Application. 296-304