Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Routing stability in congested networks: experimentation and analysis
Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
Delayed Internet routing convergence
Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
A system architecture for pervasive computing
EW 9 Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system
Understanding BGP misconfiguration
Proceedings of the 2002 conference on Applications, technologies, architectures, and protocols for computer communications
Experiences Deploying a Large-Scale Emergent Network
IPTPS '01 Revised Papers from the First International Workshop on Peer-to-Peer Systems
Observations on the Dynamic Evolution of Peer-to-Peer Networks
IPTPS '01 Revised Papers from the First International Workshop on Peer-to-Peer Systems
Xenoservers: Accountable Execution of Untrusted Programs
HOTOS '99 Proceedings of the The Seventh Workshop on Hot Topics in Operating Systems
Automatic discovery of rules for predicting network management events
IEEE Journal on Selected Areas in Communications
Predicate routing: enabling controlled networking
ACM SIGCOMM Computer Communication Review
Sophia: an Information Plane for networked systems
ACM SIGCOMM Computer Communication Review
A scalable distributed information management system
Proceedings of the 2004 conference on Applications, technologies, architectures, and protocols for computer communications
PlanetLab: overview, history, and future directions
ACM SIGOPS Operating Systems Review
WORLDS'06 Proceedings of the 3rd conference on USENIX Workshop on Real, Large Distributed Systems - Volume 3
Declarative configuration management for complex and dynamic networks
Proceedings of the 6th International COnference
Improving availability in distributed systems with failure informers
nsdi'13 Proceedings of the 10th USENIX conference on Networked Systems Design and Implementation
Hi-index | 0.00 |
Dependable systems cannot be built without a monitoring and management component. In this paper we propose using a wide variety of information gathering tools coupled with custom scripts and a Prolog language engine to aggregate information from multiple sources. Complex queries, difficult to express in standard database languages, can then be used to answer questions about the system (e.g. the health of individual components) or to discover contradictions (e.g. inconsistent configurations). We describe our prototype implementation and present some early results.