Modality inconsistency is one of the security policy evaluation challenges, which arises because of the existence of both positive and negative authorizations for a given subject-object pair. An inconsistency analysis model is needed to discover inconsistency based on the inheritance relationship between concepts and resolved it by using predefined resolution rules. Previous studies handle moda...

In this short note we prove a conjecture posed in Cui et al. (2012): Dynamic mean-variance problems in arbitrage-free, complete financial markets do not allow free cash flows. Moreover, we show by investigating a benchmark problem that this effect is due to the performance criterion and not due to the time inconsistency of the strategy.

We study the problem of analyzing inconsistency in a distributed information system where the reliability of the sources is taken into account. We model uncertainty by assigning a probability to each source. This yields a definition of the expected inconsistency of the system. We also extend this with the use of Shapley values for determining the responsibility of each formula to inconsistency....

We provide two approaches for explaining inconsistency in multi-context systems, where decentralized and heterogeneous system parts interact via nonmonotonic bridge rules. Inconsistencies arise easily in such scenarios, and nonmonotonicity calls for specific methods of inconsistency analysis. Both our approaches characterize inconsistency in terms of involved bridge rules: either by pointing ou...

We summarize the progress on epsilon-serializability (ESR), which is a generalization of serial-izability. ESR is the foundation of a generalized transaction processing system, allowing the application designers a ne-grained control in the trade-oo between limited inconsistency and increased performance and availability. The paper outlines ESR as correctness criterion, the algorithms supporting...

Meta-analyses that simultaneously compare multiple treatments (usually referred to as network meta-analyses or mixed treatment comparisons) are becoming increasingly common. An important component of a network meta-analysis is an assessment of the extent to which different sources of evidence are compatible, both substantively and statistically. A simple indirect comparison may be confounded if...

Measuring inconsistency is crucial to effective inconsistency management in software development. A complete measurement of inconsistency should focus on not only the degree but also the significance of inconsistency. However, most of the approaches available only take the degree of inconsistency into account. The significance of inconsistency has not yet been given much needed consideration. T...

Mixed Treatment Comparisons (MTCs) enable the simultaneous meta-analysis (data pooling) of networks of clinical trials comparing ≥ 2 alternative treatments. Inconsistency models are critical in MTC to assess the overall consistency between evidence sources. Only in the absence of considerable inconsistency can the results of an MTC (consistency) model be trusted. However, inconsistency model sp...