— Policies are increasingly being used to manage complex communication networks. In this paper we present our work on a " policy server " which is being used to provide centralized administration of packet voice gateways and " soft switches " in next generation circuit and packet telephony networks. The policies running in the policy server are specified… (More)
1. Introduction PRISM (a Parallel Inference System), for parallel execution of problems, has been implemented on ZMOB (Rieger ). PRISM is an experimental tool for the development of distributed AI problem solvers and is based on logic programming. Familiarity with logic programming (Kowalski ) is assumed. In conventional programming systems the… (More)
In this paper we introduce a language to write Distributed Action Plans (DAPs) to specify distributed network management tasks. To run these plans we use policy agents specified in T'D/~, an event-driven programming language developed at Bell Labs to perform policy-based network management.
Speculative query evaluation is the process of answering queries over databases containing objects that serve as compact representations for very large search spaces. Such objects occur naturally in scheduling, planning and engineering applications. The basic idea behind efficient evaluation of speculative queries is the ability to construct a subset of the… (More)