D. Sabin, M. Sabin, R. Russell, and E. Freuder. A constraint-based approach to diagnosing distributed software systems. In Proceedings of the Fifth International Workshop on Principles of Diagnosis (DX-94), 1994. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Solving InterOperability Problems Using Object-Oriented CSP.. - Sqalli, Freuder Self-citation (Freuder) (Correct)
....derived from an Extended FSM (EFSM) In Model Based Diagnosis, an error is de ned as: a con ict between observations and expectations based on the model. One approach to model based diagnosis has taken diagnosis to be a constraint satisfaction problem (CSP) Fattah and Dechter, 1992 ] Sabin et al. 1994 ] implement a re nement of this approach using Partial Constraint Satisfaction Problem (PCSP) to diagnose distributed software systems. PCSPs were introduced for applications that settle for partial solutions that leave some of the constraints unsatis ed [ Freuder and Wallace, 1992 ] 4.1 ....
D. Sabin, M. Sabin, R. Russell, and E. Freuder. A constraint-based approach to diagnosing distributed software systems. In Proceedings of the Fifth International Workshop on Principles of Diagnosis (DX-94), 1994.
A Constraint Satisfaction Model for Testing Emulated LANs in.. - Sqalli, Freuder (1996) Self-citation (Freuder) (Correct)
....as a set of constraints derived from an Extended FSM (EFSM) It is stated in the same paper that several existing approaches to protocol diagnosis and testing are characterised in terms of the EFSM and the CSP formulation. Diagnosis can be viewed as a Partial Constraint Satisfaction Problem (PCSP) [7]. And, model based diagnosis can be viewed as a constraint optimization problem [7] The same technique is applied and extended to computer network software [8] where diagnosis is considered as a Dynamic Partial Constraint Satisfaction Problem (DPCSP) The finite state machine specification of a ....
....paper that several existing approaches to protocol diagnosis and testing are characterised in terms of the EFSM and the CSP formulation. Diagnosis can be viewed as a Partial Constraint Satisfaction Problem (PCSP) 7] And, model based diagnosis can be viewed as a constraint optimization problem [7]. The same technique is applied and extended to computer network software [8] where diagnosis is considered as a Dynamic Partial Constraint Satisfaction Problem (DPCSP) The finite state machine specification of a protocol is translated to a standard CSP representation, and configuration tasks ....
Sabin D., Sabin M., Russell R., and Freuder E. 1994. A Constraint-Based Approach to Diagnosing Distributed Software Systems. Proceedings DX-94
A Constraint-Based Approach to Diagnosing Configuration.. - Sabin, Sabin, Russell.. (1995) Self-citation (Sabin Russell Freuder) (Correct)
....misuse of the interface by the layer above, 2. erroneous or incomplete specification or implementation of the protocol itself, 3. errors in the configuration. The solution to the first two categories of errors and the motivation for using a constraint satisfaction approach have been presented in (Sabin et al. 1994) (Riese 1993) In this paper we discuss some configuration errors for the name service, giving examples of problems encountered by a user of the common networking tool FTP (File Transfer Program) Diagnosis of DNS Configuration problems Domain Name Service (DNS) People prefer names. Computers ....
.... used in algorithms that search for a solution that leaves a minimal number of constraints unsatisfied (Freuder Wallace 1992) It has been shown that PCSP provides an elegant approach to viewing model based diagnosis in CSP terms, with applications to diagnosis of distributed software systems (Sabin et al. 1994). Regarding the interacting components of the system as constraints, and faulty components as failed constraints, minimal diagnoses naturally correspond to PCSP solutions that leave minimal sets of constraints unsatisfied. These sets are minimal in that there is no solution which leaves only a ....
[Article contains additional citation context not shown here]
Sabin, D.; Sabin, M.; Russell, R.; and Freuder, E. 1994. A constraint-based approach to diagnosing distributed software systems. In Working Papers, Fifth International Workshop on Principles of Diagnosis, DX-94, 261--269.
Diagnosis as a Constraint Satisfaction Problem - Kelly, III (Correct)
No context found.
Sabin, D.; Sabin, M.; Russell, R.; Freuder, E. 1994. A Constraint-Based Approach to Diagnosing Distributed Software Systems, In Proceedings of the Fifth International Workshop on Principles of Diagnosis, DX94, New York.
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