The SCEAS System
Navigation Menu

Journals in DBLP

Commun. ACM
1976, volume: 19, number: 5

  1. Dorothy E. Denning
    A Lattice Model of Secure Information Flow. [Citation Graph (13, 0)][DBLP]
    Commun. ACM, 1976, v:19, n:5, pp:236-243 [Journal]
  2. Jonathan K. Millen
    Security Kernel Validation in Practice. [Citation Graph (2, 0)][DBLP]
    Commun. ACM, 1976, v:19, n:5, pp:243-250 [Journal]
  3. Butler W. Lampson, Howard E. Sturgis
    Reflections on an Operating System Design. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1976, v:19, n:5, pp:251-265 [Journal]
  4. A. Nico Habermann, Lawrence Flon, Lee W. Cooprider
    Modularization and Hierarchy in a Family of Operating Systems. [Citation Graph (1, 0)][DBLP]
    Commun. ACM, 1976, v:19, n:5, pp:266-272 [Journal]
  5. John H. Howard
    Proving Monitors. [Citation Graph (1, 0)][DBLP]
    Commun. ACM, 1976, v:19, n:5, pp:273-279 [Journal]
  6. Susan S. Owicki, David Gries
    Verifying Properties of Parallel Programs: An Axiomatic Approach. [Citation Graph (3, 0)][DBLP]
    Commun. ACM, 1976, v:19, n:5, pp:279-285 [Journal]
  7. A. Wayne Madison, Alan P. Batson
    Characteristics of Program Localities. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1976, v:19, n:5, pp:285-294 [Journal]
  8. Barton G. Prieve, Robert S. Fabry
    VMIN-An Optimal Variable-Space Page Replacement Algorithm. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1976, v:19, n:5, pp:295-297 [Journal]
  9. Wesley W. Chu, Holger Opderbeck
    Analysis of the PFF Replacement Algorithm via a Semi-Markov Model. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1976, v:19, n:5, pp:298-304 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002