Consistency Checking and Change Propagation Approaches . 42
Consistency Checking for Treebank Alignment
... We thus focus on detecting errors in the anno- tation of alignments. Annotation error detection has been explored for part-of-speech (POS) anno- tation (e.g., Loftsson, 2009) and syntactic anno- tation (e.g., Ule and ...
9
Consistency Checking for Treebank Alignment
... We thus focus on detecting errors in the anno- tation of alignments. Annotation error detection has been explored for part-of-speech (POS) anno- tation (e.g., Loftsson, 2009) and syntactic anno- tation (e.g., Ule and ...
9
Graphical Approach to PSIP Consistency Checking
... The DCCT contains a collection of directives asking receivers to change channels, either unconditionally or based on various geographic, demographic, or viewer preference factors. Each directive contains a dcc ...
8
Static consistency checking for distributed specifications
... these approaches and our ap- proach: Our constraints check if a set of data is consistent, whereas the approaches in the paper check if any instance of a schema graph will satisfy the ...to change ...
10
Consistency checking of financial derivatives transactions
... Any standard, no matter how well received, is destined to change over time. This is particularly so in the derivative market where traders invent new and more complicated financial products on a weekly basis. In ...
18
Implications of a Data Structure Consistency Checking System
... to approaches based purely on verification condition generation and interactive theorem proving, thanks to the use of decision pro- cedures and techniques for loop invariant ...analysis approaches verify ...
10
Comparative evaluation of change propagation approaches towards resilient software evolution
... the change propagation fits into an area of the software ...CP approaches have been widely studied under the umbrella term of impact analysis in software ...
7
Metamodel-based model conformance and multiview consistency checking
... multi-view consistency checking, is sufficient: a tradeoff between levels of automation and completeness will have to be ...that change to language specifications is inherent in the process, and that ...
50
An Ontology Based Requirement Rule Consistency Checking Framework
... II. R ULE A UTHORING S YSTEM I N A S EMANTIC W EB F RAMEWORK A. Motivation: A University scenario In order to illustrate how RECC manages the authoring cycle of knowledge rules, it has been integrated into university ...
7
OrionPlanning: Improving Modularization and Checking Consistency on Software Architecture
... Abstract—Many techniques have been proposed in the lit- erature to support architecture definition, conformance, and analysis. However, there is a lack of adoption of such techniques by the industry. Previous work have ...
5
Software Agent Architecture for Consistency Checking of Distributed Documents
... that consistency rules change much less frequently than the ...that change often and for which replication of updates to distributed domains proves ...a consistency check is started, ...
266
Architectural Consistency Checking in Plugin-Based Software Systems
... not be traced back to class dependencies. Hence, a class- based approach cannot detect these dependencies. To cir- cumvent this problem, it must be ensured that no manifest file contains unused dependencies. A further ...
7
RECURSIVE APPROACHES FOR ONLINE CONSISTENCY CHECKING AND O-D DEMAND UPDATING FOR REAL- TIME DYNAMIC TRAFFIC ASSIGNMENT OPERATION
... different consistency checking ...demand consistency checking ...demand consistency checking module is activated in this study, the system might attribute all the state ...
15
Semantic rule-checking for regulation compliance checking: an overview of strategies and approaches
... compliance checking procedures, because the additional logical basis would (1) allow consistency checking of the rules in the regulations (and thus a better management of the rules), (2) allow a ...
10
A Formalism for Checking Consistency of Component Based Real Time Systems
... of approaches have been ...model checking [15] and compositional verification [16, 17 and ...the checking of its components and each subtask verified independently on the equivalent ...
8
Inter level consistency checking between requirements and design artefacts
... metamodel in the case of the Forest model would require a more drastic change to the entire system, because only one metamodel is available. The Tracing Toolkit offers the possibilities to change the ...
161
Multi-Constellation GNSS Multipath Mitigation Using Consistency Checking
... satellites, those obtained using only the multipath-free signals should be in greater agreement than those that include multipath-contaminated and NLOS measurements. Thus these measurements may be identified through ...
14
Detecting Kernel Refcount Bugs with Two-Dimensional Consistency Checking
... the change of a refcount must equal the number of references escaped from the ...IPP) checking to detect refcount bugs. The IPP checking identifies the refcount inconsistency between the paths which ...
19
Study and Review of Selective Spell Checking Approaches
... probabilities for the applied rules for generating quality results. Edit distance can be viewed as a special case of a rule- based technique with limitation on the possible rules in this approach. N-gram-Based Techniques ...
8
A Study on Consistency Checking Method of Part-Of-Speech Tagging for Chinese Corpora
... approaches achieve a tagging precision of at least 95% [Zhang et al. 1998; Huang et al. 2004; Xue et al. 2002; Ng et al. 2004]. A vast proportion of the words appearing in Chinese corpora are multi-category words. ...
14