Resource management is one of the important issues in building such systems.
In this article we describe our experiences with using Jini technology to build a Resource Manager module for Arcade. In the formal methods community, type theory is at the basis of higher-order logic tools and expressive languages for formal specification. From a practical point of view, type theory has been used to improve the quality of software systems by allowing the detection of errors before they became run-time problems. This article gives a general overview of type theory and its role in the foundation of programming and specification languages.