ACM Computing Surveys articles from March 2000

ACM Computing Surveys archives from March 2000

Introduction to the Computing Surveys' Electronic Symposium on Object-Oriented Application Frameworks.
March 1, 2000... INTRODUCTION AND DEFINITIONS Object-Oriented Application Frameworks (OOAFs) are quickly becoming strategic assets for organizations across all business sectors, perhaps due to the recognition that re-engineering failures may be occurring at...

Temporal Logics for Real-Time System Specification.
March 1, 2000... 1. INTRODUCTION During the last few years, several techniques, tools, and models for the formal specification of real-time systems have been proposed. Typical applications can be found in avionics, robotics, process control, and...

Programming Languages and Systems for Prototyping Concurrent Applications.
March 1, 2000... 1. INTRODUCTION During the last decades, particular attention has been focused on concurrent programming within the computer science community. A concurrent program specifies two or more processes that cooperate in performing a task...

A Brief History of Cellular Automata.
March 1, 2000... 1. INTRODUCTION Cellular automata were originally proposed by John yon Neumann as formal models of self-reproducing organisms. The structure studied was mostly on one- and two-dimensional infinite grids, though higher dimensions were also...