What do perceptually bistable figures, sentences vulnerable to misinterpretation and the Stroop task have in common? Although seemingly disparate, they all contain elements of conflict or ambiguity. Consequently, in order to monitor a fluctuating percept, reinterpret sentence meaning, or say "blue" when the word RED is printed in blue ink, individuals must regulate attention and engage cognitiv...

In the process of web3D-based collaborative design, it is necessary to completely prevent operation conflicts among designers due to distributed environments and complex 3D models. Therefore, conflict detection and conflict resolution are of great significance to attain an acceptable result. In order to facilitate effective and smooth design work, a symmetry-based collaborative design framework...

In this paper, we concentrate primarily on the detection component of conflict detection and resolution schemes operating at the mid-range and short range level of the air traffic management process. Probabilistic models for mid-term and short term prediction are introduced. Based on the mid-term prediction model, the maximum instantaneous probability of conflict is proposed as criticality meas...

Content switch can be configured as load balancer, firewall, spam mail filter, and virus detection and removal system, by specifying a set of rules. In this paper we present our content switch rule design for a Linux-based content switch, and show how they are translated and downloaded into the switch for packet processing. One common problem in specifying rules for content switches or policy-b...

In air traffic management, conflict detection algorithms are used to determine whether or not aircraft are predicted to lose horizontal and vertical separation minima within a time interval assuming a trajectory model. In the case of linear trajectories, conflict detection algorithms have been proposed that are both complete, i.e., they detect all conflicts, and sound, i.e., they do not present...

When developing a system in Model-driven Engineering (MDE), developers change the same diagram in parallel. These changes generate different versions that may conflict. Conflicts can be syntactic, related to the structure of the diagram, or semantic, related to the meaning of the diagram. The detection of semantic conflicts in diagrams should take into consideration both the syntax and semantic...

Packet filters provide roles for classifying packets based on header fields. High speed packet classification has received much study. However, the twin problems of fast updates and fast conflict detection have not received fnuch attention. A conflict occurs when two classifiers overlap, potentially creating ambiguity for packets that match both filters. For example, if Rule 1 specifies that al...

For a widespread success of the model-driven paradigm, appropriate tools such as “Version Control Systems” (VCS) are required to adequately support a model-based development process. First attempts to model-based versioning, however, perform conflict detection mainly on basis of a syntactic representation of models without exploiting their semantics. Consequently, in this paper the approach tow...

Keeping requirements consistent already at early project stages is a main success factor for software development projects. However, manual requirements conflict analysis takes significant effort and is error-prone. Requirement engineers and other project participants such as technical architects use different terminologies (due to different domain backgrounds) which makes automation of conflic...

We study conflict detection for programs with procedures, dynamic thread creation and a fixed finite set of (reentrant) monitors. We show that deciding the existence of a conflict is NP-complete for our model (that abstracts guarded branching by nondeterministic choice) and present a fixpoint-based complete conflict detection algorithm. Our algorithm needs worst-case exponential time in the num...