### Table 1. A model of software inconsistency.

"... In PAGE 3: ... This classification provides a foundation for seeking countermeasures for coping with these inconsistencies. Based on the above classification and definition, a model of software static and dynamic inconsistencies is developed in Table1 . In Table 1, detailed causes of inconsistencies are analysed and summarized.... ..."

### Table 2: Examples for inconsistencies in geodetic conventions, models and reference frames

### Table 1: Consistency checking for theorem provers and model builders

1999

"... In PAGE 10: ... Model building o ers a partial solution to this problem: as well as calling the theorem prover with input : , simultaneously call the model builder with input . In practice, this should successfully deal with many of the formulas the theorem prover can apos;t handle, as is shown in Table1 . Here the top row lists possible responses from the theorem prover to : , while the left hand column lists possible responses of the model builder to .... ..."

Cited by 16

### Table 8. Correlation of RC-ratios with model size, inconsistency and belief variability measures

"... In PAGE 24: ...riteria (i.e., Sb/Mb). The correlation coefficients calculated by this analysis are shown in Table8 . The most prominent result of this analysis was that the RC-ratios were found to be negatively correlated with the number of the inconsistencies (Ninc); the correlation coefficient between these measures Histogram 0 5 10 15 20 25 0 0 .... In PAGE 25: ... This expectation did not turn out to be correct. As shown in Table8 , the Sb/Mb ratio had only a very weak positive correlation with the size of the model: its correlation coefficient with the number of model classes (Nclasses) was 0.05 and its correlation coefficient with the number of model messages (Nmessages) was 0.... ..."

Cited by 1

### Table 3. General Linear Models for Predicting the Index of Inconsistency (Standard errors in parentheses)

"... In PAGE 11: ... The analysis in this paper is, therefore, restricted to the 37 7 categorical variables for which we have reliable behavior coding and reinterview data. Table3 shows the three models we used to test the predictive utility of the behavior... ..."

### Table 2: Log-posterior scores for the best possible con- figuration each model recovered in each condition. Model Tree-consistent Tree-inconsistent

2006

Cited by 1

### Table 1: Possible de nitions for bounded inconsistency.

"... In PAGE 10: ... As a consequence, the degree may be bounded either by limiting the number of weak writes pending commitment or by controlling the h function. In Table1 , we outline ways of de ning the bound on divergence along with methods of implementing them. 4 A Consistency Restoration Schema For each data item, after the execution of a number of weak and strict transactions all its core copies have the same value while its quasi copies may have as many di erent values as the number of clusters.... In PAGE 16: ... Resources include the network and the processing units. We generalize previous results to take into account (a) nonuniform access of data, that takes into consideration hotspots and the changing locality, (b) weak and strict transaction types, and (c) various forms of data access, as indicated by the compatibility matrix of Table1 . An innovative feature of the analysis is the employment of a vacation system to model disconnections of the wireless medium.... ..."

### Table 15: Inter-View Inconsistency Detection UML OSSD Class

2006

"... In PAGE 87: ... Consistency checking performed during the transformation to the OSSD Model detects the first two inconsistencies. The first inconsistency involving the weight sensor is detected via the IC_Rule1 (see Figure 29) and the Inter-View Inconsistency Table shown in Table15 in Chapter 5 Section 5.3.... ..."

### Table 4-3 compares the modelled changes since 1990 with the available historical data. For CFIT, actual historical rates of fatal accidents are available. For mid-air collisions, UK on AIRPROX Category A+B rates are used. The model agrees closely with both these results. For the other modelled categories, trend data is either unavailable or inconsistent. The small changes in the model results are consistent with a lack of significant trends in these categories.

2006

"... In PAGE 17: ...able 3-6: Causes of Ineffective ATC CFIT Warnings................................................................... 41 Table4 -1: Change in Fatal Accident Frequencies Since 1990 .... In PAGE 17: ...able 4-1: Change in Fatal Accident Frequencies Since 1990 ..................................................... 47 Table4 -2: Change in Collision Accident Frequencies Since 1990.... In PAGE 17: ...able 4-2: Change in Collision Accident Frequencies Since 1990................................................ 48 Table4 -3: Validation Against Trends in Fatal Accident Frequencies since 1990.... In PAGE 67: ... The individual changes are all described in full in Ref [2], together with their effects on accident frequencies. These are summarised in Table4 -1. Table 4-1: Change in Fatal Accident Frequencies Since 1990 ACCIDENT CATEGORY 2005 FATAL ACCIDENT FREQUENC Y (per flight) 1990 FATAL ACCIDENT FREQUENC Y (per flight) ACCIDENT FREQUENC Y RATIO 1990/2005 MODELLED ANNUAL REDUCTIO N RATE (%) Mid-air collision 5.... In PAGE 67: ... These are summarised in Table 4-1. Table4 -1: Change in Fatal Accident Frequencies Since 1990 ACCIDENT CATEGORY 2005 FATAL ACCIDENT FREQUENC Y (per flight) 1990 FATAL ACCIDENT FREQUENC Y (per flight) ACCIDENT FREQUENC Y RATIO 1990/2005 MODELLED ANNUAL REDUCTIO N RATE (%) Mid-air collision 5.... In PAGE 67: ...4% The model indicates that runway and taxiway collision frequencies (per flight) have increased very slightly since 1990, while the mid-air collision and CFIT frequencies have decreased significantly. The contributions of the various ATM changes to the modelled reduction in mid-air collision frequencies are shown in Table4 -2. The main contributors are ACAS, STCA and traffic synchronisation (i.... In PAGE 68: ...076/EEC/NB/05 - EEC Note No. 05/06 Table4 -2: Change in Collision Accident Frequencies Since 1990 ATM CHANGE CHANGE SINCE 1990 COLLISION FREQUENCY RATIO 1990/2005 Commercial traffic 70% increase 0.71 Military traffic 35% reduction 1.... In PAGE 68: ... The small changes in the model results are consistent with a lack of significant trends in these categories. Table4 -3: Validation Against Trends in Fatal Accident Frequencies since 1990 ACCIDENT CATEGORY MODELLED ANNUAL REDUCTION RATE (%) HISTORICA L ANNUAL REDUCTION RATE (%) Mid-air collision 9.3% 10% Runway collision -0.... In PAGE 75: ...0E-08 1990 1995 2000 2005 2010 2015 2020 AT M DI R E CT CAU SES O F I C AO - D EF I N ED ACC I DEN T S ( p e r fl ight h our ) ATM changes by 2012 ATM changes by 2020 No ATM changes ESARR4 target Figure 5-4: Comparison of IRP Predictions with ESARR4 Target The historical reduction in ATM direct causes of ICAO-defined accidents is much less than for collision frequencies overall in Figure 5-1. This is because the results are dominated by taxiway accidents (Table 3-2), which have only slightly changed since 1990 ( Table4 -1). Figure 5-4 indicates that the ESARR4 target will not be met by 2012, even if all the modelled ATM changes are implemented by then, although it might be met if improvements continued at a similar rate until 2015, which was the target horizon of ESARR4.... ..."