Search
Now showing items 1-4 of 4
Distributed Upcalls: A Mechanism for Layering Asynchronous Abstractions
(University of Wisconsin-Madison Department of Computer Sciences, 1987)
CLAM-an Open System for Graphical User Interfaces
(University of Wisconsin-Madison Department of Computer Sciences, 1987)
Verification of Network Management System Configurations
(University of Wisconsin-Madison Department of Computer Sciences, 1990)
Specification and Verification of Network Managers for Large Internets
(University of Wisconsin-Madison Department of Computer Sciences, 1989)
Large internet environments are increasing the difficulty of network management. Integrating increasing numbers of autonomous subnetworks (each with an increasing number of hosts) makes it more difficult to determine if ...