LCS Publications: Recent submissions
Now showing items 328-330 of 1152
-
Diversity-based Inference of Finite Automata
(1988-05)We present a new procedure for inferring the structure of a finite-state automaton (FSA) from its input/output behavior, using access to the automaton to perform experiments. Our procedure uses a new representation for ... -
Constructing a Highly-available Location Service for a Distributed Environment
(1988-01)One possible advantage a distributed system has over a centralized system is the ability to move objects from one node to another. For example, we may want to move an object if the node where it resides is overloaded. ... -
A Technique for Constructing Highly-Available Services
(1988-01)This paper describes a general method for constructing a highly available service for use in a distributed system. It gives a specific implementation of the method and proves the implementation correct. The service ...


