Algorithms used to determine the control and data flow properties of computer programs are generally designed for one-time analysis of an entire new input. Application of such algorithms when the input is only slightly modified results in an...

The development of distributed applications has not progressed as rapidly as its enabling technologies. In part, this is due to the difficulty of reasoning about such complex systems. In contrast to sequential systems, parallel systems give rise to...

A perspective of the Naval Education and Training System (NETS) is developed and utilized as a framework on which a simulation model of general training system activities is constructed. The simulation model, which is based on functional...

The problem of ""Total Water Management"" is reviewed; particular emphasis is given to the magnitude and intensity of pollution from nonpoint sources. The relationship between land usage in south Florida and subsequent effects upon receiving water...