T. Roscoe, R. Mortier, P. Jardetzky, and S. Hand. InfoSpect: Using a Logic Language for System Health Monitoring in Distributed Systems. In Proceedings of the 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Analyzing P2P Overlays with Recursive Queries - Boon Thau Loo (2004) (2 citations) Self-citation (Roscoe) (Correct)
No context found.
T. Roscoe, R. Mortier, P. Jardetzky, and S. Hand. InfoSpect: Using a Logic Language for System Health Monitoring in Distributed Systems. In Proceedings of the 2002.
Sophia: An Information Plane for Networked Systems - Mike Wawrzoniak And (2003) (17 citations) Self-citation (Roscoe) (Correct)
No context found.
T. Roscoe, R. Mortier, P. Jardetzky, and S. Hand. InfoSpect: Using a Logic Language for System Health Monitoring in Distributed Systems. In Proc. of the ACM SIGOPS European Workshop, Saint-Emilion, France, September 2002.
Copyright 2003, Intel Corporation, All rights reserved. - Mike Wawrzoniak Larry Self-citation (Roscoe) (Correct)
No context found.
T. Roscoe, R. Mortier, P. Jardetzky, and S. Hand. InfoSpect: Using a Logic Language for System Health Monitoring in Distributed Systems. In Proc. of the ACM SIGOPS European Workshop, Saint-Emilion, France, September 2002.
Analyzing P2P Pverlays with Recursive Queries - Loo, Huebsch, Hellerstein.. (2003) Self-citation (Roscoe) (Correct)
No context found.
T. Roscoe, R. Mortier, P. Jardetzky, and S. Hand. InfoSpect: Using a Logic Language for System Health Monitoring in Distributed Systems. In Proceedings of the 2002.
Predicate Routing: Enabling Controlled Networking - Roscoe, Hand, Isaacs.. (2002) (7 citations) Self-citation (Roscoe Mortier Jardetzky Hand) (Correct)
....10.3.0.0 16, we can infer that the packet traversed link b. While this example is trivial, in more complex networks this can be a powerful tool for reducing human error in network configuration. The use of declarative languages to detect network and system misconfiguration has been investigated in [11]. Predicate Routing provides the logical framework in which these techniques can be applied to network management, for example automatic detection of BGP misconfiguration, a well known problem [9] The four types of predicates, together with the relations between them, faithfully model the packet ....
T. Roscoe, R. Mortier, P. Jardetzky, and S. Hand. InfoSpect: Using a Logic Language for System Health Monitoring in Distributed Systems. In Proceedings of the 2002.
A Scalable Distributed Information Management System - Praveen Yalagandula Ypraveen (2003) (10 citations) (Correct)
No context found.
T. Roscoe, R. Mortier, P. Jardetzky, and S. Hand. InfoSpect: Using a Logic Language for System Health Monitoring in Distributed Systems. In Proceedings of the SIGOPS European Workshop, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC