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

IEEE Computer Society (PDF)

pp. c2

Editor's Notice (PDF)

pp. 401

The Design of a Cryptography Based Secure File System (Abstract)

E. Gudes , Wang Laboratories
pp. 411-420

On Deadlock Detection in Distributed Systems (Abstract)

V.D. Gligor , Department of Computer Science, University of Maryland
pp. 435-440

Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets (PDF)

C.V. Ramamoorthy , Department of Electrical Engineering and Computer Sciences, University of California
pp. 440-449

A Universal File Server (Abstract)

A.D. Birrell , Xerox Palo Alto Research Center
pp. 450-453

A Comparison of the Axiomatic and Functional Models of Structured Programming (Abstract)

V.R. Basili , Department of Computer Science, University of Maryland
pp. 454-465

A New Verification Rule and Its Applications (Abstract)

J.C. Huang , Department of Computer Science, University of Houston
pp. 480-484

Theories of Software Reliability: How Good Are They and How Can They Be Improved? (Abstract)

B. Littlewood , Department of Mathematics, City University
pp. 489-500

A Summary of the Discussion on "An Analysis of Competing Software Reliability Models" (Abstract)

A.L. Goel , Department of Industrial Engineering and Operations Research, and the School of Computer and Information Science, Syracuse University
pp. 501-502

Call for Papers (PDF)

pp. 502

Call for Papers (PDF)

pp. 502
89 ms
(Ver 3.3 (11022016))