1. Response-time simulation of multivariate point process models for multiprogrammed jobstreams

   • G. S. Shedler

   OriginalPaper Pages: 73 - 91

2. A pragmatic approach to resolution-based theorem proving

   • Judy A. Townley

   OriginalPaper Pages: 93 - 116

3. Algorithms for finding directed graph isomorphisms by finite automata

   • Chao-Chih Yang
   • Charmane P. May

   OriginalPaper Pages: 117 - 140

4. Querying databases with a domain-oriented natural language understanding system

   • Marco Bernorio
   • Marco Bertoni
   • Marco Somalvico

   OriginalPaper Pages: 141 - 159