1,721,166 research outputs found
Time-Constrained Automata
No full text) Michael Merritt AT&T Bell Laboratories 600 Mountain Avenue Murray Hill, NJ 07974 [email protected] Francesmary Modugno School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 [email protected] Mark R. Tuttle DEC Cambridge Research Lab One Kendall Sq., Bldg. 700 Cambridge, MA 02139 [email protected] Abstract In this paper, we augment the input-output automaton model in order to reason about time in concurrent systems, and we prove simple properties of this augmentation. The input-output automata model is a useful model for reasoning about computation in concurrent and distributed systems because it allows fundamental properties such as fairness and compositionality to be expressed easily and naturally. A unique property of the model is that systems are modeled as the composition of autonomous components. This paper describes a way to add a notion of time to the model in a way that preserves these properties. The result is a simple, compositional model fo..
Prospective Evaluation of Hormone Replacement Therapy, Body Mass Index, Estrogen Metabolism and Breast Cancer Risk
No full text
Visual Programming in a Visual Shell
No full textWe present a new visual programming language and environment that serves as a form of feedback and representation in a Programming by Demonstration system. The language differs from existing visual languages because it explicitly represents data objects and implicitly represents operations by changes in data objects. The system was designed to provide non-programmers with programming support for common, repetitive tasks and incorporates some principles of cognition to assist these users in learning to use it. KEYWORDS: Cognitive Dimensions, End-User Programming, Programming by Demonstration, Visual Language, Visual Shell, Pursuit. INTRODUCTION A visual shell (e.g. Macintosh Finder) is a direct manipulation interface to a file system. Visual shells are considered easy to use because of the constantly visible, concrete, familiar representations of data objects and the illusion of manipulating these objects. Unfortunately, this "conceptual simplicity" is often lost when programming is ..
- …
