Chaff: engineering an efficient SAT solver
Proceedings of the 38th annual Design Automation Conference
Directory Enabled Networks
Implementing the Davis–Putnam Method
Journal of Automated Reasoning
Deciding validity in a spatial logic for trees
Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
GulfStream - a System for Dynamic Topology Management in Multi-domain Server Farms
CLUSTER '01 Proceedings of the 3rd IEEE International Conference on Cluster Computing
A Validation Solution for Network Configuration
CNSR '04 Proceedings of the Second Annual Conference on Communication Networks and Services Research
It's Elementary, Dear Watson: Applying Logic Programming To Convergent System Management Processes
LISA '99 Proceedings of the 13th USENIX conference on System administration
Configuration Logic: A Multi-site Modal Logic
TIME '05 Proceedings of the 12th International Symposium on Temporal Representation and Reasoning
CTL Model Checking for Labelled Tree Queries
TIME '06 Proceedings of the Thirteenth International Symposium on Temporal Representation and Reasoning
Decision procedures for SAT, SAT modulo theories and beyond. the barcelogictools
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Autonomic computing: an overview
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Towards runtime model based integrated management of cloud resources
Proceedings of the 5th Asia-Pacific Symposium on Internetware
| Hi-index | 0.00 |
Autonomic networking is an emerging approach to the management of computer networks that aims at developing self-governed devices. Among the main issues of autonomic systems is the question of self-configuration. In this paper, we describe a method for discovering and self-generating the configuration of a network device in order to dynamically push a new service into a network. On each configuration, several rules representing the semantics of the services are expressed in a logical formalism called Configuration Logic. From these rules, we show how to use traditional satisfiability methods to automatically generate or modify the configuration of a device with respect to the configuration of its neighbours. We illustrate our case with an example of a switch that automatically discovers its VLAN configuration when connected to an existing network. The results presented here have been implemented into the configuration management tool ValidMaker.