To support advanced network services, Internet routers must perform packet classification based on a set of rules called filters. If two or more filters overlap, filter conflict will occur and lead to ambiguity in classification. Further, it may affect security even the correctness routing. Hence, is necessary detect conflicts avoid above problems. In recent years, many detection algorithms hav...

The main goal of this article is to analyse the probability detecting potential conflicts by Air Traffic Controller (ATCo). ATCo ensures safety aircraft and one its functions collision avoidance. Collision avoidance known as separation provision term means assuring safe distance between each sides, vertical longitudinal minimums separation. air traffic controller must ensure a high level airspa...

Preamble. Packet filters are rules in IP router tables for classifying packets based on the information in their header fields. For forwarding purposes, there has to be a unique best matching filter which applies to an incoming packet p. In order to avoid ambiguities in the classification, the set of filters must be conflict-free under the tie-breaking rule which is applied. In this report we e...

A method to incorporate aircraft flight path intent information into a conflict detection and resolution system is described. The approach uses a set of probability density functions that describe potential trajectory errors such as cross-track, along-track, or course change, in a series of Monte Carlo simulations. The simulations are used to estimate the probability of conflict in traffic enco...

Popular dual process theories of reasoning and decision making have characterized human thinking as an interplay of an intuitive and analytic reasoning process. Although monitoring the output of the two systems for conflict is crucial to avoid decision making errors there are some widely different views on the efficiency of the process. Kahneman (2002) claims that the monitoring of the intuitiv...

Conflict processing is crucial for humans and has been investigated using hemodynamic and electrophysiological measures. However, because most previous research has studied hemodynamic and electrophysiological measures separately, the relationship between these two measures in conflict processing is poorly understood. In our study, we measure near-infrared spectroscopy (NIRS) and event-related ...

Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there are many policies leading naturally to inconsistency between the policies, a problem that has been recognised and termed policy conflict. We present a novel formal semantics for distributed policies expressed in the AP...

Several cognitive changes characterize normal aging; one change regards inhibitory processing and includes both conflict monitoring and response suppression. We attempted to segregate these two aspects within a Go/No-go task, investigating three age categories. Accuracy, response times and event-related potentials (ERPs) were recorded. The ERP data were analyzed, and the Go and No-go trials wer...

We investigate the algorithmic feasibility of checking whether concurrent implementations of shared-memory objects adhere to their given sequential specifications; sequential consistency, linearizability, and conflict serializability are the canonical variations of this problem. While verifying sequential consistency of systems with unbounded concurrency is known to be undecidable, we demonstra...

An ATP system, Bliksem, has been used for policy conflict detection in cfengine configurations. For this purpose, predicates corresponding to cfengine configuration directives have been developed, additional rules describing conflicting actions have been defined and a basic translator tool from the cfengine language to the TPTP language has been developed. Although some parts of the cfengine la...