Sentence examples for inconsistency resolution from inspiring English sources

If safety and utility cannot be directly compared, how should one consider them in a policy set for inconsistency resolution?

In this paper, we aim for providing a formal examination of policy inconsistency resolution for safety and utility policies, which can help the policy administrators to specify reasonable access control policies when both safety and utility policies coexist.

In this section, we provide a formal examination of policy inconsistencies resolution for the coexistence of SSoD and SA policies.

In this work we provide a formal examination of policy inconsistencies resolution for the coexistence of static separation-of-duty (SSoD) policies and strict availability (SA) policies.

Given the results shown in Section 3, we define the following approach to policy inconsistencies resolution. 1. Removing SSoD and SA policies from our consideration which do not cause inconsistencies by static pruning.

In this paper, we provide a formal examination of policy inconsistencies resolution for safety and utility policies, especially for the coexistence of static separation-of-duty (SSoD) policies and strict availability (SA) policies.

To ensure making the correct decision in a timely manner for safety-critical applications, architectures using a state-based schedule require state inconsistency detection and resolution.

Evidence for isolation-by-distance in vent species has sometimes been ambiguous due to small sample sizes and inconsistency in the resolution of various genetic markers [ 21].

A significant advance for inconsistency checking and resolution was achieved by the use of a new Protégé add-in that presents precise explanations of entailments in OWL ontologies (Horridge, 2008).

The results presented in Figure 2 show an apparent inconsistency with high resolution X-ray structures of kirromycin- and GDPCP-stalled ribosomes containing bound EF-Tu, which display no significant differences in the distance of EF-Tu (position 348) to either L11 (position 87) or aa-tRNA (D loop).

Combining the molecular and stomach contents datasets required standardization of some prey categories owing to taxonomic resolution inconsistencies between methods.