This paper analyzes a two-alternative voting model with the distinctive feature that voters have preferences over the support that each alternative receives, and not only over the...
Gossip protocols have been proposed as a robust and efficient method for disseminating information throughout dynamically changing networks. We present an analysis of a gossip pro...
Network emulation, in which real systems interact with a network simulation, is a common evaluation method in computer networking research. Until now, the simulation in charge of ...
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
In this paper, we examine the collaboration problems teachers encountered in the course of instructing students using collaborative computer software to connect distributed classr...
Daniel R. Dunlap, Dennis C. Neale, John M. Carroll