The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 05 - September (vol. 5)
ISSN: 0098-5589
Papers

IEEE Computer Society (PDF)

pp. c2

Development and Structure of an X.25 Implementation (Abstract)

G.V. Bochmann , Departement d'I.R.O., Universit? de Montr?al
pp. 429-439

Distributed Simulation: A Case Study in Design and Verification of Distributed Programs (Abstract)

K.M. Chandy , Department of Computer Sciences, University of Texas
pp. 440-452

An Exercise in Automatic Program Verification (Abstract)

W. Polak , Artificial Intelligence Laboratory, Stanford University
pp. 453-458

Conditional Capabilities (Abstract)

K. Ekanadham , Department of Computer Science, State University of New York
pp. 458-464

Evaluating and Improving Recursive Descent Parsers (PDF)

J. Cohen , Department of Physics, Brandeis University
pp. 472-480

CSDL: A Conceptual Schema Definition Language for the Design of Data Base Applications (Abstract)

N. Roussopoulos , Department of Computer Sciences, University of Texas at Austin
pp. 481-496

Dynamic Software Science with Applications (Abstract)

R.R. Oldehoeft , Department of Computer Science, Colorado State University
pp. 497-504

Quantitative Estimates of Debugging Requirements (Abstract)

L.M. Ottenstein , Department of Mathematical and Computer Sciences, Michigan Technological University
pp. 504-514

Tidy Drawings of Trees (Abstract)

C. Wetherell , Computing Science Group, Department of Applied Science, University of California at Davis, and the Lawrence Livermore Laboratory
pp. 514-520

On Path Cover Problems in Digraphs and Applications to Program Testing (Abstract)

S.C. Ntafos , Department of Mathematical Sciences, University of Texas at Dallas
pp. 520-529

An Approximate Analytical Method for General Queueing Networks (Abstract)

R.A. Marie , Institut de Recherche en Informatique et Syst?mes Al?atoires, I.N.S.A.
pp. 530-538

Call for Papers (PDF)

pp. 538
83 ms
(Ver 3.1 (10032016))