BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
consistency
Google consistency

Tag #consistency

928 papers:

ASPLOSASPLOS-2020-ZhangBBBL #architecture #memory management #named
Peacenik: Architecture Support for Not Failing under Fail-Stop Memory Consistency (RZ, SB, VB, MDB, BL), pp. 317–333.
ICSAICSA-2019-WohlrabEPH #architecture #guidelines
Improving the Consistency and Usefulness of Architecture Descriptions: Guidelines for Architects (RW, UE, PP, RH), pp. 151–160.
ICPCICPC-2019-WenNBL #empirical #nondeterminism #scalability
A large-scale empirical study on code-comment inconsistencies (FW, CN0, GB, ML), pp. 53–64.
MSRMSR-2019-MarkovtsevLMSB #algorithm #named #nondeterminism
STYLE-ANALYZER: fixing code style inconsistencies with interpretable unsupervised algorithms (VM, WL, HM, KS, EB), pp. 468–478.
SANERSANER-2019-ChenBJLH #detection
Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers (QLC, JJB, ZMJ, JL, SMH0), pp. 366–376.
FMFM-2019-IroftiD #data flow #modelling
Local Consistency Check in Synchronous Dataflow Models (DI, PD), pp. 389–405.
IFM-2019-JanssenVT #refinement
Relating Alternating Relations for Conformance and Refinement (RJ, FWV, JT), pp. 246–264.
CIKMCIKM-2019-CaoZXPY #adaptation #classification #image #semantics
Adversarial Domain Adaptation with Semantic Consistency for Cross-Domain Image Classification (MC, XZ, YX, YP, BY), pp. 259–268.
ICMLICML-2019-Chen #analysis #bound #fault #kernel #nearest neighbour
Nearest Neighbor and Kernel Survival Analysis: Nonasymptotic Error Bounds and Strong Consistency Rates (GHC), pp. 1001–1010.
ICMLICML-2019-MakkuvaVKO #algorithm #performance
Breaking the gridlock in Mixture-of-Experts: Consistent and Efficient Algorithms (AVM, PV, SK, SO), pp. 4304–4313.
BXBX-2019-AnjorinYK #adaptation #runtime #user interface
Consistent Runtime Adaptation of User Interfaces (AA, EY, HK), pp. 61–65.
MoDELSMoDELS-2019-BurduselZ0 #automation #generative #search-based
Automatic Generation of Atomic Consistency Preserving Search Operators for Search-Based Model Engineering (AB, SZ, SJ0), pp. 106–116.
OOPSLAOOPSLA-2019-AbdullaAJLNS #equivalence #model checking
Optimal stateless model checking for reads-from equivalence under sequential consistency (PAA, MFA, BJ, ML, TPN, KS), p. 29.
OOPSLAOOPSLA-2019-BiswasE #complexity #on the #transaction
On the complexity of checking transactional consistency (RB, CE), p. 28.
OOPSLAOOPSLA-2019-RahmaniNDJ #database #generative #named #testing
CLOTHO: directed test generation for weakly consistent database systems (KR, KN, BD, SJ), p. 28.
PLDIPLDI-2019-Kokologiannakis #library #model checking
Model checking for weakly consistent libraries (MK, AR, VV), pp. 96–110.
PLDIPLDI-2019-LiuMM #compilation #java
Accelerating sequential consistency for Java with speculative compilation (LL, TDM, MM), pp. 16–30.
POPLPOPL-2019-RaadDRLV #concurrent #correctness #declarative #library #memory management #modelling #on the #specification #verification
On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models (AR, MD, LR, OL, VV), p. 31.
ASEASE-2019-SondhiP #named #nondeterminism #semantics #specification #string
SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs (DS, RP), pp. 200–212.
ICSE-2019-GhorbaniGM #architecture #detection #java #nondeterminism
Detection and repair of architectural inconsistencies in Java (NG, JG, SM), pp. 560–571.
ICSE-2019-Liu0BKKKKT #learning
Learning to spot and refactor inconsistent method names (KL0, DK0, TFB, TyK, KK, AK, SK, YLT), pp. 1–12.
SLESLE-2019-KhelladiKE #detection #nondeterminism
Detecting and exploring side effects when repairing model inconsistencies (DEK, RK, AE), pp. 113–126.
SLESLE-2019-WeidmannALS #graph grammar #linear #programming
Consistency management via a combination of triple graph grammars and linear programming (NW, AA, EL, AS), pp. 29–41.
ASPLOSASPLOS-2019-LustigSG #analysis #formal method #memory management
A Formal Analysis of the NVIDIA PTX Memory Consistency Model (DL, SS, OG), pp. 257–270.
CASECASE-2019-CaiGS #on the #reduction
On Consistent Reduction in Discrete-Event Systems (KC, AG, CS), pp. 474–479.
CAVCAV-2019-BiswasEE #complexity #data type #on the
On the Complexity of Checking Consistency for Replicated Data Types (RB, ME, CE), pp. 324–343.
CAVCAV-2019-ZennouBEE
Gradual Consistency Checking (RZ, AB, CE, ME), pp. 267–285.
ICSTICST-2019-Sondhi #documentation #implementation #nondeterminism #testing
Testing for Implicit Inconsistencies in Documentation and Implementation (DS), pp. 483–485.
ICSTICST-2019-VuottoNPT #automation #named #requirements
Poster: Automatic Consistency Checking of Requirements with ReqV (SV, MN, LP, AT), pp. 363–366.
ICTSSICTSS-2019-BombardaBGRDL #generative #protocol #refinement #state machine #testing #using
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines (AB, SB, AG, MR, FD, YL), pp. 67–85.
JCDLJCDL-2018-FerroSBDFGJJLMM #documentation #evaluation #multi
Evaluation of Conformance Checkers for Long-Term Preservation of Multimedia Documents (NF, GS, EB, BD, AF, MG, KJ, BJ, BL, JM, VM, SO, CP, DR, SRE, XT, EV, BY, CW), pp. 145–154.
CIKMCIKM-2018-0013H #interactive #learning #modelling #multi
Interactions Modeling in Multi-Task Multi-View Learning with Consistent Task Diversity (XL0, JH), pp. 853–861.
CIKMCIKM-2018-MedlarG #feedback #how #question
How Consistent is Relevance Feedback in Exploratory Search? (AM, DG), pp. 1615–1618.
CIKMCIKM-2018-RaffSN
Engineering a Simplified 0-Bit Consistent Weighted Sampling (ER, JS, CN), pp. 1203–1212.
CIKMCIKM-2018-RajpalP #nondeterminism #optimisation #sorting
Holistic Crowd-Powered Sorting via AID: Optimizing for Accuracies, Inconsistencies, and Difficulties (SR, AGP), pp. 1607–1610.
CIKMCIKM-2018-Xu0AWR #feature model #multi
Semi-Supervised Multi-Label Feature Selection by Preserving Feature-Label Space Consistency (YX, JW0, SA, JW, JR), pp. 783–792.
ICMLICML-2018-ChowNG #learning
Path Consistency Learning in Tsallis Entropy Regularized MDPs (YC, ON, MG), pp. 978–987.
ICMLICML-2018-Drutsa #algorithm
Weakly Consistent Optimal Pricing Algorithms in Repeated Posted-Price Auctions with Strategic Buyer (AD), pp. 1318–1327.
ICMLICML-2018-FathonyBZZ #performance
Efficient and Consistent Adversarial Bipartite Matching (RF, SB, XZ, BDZ), pp. 1456–1465.
ICPRICPR-2018-LiHLHS #generative #network
Global and Local Consistent Age Generative Adversarial Networks (PL, YH, QL0, RH, ZS), pp. 1073–1078.
ICPRICPR-2018-ZhangJ0QLY #robust
Robust Locality-Constrained Label Consistent K-SVD by Joint Sparse Embedding (ZZ0, WJ, SL0, JQ, GL, SY), pp. 1664–1669.
KDDKDD-2018-ChuHHWP #linear #network
Exact and Consistent Interpretation for Piecewise Linear Neural Networks: A Closed Form Solution (LC, XH, JH, LW, JP), pp. 1244–1253.
PADLPADL-2018-AnandCN #automation #detection #logic #nondeterminism #using
An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic (KA, PKC, RN), pp. 80–96.
PLDIPLDI-2018-BrutschyD0V #analysis
Static serializability analysis for causal consistency (LB, DD, PM0, MTV), pp. 90–104.
PLDIPLDI-2018-MilanoM #named #transaction
MixT: a language for mixing consistency in geodistributed transactions (MM, ACM), pp. 226–241.
PPDPPPDP-2018-AdelsbergerSW #declarative #user interface
Declarative GUIs: Simple, Consistent, and Verified (SA, AS, EW), p. 15.
ESEC-FSEESEC-FSE-2018-KateOZEX #detection #named #nondeterminism #physics #probability
Phys: probabilistic physical unit assignment and inconsistency detection (SK, JPO, XZ, SGE, ZX), pp. 563–573.
ICSE-2018-SemerathNV #automation #generative #graph #modelling
A graph solver for the automated generation of consistent domain-specific models (OS, ASN, DV), pp. 969–980.
CASECASE-2018-AnanievaBS #modelling
Model-Driven Consistency Preservation in AutomationML (SA, EB, CS), pp. 1536–1541.
CASECASE-2018-LuderPW #modelling
Modelling consistency rules within production system engeering (AL, JLP, MW), pp. 664–667.
CASECASE-2018-ZouLV #development #modelling #nondeterminism
Resolving Inconsistencies Optimally in the Model-Based Development of Production Systems (MZ, BL, BVH), pp. 1064–1070.
ESOPESOP-2018-JagadeesanR
Eventual Consistency for CRDTs (RJ, JR), pp. 968–995.
ESOPESOP-2018-RaadLV #on the #parallel
On Parallel Snapshot Isolation and Release/Acquire Consistency (AR, OL, VV), pp. 940–967.
ESOPESOP-2018-XieBO #type system
Consistent Subtyping for All (NX, XB, BCdSO), pp. 3–30.
CAVCAV-2018-EmmiE #monitoring
Monitoring Weak Consistency (ME, CE), pp. 487–506.
ICSTICST-2018-Suarez-Otero #analysis #logic
Analysis of the Logical Consistency in Cassandra (PSO), pp. 430–431.
ICTSSICTSS-2018-PetrenkoA #component #embedded #testing
Conformance Testing and Inference of Embedded Components (AP, FA), pp. 119–134.
ECSAECSA-2017-FilhoRAB #architecture #design #exception #using
Preventing Erosion in Exception Handling Design Using Static-Architecture Conformance Checking (JLMF, LSR, RMCA, RB), pp. 67–83.
ICSAICSA-2017-ZhengCA #architecture #product line #source code #traceability
Mapping Features to Source Code through Product Line Architecture: Traceability and Conformance (YZ, CC, HUA), pp. 225–234.
ICSMEICSME-2017-GuoWXL #adaptation #detection #named #nondeterminism #scheduling
GEAS: Generic Adaptive Scheduling for High-Efficiency Context Inconsistency Detection (BG, HW, CX0, JL0), pp. 137–147.
SCAMSCAM-2017-0008SMOBL #analysis #identifier #using
Investigating the Use of Code Analysis and NLP to Promote a Consistent Usage of Identifiers (BL0, SS, AM, RO, GB, ML), pp. 81–90.
IFM-2017-Wu #constraints #diagrams #named #uml
MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams (HW0), pp. 348–356.
ICMLICML-2017-DembczynskiKKN #analysis #classification #revisited
Consistency Analysis for Binary Classification Revisited (KD, WK, OK, NN), pp. 961–969.
ICMLICML-2017-HallakM #evaluation #online
Consistent On-Line Off-Policy Evaluation (AH, SM), pp. 1372–1383.
ICMLICML-2017-LattanziV #clustering
Consistent k-Clustering (SL, SV), pp. 1975–1984.
ECMFAECMFA-2017-KonigD #modelling #performance
Efficient Consistency Checking of Interrelated Models (HK, ZD), pp. 161–178.
ECMFAECMFA-2017-Sunye #collaboration #distributed #modelling
Model Consistency for Distributed Collaborative Modeling (GS), pp. 197–212.
ECMFAECMFA-2017-Wu #constraints #metamodelling
Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels (HW), pp. 179–196.
ECOOPECOOP-2017-KaiserDDLV #logic #memory management #reasoning
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (JOK, HHD, DD, OL, VV), p. 29.
ECOOPECOOP-2017-WilliamsMWZ #typescript
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (JW, JGM, PW, JZ), p. 29.
OOPSLAOOPSLA-2017-GomesKMB #distributed #verification
Verifying strong eventual consistency in distributed systems (VBFG, MK, DPM, ARB), p. 28.
PLDIPLDI-2017-LahavVKHD
Repairing sequential consistency in C/C++11 (OL, VV, JK, CKH, DD), pp. 618–632.
POPLPOPL-2017-AlglaveC #modelling #proving
Ogre and Pythia: an invariance proof method for weak consistency models (JA, PC), pp. 3–18.
POPLPOPL-2017-BouajjaniEGH #on the #verification
On verifying causal consistency (AB, CE, RG, JH), pp. 626–638.
POPLPOPL-2017-BrutschyD0V #analysis
Serializability for eventual consistency: criterion, analysis, and applications (LB, DD, PM0, MTV), pp. 458–472.
POPLPOPL-2017-WickersonBSC #automation #memory management #modelling
Automatically comparing memory consistency models (JW, MB, TS0, GAC), pp. 190–204.
PPDPPPDP-2017-MezzinaP #approach
Causally consistent reversible choreographies: a monitors-as-memories approach (CAM, JAP), pp. 127–138.
ASEASE-2017-FazziniO #automation #detection #mobile #nondeterminism #platform
Automated cross-platform inconsistency detection for mobile apps (MF, AO), pp. 308–318.
ASEASE-2017-OcarizaP0 #detection #nondeterminism #web
Detecting unknown inconsistencies in web applications (FSOJ, KP, AM0), pp. 566–577.
CASECASE-2017-ZouV #approach #automation #design #development #nondeterminism
Feature-based systematic approach development for inconsistency resolution in automated production system design (MZ, BVH), pp. 687–694.
ESOPESOP-2017-Kuncar0 #higher-order
Comprehending Isabelle/HOL's Consistency (OK, AP0), pp. 724–749.
FASEFASE-2017-LeblebiciAS #graph grammar #linear #optimisation #using
Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques (EL, AA, AS), pp. 191–207.
CADECADE-2017-0001SUP #detection #first-order #knowledge base #nondeterminism #scalability
Detecting Inconsistencies in Large First-Order Knowledge Bases (SS0, GS, JU, AP), pp. 310–325.
CAVCAV-2017-Vafeiadis #logic #memory management #using #verification
Program Verification Under Weak Memory Consistency Using Separation Logic (VV), pp. 30–46.
ECSAECSA-2016-SchenkhuizenWJC #approach #nondeterminism
Consistent Inconsistency Management: A Concern-Driven Approach (JS, JMEMvdW, SJ, LC), pp. 201–209.
WICSAWICSA-2016-NicolaescuL #architecture #behaviour #re-engineering
Behavior-Based Architecture Reconstruction and Conformance Checking (AN, HL), pp. 152–157.
ICSMEICSME-2016-DemuthKEM #automation #case study #experience #impact analysis #tool support #traceability
Introducing Traceability and Consistency Checking for Change Impact Analysis across Engineering Tools in an Automation Solution Company: An Experience Report (AD, RK, AE, DM), pp. 529–538.
SANERSANER-2016-0001AKP #empirical #fault #on the
On the Relationship of Inconsistent Software Clones and Faults: An Empirical Study (SW0, AA, KK, AP), pp. 79–89.
FSCDFSCD-2016-ArieliA #logic #nondeterminism #reasoning
Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency (OA, AA), p. 15.
IFM-2016-LutebergetJS #design #framework #rule-based
Rule-Based Consistency Checking of Railway Infrastructure Designs (BL, CJ, MS), pp. 491–507.
SEFMSEFM-2016-ZellerP #framework #information management #proving #towards
Towards a Proof Framework for Information Systems with Weak Consistency (PZ0, APH), pp. 277–283.
ICMLICML-2016-ZhangGR #feature model #on the
On the Consistency of Feature Selection With Lasso for Non-linear Targets (YZ, WG, SR), pp. 183–191.
ICPRICPR-2016-LoogY #empirical #learning #nondeterminism
An empirical investigation into the inconsistency of sequential active learning (ML, YY), pp. 210–215.
ICPRICPR-2016-Nilsson #learning #taxonomy
Sparse coding with unity range codes and label consistent discriminative dictionary learning (MN), pp. 3186–3191.
ICPRICPR-2016-SousaB #learning
Constrained Local and Global Consistency for semi-supervised learning (CARdS, GEAPAB), pp. 1689–1694.
ICPRICPR-2016-TakabeTKSMNY #detection #using
Moving object detection from a point cloud using photometric and depth consistencies (AT, HT, NK, TS, TM, SN, NY), pp. 561–566.
BXBX-2016-Leblebici #approach #grammarware #graph grammar #towards #traceability
Towards a Graph Grammar-Based Approach to Inter-Model Consistency Checks with Traceability Support (EL), pp. 35–39.
BXBX-2016-McKinna16a
Complements Witness Consistency (JM), pp. 90–94.
ECMFAECMFA-2016-KonigD #multi
Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling (HK, ZD), pp. 19–35.
POPLPOPL-2016-GotsmanYFNS #distributed #reasoning
'Cause I'm strong enough: reasoning about consistency choices in distributed systems (AG, HY, CF0, MN, MS0), pp. 371–384.
POPLPOPL-2016-LahavGV
Taming release-acquire consistency (OL, NG, VV), pp. 649–662.
POPLPOPL-2016-LesaniBC #distributed #named
Chapar: certified causally consistent distributed key-value stores (ML, CJB, AC), pp. 357–370.
SASSAS-2016-Alglave #simulation
Simulation and Invariance for Weak Consistency (JA), pp. 3–22.
ASEASE-2016-DemuthRE #detection #developer #multi #nondeterminism #performance
Efficient detection of inconsistencies in a multi-developer engineering environment (AD, MRE, AE), pp. 590–601.
FSEFSE-2016-JiangCQXML #validation
Crash consistency validation made easy (YJ, HC, FQ, CX, XM, JL), pp. 133–143.
SLESLE-2016-VoelterSLKEB #development #editing #performance #projectional #using
Efficient development of consistent projectional editors using grammar cells (MV, TS, SL, BK, SE, TB), pp. 28–40.
ASPLOSASPLOS-2016-MaoCXS #debugging #named
RID: Finding Reference Count Bugs with Inconsistent Path Pair Checking (JM, YC0, QX, YS), pp. 531–544.
CASECASE-2016-FeldmannWKV #approach #automation #nondeterminism
A comprehensive approach for managing inter-model inconsistencies in automated production systems engineering (SF, MW, KK, BVH), pp. 1120–1127.
ICSTICST-2016-ArcainiGV #automation #detection #fault #feature model #modelling
Automatic Detection and Removal of Conformance Faults in Feature Models (PA, AG, PV), pp. 102–112.
ICTSSICTSS-2016-Bochmann #partial order #specification #testing
Conformance Testing with Respect to Partial-Order Specifications (GvB), pp. 3–17.
CBSECBSE-2015-KramerLMSB #architecture #component #contract #modelling
Change-Driven Consistency for Component Code, Architectural Models, and Contracts (MEK, ML, DM, SS, EB), pp. 21–26.
QoSAQoSA-2015-Kramer #approach #generative #modelling #multi
A Generative Approach to Change-Driven Consistency in Multi-View Modeling (MEK), pp. 129–134.
WICSAWICSA-2015-CaraccioloLN #approach #architecture
A Unified Approach to Architecture Conformance Checking (AC, MFL, ON), pp. 41–50.
JCDLJCDL-2015-OrganisciakD #crowdsourcing #evaluation #multi #similarity
Improving Consistency of Crowdsourced Multimedia Similarity for Evaluation (PO, JSD), pp. 115–118.
PODSPODS-2015-KoutrisW #complexity #constraints #query #self
The Data Complexity of Consistent Query Answering for Self-Join-Free Conjunctive Queries Under Primary Key Constraints (PK, JW), pp. 17–29.
VLDBVLDB-2015-FanRMGW #comprehension
Understanding the Causes of Consistency Anomalies in Apache Cassandra (HF, AR, MM, WMG, BW), pp. 810–821.
EDMEDM-2015-Garcia-SaizZ #detection #performance
Detection of Learners with a Performance Inconsistent with Their Effort (DGS, MEZ), pp. 606–607.
ICPCICPC-2015-DeissenboeckP #years after
Concise and consistent naming: ten years later (FD, MP), p. 3.
MSRMSR-2015-WuMKGI #detection #nondeterminism #open source #scalability
A Method to Detect License Inconsistencies in Large-Scale Open Source Projects (YW, YM, TK, DMG, KI), pp. 324–333.
SANERSANER-2015-PeteB #difference #evolution #framework
Handling the differential evolution of software artefacts: A framework for consistency management (IP, DB), pp. 599–600.
ICALPICALP-v2-2015-JagadeesanR #specification
From Sequential Specifications to Eventual Consistency (RJ, JR), pp. 247–259.
TLCATLCA-2015-EscardoX #nondeterminism
The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation (MHE, CX), pp. 153–164.
AIIDEAIIDE-2015-SarrattJ #coordination
Tuning Belief Revision for Coordination with Inconsistent Teammates (TS, AJ), pp. 177–183.
CHI-PLAYCHI-PLAY-2015-Barbara #game studies #generative
Generating Consistent Game Levels (JB), pp. 451–456.
ICEISICEIS-v2-2015-CostaMAO #automation #detection #named #nondeterminism
Fixture — A Tool for Automatic Inconsistencies Detection in Context-aware SPL (PAdSC, FGM, RMdCA, TO), pp. 114–125.
CIKMCIKM-2015-JiangLLC #knowledge base #ranking #web
Improving Ranking Consistency for Web Search by Leveraging a Knowledge Base and Search Logs (JYJ, JL0, CYL, PJC), pp. 1441–1450.
CIKMCIKM-2015-MazumderMP #identification #twitter
Identifying Top-k Consistent News-Casters on Twitter (SM, SM, DP), pp. 1875–1878.
CIKMCIKM-2015-YeZMJZ #approach #learning #multi #privacy #rank
Rank Consistency based Multi-View Learning: A Privacy-Preserving Approach (HJY, DCZ, YM, YJ0, ZHZ), pp. 991–1000.
ICMLICML-2015-BounliphoneGTB #dependence
A low variance consistent test of relative dependency (WB, AG, AT, MBB), pp. 20–29.
ICMLICML-2015-DingZSMM
Yinyang K-Means: A Drop-In Replacement of the Classic K-Means with Consistent Speedup (YD, YZ, XS, MM, TM), pp. 579–587.
ICMLICML-2015-HanXA #estimation #modelling #multi
Consistent estimation of dynamic and multi-layer block models (QH, KSX, EA), pp. 1511–1520.
ICMLICML-2015-NarasimhanRS0 #algorithm #metric #multi #performance
Consistent Multiclass Algorithms for Complex Performance Measures (HN, HGR, AS, SA), pp. 2398–2407.
KDDKDD-2015-LeeWK #constraints #difference #privacy
Maximum Likelihood Postprocessing for Differential Privacy under Consistency Constraints (JL, YW, DK), pp. 635–644.
KDDKDD-2015-Li
0-Bit Consistent Weighted Sampling (PL), pp. 665–674.
KDDKDD-2015-ZhangTYPY #named #network #social
COSNET: Connecting Heterogeneous Social Networks with Local and Global Consistency (YZ, JT, ZY, JP, PSY), pp. 1485–1494.
ECMFAECMFA-J-2012-PuissantSM15 #automation #nondeterminism #using
Resolving model inconsistencies using automated regression planning (JPP, RVDS, TM), pp. 461–481.
MoDELSMoDELS-2015-KuselEKRSS #co-evolution #modelling
Consistent co-evolution of models and transformations (AK, JE, EK, WR, WS, JS), pp. 116–125.
PLDIPLDI-2015-Sivaramakrishnan #declarative #programming
Declarative programming over eventually consistent data stores (KCS, GK, SJ), pp. 413–424.
ESEC-FSEESEC-FSE-2015-BehrangCO #nondeterminism
Users beware: preference inconsistencies ahead (FB, MBC, AO), pp. 295–306.
ICSEICSE-v1-2015-OcarizaP0 #detection #javascript #mvc #nondeterminism
Detecting Inconsistencies in JavaScript MVC Applications (FSOJ, KP, AM), pp. 325–335.
ICSEICSE-v1-2015-PradelSS #analysis #javascript #named #nondeterminism
TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript (MP, PS, KS), pp. 314–324.
ICSEICSE-v2-2015-McCarthyRS #comprehension #named
Bixie: Finding and Understanding Inconsistent Code (TM, PR, MS), pp. 645–648.
SACSAC-2015-CalvagnaFT #case study #combinator #effectiveness #random #testing
Random versus combinatorial effectiveness in software conformance testing: a case study (AC, AF, ET), pp. 1797–1802.
SACSAC-2015-Gregorio-Rodriguez #simulation
Extending mCRL2 with ready simulation and iocos input-output conformance simulation (CGR, LL, RMT), pp. 1781–1788.
SACSAC-2015-KhelladiBBLG #framework #process #verification
A framework to formally verify conformance of a software process to a software method (DEK, RB, SB, YL, MPG), pp. 1518–1525.
CASECASE-2015-FeldmannHKWKQLK #case study #comparison #design #nondeterminism #using
A comparison of inconsistency management approaches using a mechatronic manufacturing system design case study (SF, SJIH, KK, TW, DK, AQ, UL, HK, CJJP, BVH), pp. 158–165.
DATEDATE-2015-YanCC #natural language #specification
Formal consistency checking over specifications in natural languages (RY, CHC, YC), pp. 1677–1682.
HPDCHPDC-2015-WangZQLMR #distributed #scalability #towards
Towards Scalable Distributed Workload Manager with Monitoring-Based Weakly Consistent Resource Stealing (KW, XZ, KQ, ML, BM, IR), pp. 219–222.
SOSPSOSP-2015-DragojevicNNRSB #distributed #performance #transaction
No compromises: distributed transactions with consistency, availability, and performance (AD, DN, EBN, MR, AS, AB, MC), pp. 54–70.
SOSPSOSP-2015-LuVAHSTKL #comprehension #facebook
Existential consistency: measuring and understanding consistency at Facebook (HL, KV, PA, JH, YJS, WT, SK, WL), pp. 295–310.
SOSPSOSP-2015-ZhangSSKP #replication #transaction
Building consistent transactions with inconsistent replication (IZ, NKS, AS, AK, DRKP), pp. 263–278.
ESOPESOP-2015-SieczkowskiSBP #logic
A Separation Logic for Fictional Sequential Consistency (FS, KS, LB, JPP), pp. 736–761.
STOCSTOC-2015-MosselNS
Consistency Thresholds for the Planted Bisection Model (EM, JN, AS), pp. 69–75.
CAVCAV-2015-DeshmukhMP #metric #using
Quantifying Conformance Using the Skorokhod Metric (JVD, RM, VSP), pp. 234–250.
ICLPICLP-2015-Wang #nondeterminism #probability #programming #set
Handling Probability and Inconsistency in Answer Set Programming (YW), pp. 319–329.
ICLPICLP-J-2015-MannaRT #query #scalability
Taming primary key violations to query large inconsistent data via ASP (MM, FR, GT), pp. 696–710.
TAPTAP-2015-GogollaHHS #case study #experience #ocl #uml
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study (MG, LH, FH, MS), pp. 129–136.
ECSAECSA-2014-HeroldM #architecture #recommendation #refactoring
Recommending Refactorings to Re-establish Architectural Consistency (SH, MM), pp. 390–397.
ECSAECSA-2014-SurajbaliGC #architecture #configuration management #framework
A Consistency Framework for Dynamic Reconfiguration in AO-Middleware Architectures (BS, PG, GC), pp. 398–405.
QoSAQoSA-2014-OlssonTWE #architecture #evaluation #game studies
Evaluation of a static architectural conformance checking method in a line of computer games (TO, DT, AW, ME), pp. 113–118.
WICSAWICSA-2014-BaresiGM #evolution #process #runtime
Consistent Runtime Evolution of Service-Based Business Processes (LB, SG, VPLM), pp. 77–86.
WICSAWICSA-2014-DamRE #architecture #modelling #nondeterminism
Inconsistency Resolution in Merging Versions of Architectural Models (HKD, AR, AE), pp. 153–162.
WICSAWICSA-2014-WeinreichB #architecture #automation
Automatic Reference Architecture Conformance Checking for SOA-Based Software Systems (RW, GB), pp. 95–104.
PODSPODS-2014-FaginKRV #information management #nondeterminism
Cleaning inconsistencies in information extraction via prioritized repairs (RF, BK, FR, SV), pp. 164–175.
VLDBVLDB-2014-GrecoPW #database #query
Certain Query Answering in Partially Consistent Databases (SG, FP, JW), pp. 353–364.
ICALPICALP-v2-2014-JagadeesanR
Between Linearizability and Quiescent Consistency — Quantitative Quiescent Consistency (RJ, JR), pp. 220–231.
FMFM-2014-ArenisWDMA #industrial #standard #verification
The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification (SFA, BW, DD, MM, ASA), pp. 658–672.
FMFM-2014-DerrickDSTTW #verification
Quiescent Consistency: Defining and Verifying Relaxed Linearizability (JD, BD, GS, BT, OT, HW), pp. 200–214.
SEFMSEFM-2014-GrovO #analysis #formal method #multi
Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis (JG, PCÖ), pp. 159–174.
SEFMSEFM-2014-KeshishzadehM #domain-specific language #formal method #reasoning #semantics #testing
Formalizing DSL Semantics for Reasoning and Conformance Testing (SK, AJM), pp. 81–95.
CHI-PLAYCHI-PLAY-2014-SaveryG #game studies #nondeterminism
Reducing the negative effects of inconsistencies in networked games (CS, TCNG), pp. 237–246.
CSCWCSCW-2014-SaveryGGB #experience #game studies #maintenance #performance
The effects of consistency maintenance methods on player experience and performance in networked games (CS, TCNG, CG, MB), pp. 1344–1355.
ICEISICEIS-v2-2014-MerouaniMS #approach #formal method #process #testing #towards
Formalizing Artifact-Centric Business Processes — Towards a Conformance Testing Approach (HM, FM, HSB), pp. 368–374.
ICEISICEIS-v3-2014-PutterRS #enterprise #testing
Testing Conformance of EJB 3 Enterprise Application Servers (SdP, SAR, AS), pp. 272–279.
CIKMCIKM-2014-JonesTMSS #comprehension #evaluation #matter #nondeterminism
Size and Source Matter: Understanding Inconsistencies in Test Collection-Based Evaluation (TJ, AT, SM, FS, MS), pp. 1843–1846.
CIKMCIKM-2014-WuL #evolution #ontology #towards
Towards Consistency Checking over Evolving Ontologies (JW, FL), pp. 909–918.
ICMLICML-c1-2014-ChanA #graph #modelling
A Consistent Histogram Estimator for Exchangeable Graph Models (SHC, EA), pp. 208–216.
ICMLICML-c1-2014-KhaleghiR #estimation
Asymptotically consistent estimation of the number of change points in highly dependent time series (AK, DR), pp. 539–547.
ICMLICML-c2-2014-HonorioJ #framework
A Unified Framework for Consistency of Regularized Loss Minimizers (JH, TSJ), pp. 136–144.
ICMLICML-c2-2014-KpotufeSJS
Consistency of Causal Inference under the Additive Noise Model (SK, ES, DJ, BS), pp. 478–486.
ICMLICML-c2-2014-WuCLY #behaviour #learning #network #predict #social
Learning the Consistent Behavior of Common Users for Target Node Prediction across Social Networks (SHW, HHC, KHL, PSY), pp. 298–306.
ICPRICPR-2014-GongWLT #video
Temporal Consistency Based Method for Blind Video Deblurring (WG, WW, WL, ST), pp. 861–864.
ICPRICPR-2014-MiyanS #image #using
Finding Corresponding Patches in Texture Images Using Tensor Consistency Check (SBM, JS), pp. 4021–4026.
ICPRICPR-2014-WangSWB
Label Consistent Fisher Vectors for Supervised Feature Aggregation (QW, XS, MW, KLB), pp. 3588–3593.
ICPRICPR-2014-YangLLZ #geometry #image #rank
Low Rank Global Geometric Consistency for Partial-Duplicate Image Search (LY, YL, ZL, HZ), pp. 3939–3944.
ICPRICPR-2014-ZambaniniKK #evaluation #geometry
Classifying Ancient Coins by Local Feature Matching and Pairwise Geometric Consistency Evaluation (SZ, AK, MK), pp. 3032–3037.
KDIRKDIR-2014-AzadM #classification #fault #heuristic
“Misclassification Error” Greedy Heuristic to Construct Decision Trees for Inconsistent Decision Tables (MA, MJM), pp. 184–191.
KMISKMIS-2014-WoitB #collaboration #development #process #programming
Commitment and Consistency in the Collaborative Software Development Process of Extreme Programming (DMW, KJB), pp. 375–381.
KRKR-2014-Potyka #linear #logic #nondeterminism #probability #source code
Linear Programs for Measuring Inconsistency in Probabilistic Logics (NP).
MLDMMLDM-2014-SchraagenK #graph #using
Record Linkage Using Graph Consistency (MS, WAK), pp. 471–483.
SEKESEKE-2014-ChenX #automation #mobile #towards #web
Towards Automatic Consistency Checking between Web Application and its Mobile Application (XC, ZX), pp. 53–58.
SEKESEKE-2014-GuimaraesSALC #alloy #using #verification
A Method for Verifying the Consistency of Business Rules Using Alloy (DG, EAS, AJA, PL, ALC), pp. 381–386.
SPLCSPLC-2014-QuintonPBDB #evolution #feature model #modelling
Consistency checking for the evolution of cardinality-based feature models (CQ, AP, DLB, LD, GB), pp. 122–131.
OOPSLAOOPSLA-2014-ChakrabartiBB #memory management #named
Atlas: leveraging locks for non-volatile memory consistency (DRC, HJB, KB), pp. 433–452.
OOPSLAOOPSLA-2014-VoraKG #algorithm #named #parallel #using
ASPIRE: exploiting asynchronous parallelism in iterative algorithms using a relaxed consistency based DSM (KV, SCK, RG), pp. 861–878.
POPLPOPL-2014-BouajjaniEH #replication #verification
Verifying eventual consistency of optimistic replication systems (AB, CE, JH), pp. 285–296.
POPLPOPL-2014-ChaudhuriFK #analysis #source code
Consistency analysis of decision-making programs (SC, AF, ZK), pp. 555–568.
ASEASE-2014-BurgDMDGH #nondeterminism #process
Tracing software build processes to uncover license compliance inconsistencies (SvdB, ED, SM, JD, DMG, AH), pp. 731–742.
ASEASE-2014-HigoK #named #nondeterminism #source code
MPAnalyzer: a tool for finding unintended inconsistencies in program source code (YH, SK), pp. 843–846.
ICSEICSE-2014-RempelMKC #guidelines #traceability
Mind the gap: assessing the conformance of software traceability to relevant guidelines (PR, PM, TK, JCH), pp. 943–954.
SACSAC-2014-BeoharM #testing
Input-output conformance testing based on featured transition systems (HB, MRM), pp. 1272–1278.
SACSAC-2014-MolkaRDCZG #modelling #process
Conformance checking for BPMN-based process models (TM, DR, MD, AC, XJZ, WG), pp. 1406–1413.
SACSAC-2014-WatanabeGF #navigation
Keyboard navigation mechanisms in tab widgets: an investigation on ARIA’s conformance (WMW, RJG, RPdMF), pp. 721–726.
HPCAHPCA-2014-ElverN #named
TSO-CC: Consistency directed cache coherence for TSO (ME, VN), pp. 165–176.
HPCAHPCA-2014-HechtmanCHTBHRW #approach #named
QuickRelease: A throughput-oriented approach to release consistency on GPUs (BAH, SC, DRH, YT, BMB, MDH, SKR, DAW), pp. 189–200.
HPCAHPCA-2014-LiuXGZC #concurrent #hardware #memory management #transaction #virtual machine
Concurrent and consistent virtual machine introspection with hardware transactional memory (YL, YX, HG, BZ, HC), pp. 416–427.
FASEFASE-2014-Stevens #bidirectional #nondeterminism
Bidirectionally Tolerating Inconsistency: Partial Transformations (PS), pp. 32–46.
ICLPICLP-J-2014-DuckHS #confluence #on the #termination #type inference
On Termination, Confluence and Consistent CHR-based Type Inference (GJD, RH, MS), pp. 619–632.
ICLPICLP-J-2014-MarpleG #programming #set
Dynamic Consistency Checking in Goal-Directed Answer Set Programming (KM, GG), pp. 415–427.
ISSTAISSTA-2014-ChoudharyPO14a #detection #named #nondeterminism #testing #web
X-PERT: a web application testing tool for cross-browser inconsistency detection (SRC, MRP, AO), pp. 417–420.
ECSAECSA-2013-BuchgeherW #analysis #architecture #towards
Towards Continuous Reference Architecture Conformance Analysis (GB, RW), pp. 332–335.
ECSAECSA-2013-DimechB #approach #architecture #development #maintenance
Maintaining Architectural Conformance during Software Development: A Practical Approach (CD, DB), pp. 208–223.
ECSAECSA-2013-LytraTZ #architecture #component #design #modelling #reuse
Supporting Consistency between Architectural Design Decisions and Component Models through Reusable Architectural Knowledge Transformations (IL, HT, UZ), pp. 224–239.
ECSAECSA-2013-SilvaB #architecture #automation #named
PANDArch: A Pluggable Automated Non-intrusive Dynamic Architecture Conformance Checker (LdS, DB), pp. 240–248.
ICDARICDAR-2013-LiPXW #analysis #online #order #verification
A Stroke Order Verification Method for On-Line Handwritten Chinese Characters Based on Tempo-spatial Consistency Analysis (RL, LP, EX, NW), pp. 999–1003.
ICDARICDAR-2013-PhamDBR #geometry #locality #performance #robust
Robust Symbol Localization Based on Junction Features and Efficient Geometry Consistency Checking (TAP, MD, SB, JYR), pp. 1083–1087.
ICDARICDAR-2013-YinZWL #recognition
Style Consistent Perturbation for Handwritten Chinese Character Recognition (FY, MKZ, QFW, CLL), pp. 1051–1055.
SIGMODSIGMOD-2013-BailisGHS
Bolt-on causal consistency (PB, AG, JMH, IS), pp. 761–772.
SIGMODSIGMOD-2013-BailisVFHS #data transformation #metric
PBS at work: advancing data management with consistency metrics (PB, SV, MJF, JMH, IS), pp. 1113–1116.
SIGMODSIGMOD-2013-BernsteinD
Rethinking eventual consistency (PAB, SD), pp. 923–928.
VLDBVLDB-2013-KolaitisPT #database #integer #performance #programming #query
Efficient Querying of Inconsistent Databases with Binary Integer Programming (PGK, EP, WCT), pp. 397–408.
CHICHI-2013-LeeH #online
Does slacktivism hurt activism?: the effects of moral balancing and consistency in online activism (YHL, GH), pp. 811–820.
CHICHI-2013-ScarrCGM #interface #performance #robust #testing
Testing the robustness and performance of spatially consistent interfaces (JS, AC, CG, SM), pp. 3139–3148.
CSCWCSCW-2013-HuangF #evaluation #reliability #using
Enhancing reliability using peer consistency evaluation in human computation (SWH, WTF), pp. 639–648.
HCIHIMI-LCCB-2013-ShiTS #nondeterminism #online #recommendation
Timing and Basis of Online Product Recommendation: The Preference Inconsistency Paradox (AS, CHT, CLS), pp. 531–539.
EDOCEDOC-2013-HeroldMRS #architecture #case study
Checking Conformance with Reference Architectures: A Case Study (SH, MM, AR, IS), pp. 71–80.
EDOCEDOC-2013-NagelGEP #modelling #process
Ensuring Consistency among Business Goals and Business Process Models (BN, CG, GE, JP), pp. 17–26.
ECIRECIR-2013-MetrikovPA #nondeterminism #optimisation
Optimizing nDCG Gains by Minimizing Effect of Label Inconsistency (PM, VP, JAA), pp. 760–763.
ICMLICML-c3-2013-DenilMF #online #random
Consistency of Online Random Forests (MD, DM, NdF), pp. 1256–1264.
ICMLICML-c3-2013-LongS #classification #multi
Consistency versus Realizable H-Consistency for Multiclass Classification (PML, RAS), pp. 801–809.
ICMLICML-c3-2013-MenonNAC #algorithm #classification #on the #statistics
On the Statistical Consistency of Algorithms for Binary Classification under Class Imbalance (AKM, HN, SA, SC), pp. 603–611.
ICMTICMT-2013-HildebrandtLG #automation #graph grammar #implementation #specification #testing
Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations (SH, LL, HG), pp. 174–188.
RERE-2013-NistalaK #analysis #approach #requirements #validation
An approach to carry out consistency analysis on requirements: Validating and tracking requirements through a configuration structure (PN, PK), pp. 320–325.
ASEASE-2013-RayKPR #detection #nondeterminism #semantics
Detecting and characterizing semantic inconsistencies in ported code (BR, MK, SP, NR), pp. 367–377.
ESEC-FSEESEC-FSE-2013-AroraSBZG #automation #flexibility #named
RUBRIC: a flexible tool for automated checking of conformance to requirement boilerplates (CA, MS, LCB, FZ, RG), pp. 599–602.
ESEC-FSEESEC-FSE-2013-SchafSW
Explaining inconsistent code (MS, DSN, TW), pp. 521–531.
ICSEICSE-2013-BuckleyMRA #architecture #named
JITTAC: a just-in-time tool for architectural consistency (JB, SM, JR, NA), pp. 1291–1294.
ICSEICSE-2013-FemmerGLM #case study #detection #nondeterminism
Detecting inconsistencies in wrappers: a case study (HF, DG, ML, DM), pp. 1022–1031.
SACSAC-2013-AnconaBM #dynamic analysis #multi #protocol
Constrained global types for dynamic checking of protocol conformance in multi-agent systems (DA, MB, VM), pp. 1377–1379.
SACSAC-2013-GiustoP #adaptation #runtime
Disciplined structured communications with consistent runtime adaptation (CDG, JAP), pp. 1913–1918.
SACSAC-2013-MaalejKJ #composition #named #testing
WSCCT: a tool for WS-BPEL compositions conformance testing (AJM, MK, MJ), pp. 1055–1061.
SACSAC-2013-NguyenSB
Dynamic virtual arc consistency (HN, TS, CB), pp. 98–103.
ASPLOSASPLOS-2013-QianTSQ #detection #named #precise #scalability
Volition: scalable and precise sequential consistency violation detection (XQ, JT, BS, DQ), pp. 535–548.
DACDAC-2013-LeiXC #prototype
Post-silicon conformance checking with virtual prototypes (LL, FX, KC), p. 6.
DATEDATE-2013-FreitasRS #concurrent #memory management #on the fly #verification
On-the-fly verification of memory consistency with concurrent relaxed scoreboards (LSF, EAR, LCVdS), pp. 631–636.
ISMMISMM-2013-Musuvathi #approach #memory management #modelling
Safety-first approach to memory consistency models (MM), pp. 1–2.
PDPPDP-2013-Atoofian #predict
Consistency Check through O-GEHL Predictors (EA), pp. 218–224.
SOSPSOSP-2013-ChidambaramPAA
Optimistic crash consistency (VC, TSP, ACAD, RHAD), pp. 228–243.
ICTSSICTSS-2013-FariaPC #diagrams #sequence chart #testing #tool support #uml
Techniques and Toolset for Conformance Testing against UML Sequence Diagrams (JPF, ACRP, MVdC), pp. 180–195.
ICTSSICTSS-2013-LeonHL #concurrent #testing
Unfolding-Based Test Selection for Concurrent Conformance (HPdL, SH, DL), pp. 98–113.
LICSLICS-2013-Fontaine #query #question #why
Why is it Hard to Obtain a Dichotomy for Consistent Query Answering? (GF), pp. 550–559.
CBSECBSE-2012-GhafariJSH #approach #architecture #component #configuration management
An architectural approach to ensure globally consistent dynamic reconfiguration of component-based systems (MG, PJ, SS, HH), pp. 177–182.
QoSAQoSA-2012-DajsurenBSH #architecture #case study #multi
Automotive ADLS: a study on enforcing consistency through multiple architectural levels (YD, MvdB, AS, RH), pp. 71–80.
SIGMODSIGMOD-2012-ZellagK #detection #named #realtime
ConsAD: a real-time consistency anomalies detector (KZ, BK), pp. 641–644.
ITiCSEITiCSE-2012-Johnson #automation #generative #interface #named #testing
SpecCheck: automated generation of tests for interface conformance (CJ), pp. 186–191.
WCREWCRE-J-2009-BettenburgSIAZH12 #empirical
An empirical study on inconsistent changes to code clones at the release level (NB, WS, WMI, BA, YZ, AEH), pp. 760–776.
CSMRCSMR-2012-LytraTZ #architecture #component #constraints #design #evolution #modelling
Constraint-Based Consistency Checking between Design Decisions and Component Models for Supporting Software Architecture Evolution (IL, HT, UZ), pp. 287–296.
ICSMEICSM-2012-HigoK #detection #how #nondeterminism
How often do unintended inconsistencies happen? Deriving modification patterns and detecting overlooked code fragments (YH, SK), pp. 222–231.
CSCWCSCW-2012-PentlandHK #distance #distributed
Awareness as an antidote to distance: making distributed groups cooperative and consistent (AP, PH, TK), pp. 1237–1246.
ICEISICEIS-v3-2012-BauerEFH #analysis #process
Resource-oriented Consistency Analysis of Engineering Processes (BB, TE, CF, BH), pp. 206–211.
ICMLICML-2012-DembczynskiKH #multi #ranking
Consistent Multilabel Ranking through Univariate Losses (KD, WK, EH), p. 175.
ICMLICML-2012-KolarX
Consistent Covariance Selection From Data With Missing Values (MK, EPX), p. 85.
ICPRICPR-2012-DeyG #behaviour #topic #twitter
Discovering regular and consistent behavioral patterns in topical tweeting (LD, BG), pp. 3464–3467.
ICPRICPR-2012-KanekoSOFS #process #recognition
Consistent collective activity recognition with fully connected CRFs (TK, MS, SO, RF, TS), pp. 2792–2795.
ICPRICPR-2012-XiaoZZ #ranking #retrieval
Spatial consistency based selective reranking for content based object retrieval (TX, CZ, HZ), pp. 417–420.
SEKESEKE-2012-SalamahEO #automaton #ltl #using
Consistency Checks of System Properties Using LTL and Büchi Automata (SS, ME, OO), pp. 39–44.
ECMFAECMFA-2012-PuissantSM #design #named #nondeterminism
Badger: A Regression Planner to Resolve Design Model Inconsistencies (JPP, RVDS, TM), pp. 146–161.
MODELSMoDELS-2012-FariasGL #aspect-oriented #detection #empirical #nondeterminism
Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment (KF, AG, CJPdL), pp. 219–234.
MODELSMoDELS-2012-RederE #design #incremental
Incremental Consistency Checking for Complex Design Rules and Larger Model Changes (AR, AE), pp. 202–218.
MODELSMoDELS-2012-VierhauserGHHL #framework #industrial #modelling #product line
Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines (MV, PG, WH, GH, DL), pp. 531–545.
PLEASEPLEASE-2012-BoffoliCCV #flexibility #process #product line
Driving flexibility and consistency of business processes by means of product-line engineering and decision tables (NB, DC, DC, GV), pp. 33–36.
SPLCSPLC-2012-NohrerBE #comparison #nondeterminism
A comparison of strategies for tolerating inconsistencies during decision-making (AN, AB, AE), pp. 11–20.
ECOOPECOOP-2012-BurckhardtFLW
Cloud Types for Eventual Consistency (SB, MF, DL, BPW), pp. 283–307.
RERE-2012-GreenyerSCH #performance #product line #specification
Efficient consistency checking of scenario-based product-line specifications (JG, AMS, MC, PH), pp. 161–170.
ASEASE-2012-KamalrudinGH #multi #named #requirements #tool support
MaramaAI: tool support for capturing and managing consistency of multi-lingual requirements (MK, JG, JGH), pp. 326–329.
ASEASE-2012-RederE #design #modelling #nondeterminism
Computing repair trees for resolving inconsistencies in design models (AR, AE), pp. 220–229.
ICSEICSE-2012-PradelJAG #api #multi #protocol #specification
Statically checking API protocol conformance with mined multi-object specifications (MP, CJ, JA, TRG), pp. 925–935.
ICSEICSE-2012-ZhengT #architecture #behaviour #implementation
Enhancing architecture-implementation conformance with change management and support for behavioral mapping (YZ, RNT), pp. 628–638.
SACSAC-2012-AccorsiS #mining #on the #process #security
On the exploitation of process mining for security audits: the conformance checking case (RA, TS), pp. 1709–1716.
SACSAC-2012-BenreguiaK #graph #morphism #problem
A consistency rule for graph isomorphism problem (BB, HK), pp. 906–911.
SACSAC-2012-NguyenPZ #testing
Passive conformance testing of service choreographies (HNN, PP, FZ), pp. 1528–1535.
ASPLOSASPLOS-2012-LinNGR #performance
Efficient sequential consistency via conflict ordering (CL, VN, RG, BR), pp. 273–286.
DACDAC-2012-HuangCBK #embedded #realtime #runtime
Conforming the runtime inputs for hard real-time embedded systems (KH, GC, CB, AK), pp. 430–436.
DATEDATE-2012-RamboHS #memory management #multi #on the #verification
On ESL verification of memory consistency for system-on-chip multiprocessing (EAR, OPH, LCVdS), pp. 9–14.
DATEDATE-2012-WilleSD #debugging #modelling #ocl #uml
Debugging of inconsistent UML/OCL models (RW, MS, RD), pp. 1078–1083.
LCTESLCTES-2012-YuYWCC #parallel #source code
Symbolic consistency checking of OpenMp parallel programs (FY, SCY, FW, GCC, CCC), pp. 139–148.
OSDIOSDI-2012-LiPCGPR #performance
Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary (CL, DP, AC, JG, NMP, RR), pp. 265–278.
ESOPESOP-2012-BurckhardtLFS #transaction
Eventually Consistent Transactions (SB, DL, MF, MS), pp. 67–86.
FASEFASE-2012-Aalst #distributed #process
Distributed Process Discovery and Conformance Checking (WMPvdA), pp. 1–25.
FASEFASE-2012-FiadeiroL #composition
Consistency of Service Composition (JLF, AL), pp. 63–77.
CSLCSL-2012-CarraroS #equation #formal method #modelling #on the #λ-calculus
On the equational consistency of order-theoretic models of the λ-calculus (AC, AS), pp. 152–166.
ICSTICST-2012-FrankeKWP #lifecycle #mobile #testing
Testing Conformance of Life Cycle Dependent Properties of Mobile Applications (DF, SK, CW, NP), pp. 241–250.
ICSTICST-2012-TanMTL #detection #nondeterminism #testing
@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies (SHT, DM, LT, GTL), pp. 260–269.
ICTSSICTSS-2012-BannourEGG #generative #modelling #testing
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing (BB, JPE, CG, PLG), pp. 119–135.
ISSTAISSTA-2012-AlkhalafCFBOK #analysis #difference #named #nondeterminism #string #validation
ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies (MA, SRC, MF, TB, AO, CK), pp. 56–66.
ISSTAISSTA-2012-TombF #analysis #detection #nondeterminism #reachability
Detecting inconsistencies via universal reachability analysis (AT, CF), pp. 287–297.
TAPTAP-2012-KiniryZH #library #specification #testing #verification
Testing Library Specifications by Verifying Conformance Tests (JRK, DMZ, RH), pp. 51–66.
TAPTAP-2012-LeonHL
Conformance Relations for Labeled Event Structures (HPdL, SH, DL), pp. 83–98.
ECSAECSA-2011-AdersbergerP #architecture #named #traceability #uml
ReflexML: UML-Based Architecture-to-Code Traceability and Consistency Checking (JA, MP), pp. 344–359.
SIGMODSIGMOD-2011-CaoSSYDGW #algorithm #performance
Fast checkpoint recovery algorithms for frequently consistent applications (TC, MAVS, BS, YY, AJD, JG, WMW), pp. 265–276.
SIGMODSIGMOD-2011-DingWHL #optimisation
Differentially private data cubes: optimizing noise sources and consistency (BD, MW, JH, ZL), pp. 217–228.
VLDBVLDB-2011-MorfoniosCGBDDW
Consistent Synchronization Schemes for Workload Replay (KM, RC, LG, SB, BD, KD, YW), pp. 1225–1236.
VLDBVLDB-2011-RaoST #scalability #using
Using Paxos to Build a Scalable, Consistent, and Highly Available Datastore (JR, EJS, ST), pp. 243–254.
CSMRCSMR-2011-Lopez-HerrejonE #composition #multi #named #variability
C2MV2: Consistency and Composition for Managing Variability in Multi-view Systems (RELH, AE), pp. 347–350.
ICSMEICSM-2011-BrunetGF #design #evaluation #testing #usability
Structural conformance checking with design tests: An evaluation of usability and calability (JB, DSG, JCAdF), pp. 143–152.
SEFMSEFM-2011-NorooziKMW #testing
Synchronizing Asynchronous Conformance Testing (NN, RK, MRM, TACW), pp. 334–349.
AGTIVEAGTIVE-2011-HildebrandtLGPR #automation #graph grammar #implementation #testing
Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations (SH, LL, HG, DP, IR), pp. 238–253.
AGTIVEAGTIVE-2011-MantzJT #concept #evolution #graph transformation #metamodelling #migration
Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration (FM, SJ, GT), pp. 3–18.
CSCWCSCW-2011-AlvesF #adaptation #chat #multi #named #performance #requirements #scalability
ReConMUC: adaptable consistency requirements for efficient large-scale multi-user chat (PA, PF), pp. 553–562.
EDOCEDOC-2011-AdriansyahDA #cost analysis #using
Conformance Checking Using Cost-Based Fitness Analysis (AA, BFvD, WMPvdA), pp. 55–64.
EDOCEDOC-2011-DahmanCG #development #towards
Towards Consistency Management for a Business-Driven Development of SOA (KD, FC, CG), pp. 267–275.
ICEISICEIS-J-2011-PereiraBOM #process #set
A Set of Well-Formedness Rules to Checking the Consistency of the Software Processes Based on SPEM 2.0 (EBP, RMB, TCO, MCM), pp. 284–299.
ICEISICEIS-v3-2011-PereiraBMO #process
Improving the Consistency of SPEM-based Software Processes (EBP, RMB, MdCM, TCdO), pp. 76–86.
CIKMCIKM-2011-LianLC #database #low cost #probability
Cost-efficient repair in inconsistent probabilistic databases (XL, YL, LC), pp. 1731–1736.
KDIRKDIR-2011-DeruyverH #approach #graph #image #information management #semantics
Semantic Graphs and Arc Consistency Checking — The Renewal of an Old Approach for Information Extraction from Images (AD, YH), pp. 515–522.
KEODKEOD-2011-GerberGM #ambiguity #development #ontology #standard #using
Using Formal Ontologies for the Development of Consistent and Unambiguous Financial Accounting Standards (MCG, AG, AvdM), pp. 419–424.
SEKESEKE-2011-Amasaki #case study #estimation #linear #nondeterminism #performance
A Study on Performance Inconsistency between Estimation by Analogy and Linear Regression (SA), pp. 485–488.
SEKESEKE-2011-GeigerSW #automation #towards
Towards Automated Conformance Checking of ebBP-ST Choreographies and Corresponding WS-BPEL Based Orchestrations (MG, AS, GW), pp. 566–571.
SEKESEKE-2011-LemosSLO #development #mining #process
Conformance Checking of Software Development Processes Through Process Mining (AML, CCS, RMFL, CALO), pp. 654–659.
SIGIRSIGIR-2011-ScholerTS #quality
Quantifying test collection quality based on the consistency of relevance judgements (FS, AT, MS), pp. 1063–1072.
BXBX-2011-Boronat #detection #maude #modelling #nondeterminism #specification #using
Inconsistency detection and resolution in heterogenous model-based specifications using Maude (AB), p. 53.
ECMFAECMFA-2011-NoirDESB #case study #detection #experience #nondeterminism #representation
Operation Based Model Representation: Experiences on Inconsistency Detection (JLN, OD, DE, MAAdS, XB), pp. 85–96.
ECMFAECMFA-2011-StraetenPM #nondeterminism
Assessing the Kodkod Model Finder for Resolving Model Inconsistencies (RVDS, JPP, TM), pp. 69–84.
ICMTICMT-2011-EgyedDGLMNR #co-evolution #model transformation
Fine-Tuning Model Transformation: Change Propagation in Context of Consistency, Completeness, and Human Guidance (AE, AD, AG, RELH, PM, AN, AR), pp. 1–14.
MODELSMoDELS-2011-MaozRR #analysis #configuration management #diagrams #semantics
Semantically Configurable Consistency Analysis for Class and Object Diagrams (SM, JOR, BR), pp. 153–167.
MODELSMoDELS-2011-MoffettBD #model checking #protocol #uml #using #verification
Verifying UML-RT Protocol Conformance Using Model Checking (YM, AB, JD), pp. 410–424.
ASEASE-2011-Li #natural language #requirements #towards
Toward consistency checking of natural language temporal requirements (WL), pp. 651–655.
ESEC-FSEESEC-FSE-2011-DemuthLE #flexibility #modelling #multi
Cross-layer modeler: a tool for flexible multilevel modeling with consistency checking (AD, RELH, AE), pp. 452–455.
ESEC-FSEESEC-FSE-2011-DriscollBR
Checking conformance of a producer and a consumer (ED, AB, TWR), pp. 113–123.
ICSEICSE-2011-GenevesL #detection #ide #xml
Inconsistent path detection for XML IDEs (PG, NL), pp. 983–985.
ICSEICSE-2011-NohrerRE #effectiveness #nondeterminism
Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution (AN, AR, AE), pp. 864–867.
ICSEICSE-2011-Reder #development #framework #modelling #nondeterminism
Inconsistency management framework for model-based development (AR), pp. 1098–1101.
ASPLOSASPLOS-2011-DeviettiNBCG #named
RCDC: a relaxed consistency deterministic computer (JD, JN, TB, LC, DG), pp. 67–78.
DACDAC-2011-Mador-HaimAM #how #memory management #modelling #question #testing
Litmus tests for comparing memory consistency models: how long do they need to be? (SMH, RA, MMKM), pp. 504–509.
PPoPPPPoPP-2011-RoyHH #memory management
Weak atomicity under the x86 memory consistency model (AR, SH, TLH), pp. 291–292.
SOSPSOSP-2011-CalderWONSMXSWSHUKEBMAAHHBDAMSMR
Windows Azure Storage: a highly available cloud storage service with strong consistency (BC, JW, AO, NN, AS, SM, YX, SS, JW, HS, JH, CU, HK, AE, VB, SM, RA, AA, MFuH, MIuH, DB, SD, AA, MM, SS, KM, LR), pp. 143–157.
SOSPSOSP-2011-GlendenningBKA #scalability
Scalable consistency in Scatter (LG, IB, AK, TEA), pp. 15–28.
SOSPSOSP-2011-LloydFKA #scalability
Don’t settle for eventual: scalable causal consistency for wide-area storage with COPS (WL, MJF, MK, DGA), pp. 401–416.
FASEFASE-2011-ErmelGLT #behaviour #control flow #functional #modelling
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior (CE, JG, LL, GT), pp. 156–170.
TACASTACAS-2011-BurnimSS #memory management #modelling #monitoring
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models (JB, KS, CS), pp. 11–25.
CSLCSL-2011-Kopczynski #question
Trees in Trees: Is the Incomplete Information about a Tree Consistent? (EK), pp. 367–380.
ICLPICLP-2011-Bottalico #hybrid #simulation
Consistency Techniques for Hybrid Simulations (MB), pp. 255–260.
ICSTICST-2011-DanH #sequence chart #testing
Conformance Testing from Message Sequence Charts (HD, RMH), pp. 279–288.
ICSTICST-2011-SaifanDBP #implementation #mobile #runtime
Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems (AAS, JD, JSB, EP), pp. 269–278.
ICTSSICTSS-2011-CavalcantiGH #csp #distributed #testing
Conformance Relations for Distributed Testing Based on CSP (AC, MCG, RMH), pp. 48–63.
TAPTAP-2011-BentakoukPZ #behaviour #smt #testing #web #web service
Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver (LB, PP, FZ), pp. 33–50.
CBSECBSE-2010-AllierSSV #component #execution #object-oriented #using
Restructuring Object-Oriented Applications into Component-Oriented Applications by Using Consistency with Execution Traces (SA, HAS, SS, SV), pp. 216–231.
ECSAECSA-2010-KacemKD #adaptation #approach #formal method #self
A Formal Approach to Enforcing Consistency in Self-adaptive Systems (NHK, AHK, KD), pp. 279–294.
PODSPODS-2010-GrecoS #algorithm #power of
The power of tree projections: local consistency, greedy algorithms, and larger islands of tractability (GG, FS), pp. 327–338.
SIGMODSIGMOD-2010-LianCS #database #probability #query
Consistent query answers in inconsistent probabilistic databases (XL, LC, SS), pp. 303–314.
VLDBVLDB-2010-HayRMS
Boosting the Accuracy of Differentially Private Histograms Through Consistency (MH, VR, GM, DS), pp. 1021–1032.
VLDBVLDB-2010-NeumannW #database #named #performance #query #rdf
x-RDF-3X: Fast Querying, High Update Rates, and Consistency for RDF Databases (TN, GW), pp. 256–263.
ICSMEICSM-2010-CeccatoT #legacy #migration #static analysis #thread
Static analysis for enforcing intra-thread consistent locks in the migration of a legacy system (MC, PT), pp. 1–9.
WCREWCRE-2010-Bittencourt #evolution
Conformance Checking during Software Evolution (RAB), pp. 289–292.
LATALATA-2010-FlorencioF #approach #bound
Finding Consistent Categorial Grammars of Bounded Value: A Parameterized Approach (CCF, HF), pp. 202–213.
AIIDEAIIDE-2010-ThueBSW
Socially Consistent Characters in Player-Specific Stories (DT, VB, MS, MW).
CHICHI-2010-KapteinNM #analysis
Powerful and consistent analysis of likert-type ratingscales (MCK, CN, PM), pp. 2391–2394.
SOFTVISSOFTVIS-2010-ThorsenW #comprehension #interactive #memory management #visualisation
Understanding relaxed memory consistency through interactive visualization (ØT, CW), pp. 223–224.
CAiSECAiSE-2010-SilvaMBB #automation #design #modelling #nondeterminism #towards
Towards Automated Inconsistency Handling in Design Models (MAAdS, AM, XB, RB), pp. 348–362.
ECIRECIR-2010-RudinacLH #query #retrieval
Exploiting Result Consistency to Select Query Expansions for Spoken Content Retrieval (SR, ML, AH), pp. 645–648.
ICMLICML-2010-DuchiMJ #algorithm #on the #ranking
On the Consistency of Ranking Algorithms (JCD, LWM, MIJ), pp. 327–334.
ICPRICPR-2010-JainO #graph
Consistent Estimator of Median and Mean Graph (BJJ, KO), pp. 1032–1035.
ICPRICPR-2010-Mattoccia
Accurate Dense Stereo by Constraining Local Consistency on Superpixels (SM), pp. 1832–1835.
KRKR-2010-EiterFSW #multi #nondeterminism
Finding Explanations of Inconsistency in Multi-Context Systems (TE, MF, PS, AW).
KRKR-2010-GebserGISSTV #biology #network #nondeterminism #predict #programming #scalability #set
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming (MG, CG, MI, TS, AS, ST, PV).
KRKR-2010-XiaoLMQ #metric #multi #nondeterminism #satisfiability #semantics
Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers (GX, ZL, YM, GQ).
SEKESEKE-2010-Nehmer #approach #exception
A Log-Assisted Approach Enforcing Consistency in the Presence of Exceptions (NN), pp. 757–764.
SIGIRSIGIR-2010-MojdehC #learning #using
Semi-supervised spam filtering using aggressive consistency learning (MM, GVC), pp. 751–752.
ECMFAECMFA-2010-Lopez-HerrejonE #detection #modelling #multi #nondeterminism #variability
Detecting Inconsistencies in Multi-View Models with Variability (RELH, AE), pp. 217–232.
MODELSMoDELS-v1-2010-NoyritGTS #modelling #multi #uml #using
Consistent Modeling Using Multiple UML Profiles (FN, SG, FT, BS), pp. 392–406.
MODELSMoDELS-v1-2010-RahimW #code generation #semantics #state machine #verification
Verifying Semantic Conformance of State Machine-to-Java Code Generators (LAR, JW), pp. 166–180.
MODELSMoDELS-v1-2010-SchwarzlP #analysis #modelling #uml
Static- and Dynamic Consistency Analysis of UML State Chart Models (CS, BP), pp. 151–165.
MODELSMoDELS-v1-2010-WangXHZZM #approach #feature model #modelling
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models (BW, YX, ZH, HZ, WZ, HM), pp. 181–195.
MODELSMoDELS-v2-2010-GroherE
Selective and Consistent Undoing of Model Changes (IG, AE), pp. 123–137.
SPLCSPLC-2010-ElsnerULS #bound #product line
Consistent Product Line Configuration across File Type and Product Line Boundaries (CE, PU, DL, WSP), pp. 181–195.
SPLCSPLC-2010-GuoW #evolution #feature model #modelling #towards
Towards Consistent Evolution of Feature Models (JG, YW), pp. 451–455.
OOPSLAOOPSLA-2010-GabelYYGS #detection #nondeterminism #scalability #source code
Scalable and systematic detection of buggy inconsistencies in source code (MG, JY, YY, MG, ZS), pp. 175–190.
RERE-2010-JuretaBEM #generative #modelling #named #nondeterminism #requirements #towards
Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling (IJ, AB, NAE, JM), pp. 115–124.
RERE-2010-KamalrudinHG #approach #automation #named #nondeterminism #requirements #visual notation
MaramaAI: Automated and Visual Approach for Inconsistency Checking of Requirements (MK, JGH, JCG), pp. 393–394.
REFSQREFSQ-2010-SikoraDP #abstraction #multi #specification
Supporting the Consistent Specification of Scenarios across Multiple Abstraction Levels (ES, MD, KP), pp. 45–59.
ASEASE-2010-VierhauserGERH #flexibility #modelling #product line #scalability #variability
Flexible and scalable consistency checking on product line variability models (MV, PG, AE, RR, WH), pp. 63–72.
ICSEICSE-2010-DeissenboeckHHJ #architecture #assessment #flexibility
Flexible architecture conformance assessment with ConQAT (FD, LH, BH, EJ), pp. 247–250.
ICSEICSE-2010-Marinho #modelling #ocl #product line #using
A proposal for consistency checking in dynamic software product line models using OCL (FGM), pp. 333–334.
SACSAC-2010-CostaMB #database #distributed #mobile #protocol
A distributed protocol for ensuring replicated database consistency in mobile computing environments (AC, JMM, AB), pp. 1688–1693.
SACSAC-2010-GoldsztejnG #adaptation
Box consistency through adaptive shaving (AG, FG), pp. 2049–2054.
SACSAC-2010-KarakashianWCB #constraints #relational
Relational consistency by constraint filtering (SK, RJW, BYC, CB), pp. 2073–2074.
SACSAC-2010-LiuHLW #migration #network #virtual machine
Network state consistency of virtual machine in live migration (XL, JH, QL, TW), pp. 727–728.
SACSAC-2010-TeikenBA #constraints #health
Interchangeable consistency constraints for public health care systems (YT, SB, HJA), pp. 1411–1416.
SACSAC-2010-VermolenHL #modelling #proving #using
Proving consistency of VDM models using HOL (SV, JH, PGL), pp. 2503–2510.
SACSAC-2010-ZhouCS #linear #source code
Reparameterization based consistent graph-structured linear programs (HZ, QC, ZS), pp. 974–978.
ASPLOSASPLOS-2010-RomanescuLS #memory management #specification #verification
Specifying and dynamically verifying address translation-aware memory consistency (BFR, ARL, DJS), pp. 323–334.
CASECASE-2010-AllenT #detection #fault #industrial #nondeterminism
Event-based fault detection of manufacturing cell: Data inconsistencies between academic assumptions and industry practice (LVA, DMT), pp. 426–432.
DACDAC-2010-CochranR #detection #predict #runtime
Consistent runtime thermal prediction and control through workload phase detection (RC, SR), pp. 62–67.
OSDIOSDI-2010-PortsCZML #automation #transaction
Transactional Consistency and Automatic Management in an Application Data Cache (DRKP, ATC, IZ, SM, BL), pp. 279–292.
FASEFASE-2010-DarvasM #proving #using
Proving Consistency and Completeness of Model Classes Using Theory Interpretation (ÁD, PM), pp. 218–232.
FASEFASE-2010-GroherRE #constraints #incremental
Incremental Consistency Checking of Dynamic Constraints (IG, AR, AE), pp. 203–217.
CAVCAV-2010-Mador-HaimAM #generative #memory management #modelling #testing
Generating Litmus Tests for Contrasting Memory Consistency Models (SMH, RA, MMKM), pp. 273–287.
ICSTICST-2010-JobstlWAW #execution #smt #symbolic computation #testing
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving (EJ, MW, BKA, FW), pp. 479–488.
CBSECBSE-2009-KiniryF #design #documentation #implementation #specification
Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations (JRK, FF), pp. 242–261.
QoSAQoSA-2009-BiehlL #architecture #automation #development #modelling
Automated Architecture Consistency Checking for Model Driven Software Development (MB, WL), pp. 36–51.
DocEngDocEng-2009-VallePC #documentation #geometry #retrieval
Geometric consistency checking for local-descriptor based document retrieval (EV, DP, MC), pp. 135–138.
ICDARICDAR-2009-KimRLK #recognition
Utilizing Consistency Context for Handwritten Mathematical Expression Recognition (KK, THR, JSL, JHK), pp. 1051–1055.
VLDBVLDB-2009-KaushikS
Consistent Histograms In The Presence of Distinct Value Counts (RK, DS), pp. 850–861.
VLDBVLDB-2009-KraskaHAK #in the cloud #matter
Consistency Rationing in the Cloud: Pay only when it matters (TK, MH, GA, DK), pp. 253–264.
EDMEDM-2009-HershkovitzN #learning #online #student
Consistency of Students’ Pace in Online Learning (AH, RN), pp. 71–80.
EDMEDM-2009-MadhyasthaT #assessment #feedback #online #student
Student Consistency and Implications for Feedback in Online Assessment Systems (TMM, SLT), pp. 81–90.
WCREWCRE-1999-BettenburgSIAZH99a #empirical
An Empirical Study on Inconsistent Changes to Code Clones at Release Level (NB, WS, WMI, BA, YZ, AEH), pp. 85–94.
LATALATA-2009-BertrandPR #refinement #specification
Refinement and Consistency of Timed Modal Specifications (NB, SP, JBR), pp. 152–163.
CEFPCEFP-2009-KoopmanPA #effectiveness #semantics
An Effective Methodology for Defining Consistent Semantics of Complex Systems (PWMK, RP, PA), pp. 224–267.
CHICHI-2009-Guiard #design #distance #problem
The problem of consistency in the design of Fitts’ law experiments: consider either target distance and width or movement form and scale (YG), pp. 1809–1818.
HCIHCD-2009-KimY #design #interactive #multi
A Method for Consistent Design of User Interaction with Multifunction Devices (DSK, WCY), pp. 202–211.
HCIHCI-NT-2009-RajK #agile #design pattern #interactive #library #mobile #named #process #user interface
RUCID: Rapid Usable Consistent Interaction Design Patterns-Based Mobile Phone UI Design Library, Process and Tool (AR, VK), pp. 677–686.
HCIOCSC-2009-GaoDF #visualisation
Improving Personal Tagging Consistency through Visualization of Tag Relevancy (QG, YD, KF), pp. 326–335.
CAiSECAiSE-2009-BlancMMM #detection #incremental #nondeterminism
Incremental Detection of Model Inconsistencies Based on Model Operations (XB, AM, IM, TM), pp. 32–46.
ICEISICEIS-ISAS-2009-HidalgoGT #data type #detection #nondeterminism #performance
Efficient Data Structures for Local Inconsistency Detection in Firewall ACL Updates (SPH, RMG, FTdlR), pp. 176–181.
CIKMCIKM-2009-HolzeGR #classification #online
Consistent on-line classification of dbs workload events (MH, CG, NR), pp. 1641–1644.
CIKMCIKM-2009-MaYKL #collaboration #matrix #statistics
Semi-nonnegative matrix factorization with global statistical consistency for collaborative filtering (HM, HY, IK, MRL), pp. 767–776.
ICMLICML-2009-CaiWH #data analysis #probability
Probabilistic dyadic data analysis with local and global consistency (DC, XW, XH), pp. 105–112.
ICMLICML-2009-RoyLW #learning #modelling #probability #visual notation
Learning structurally consistent undirected probabilistic graphical models (SR, TL, MWW), pp. 905–912.
KDIRKDIR-2009-DuarteDRF #clustering #using
Cluster Ensemble Selection — Using Average Cluster Consistency (FJFD, JMMD, FR, ALNF), pp. 85–95.
KEODKEOD-2009-SassiJG09a #formal method #maintenance #ontology
Z-based Formalization of Kits of Changes to Maintain Ontology Consistency (NS, WJ, FG), pp. 388–391.
SEKESEKE-2009-HendersonH #architecture #collaboration #development #nondeterminism
Collaborative Development of System Architecture — a Tool for Coping with Inconsistency (PH, MJH), pp. 520–525.
SEKESEKE-2009-LiYJQG #behaviour #named #testing #web #web service
WSTester: Testing Web Service for Behavior Conformance (BL, LY, SJ, DQ, XG), pp. 456–459.
SEKESEKE-2009-ShinS #configuration management #self
Consistency in Self-Reconfiguration of Self-Healing Systems (MES, KGRS), pp. 10–15.
SEKESEKE-2009-Zhang #development #nondeterminism
Taming Inconsistency in Value-based Software Development (DZ), pp. 450–455.
ECMFAECMDA-FA-2009-ChenM #guidelines #uml
A Language-Theoretic View on Guidelines and Consistency Rules of UML (ZC, GM), pp. 66–81.
MODELSMoDELS-2009-WolfeGP #algorithm #incremental #runtime
An Incremental Algorithm for High-Performance Runtime Model Consistency (CW, TCNG, WGP), pp. 357–371.
MODELSMoDELS-2009-WolfeGP #algorithm #incremental #runtime
An Incremental Algorithm for High-Performance Runtime Model Consistency (CW, TCNG, WGP), pp. 357–371.
OOPSLAOOPSLA-2009-Abi-AntounA #analysis #architecture #runtime #using
Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations (MAA, JA), pp. 321–340.
PADLPADL-2009-TranNPS #declarative #performance #specification #static analysis
Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications (DVT, HKN, EP, TCS), pp. 239–253.
PEPMPEPM-2009-SalamaMTGO #dependent type #using
Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions (CS, GM, WT, JG, JO), pp. 121–130.
PPDPPPDP-2009-GuoZS #named
L2C2: logic-based LSC consistency checking (HFG, WZ, MS), pp. 183–194.
REFSQREFSQ-2009-PerrouinBBT #detection #modelling #nondeterminism #perspective #requirements
Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective (GP, EB, BB, YLT), pp. 89–103.
ASEASE-2009-Kamalrudin #automation #nondeterminism #requirements #tool support
Automated Software Tool Support for Checking the Inconsistency of Requirements (MK), pp. 693–697.
ASEASE-2009-RoseKPP #automation #metamodelling #nondeterminism
Enhanced Automation for Managing Model and Metamodel Inconsistency (LMR, DSK, RFP, FACP), pp. 545–549.
ESEC-FSEESEC-FSE-2009-XiongHZSTM #automation #nondeterminism
Supporting automatic model inconsistency fixing (YX, ZH, HZ, HS, MT, HM), pp. 315–324.
SACSAC-2009-CavalliMO #approach #protocol #testing
A passive conformance testing approach for a MANET routing protocol (ARC, SM, EMdO), pp. 207–211.
SACSAC-2009-YipH #bound #constraints
Length-lex bound consistency for knapsack constraints (JY, PVH), pp. 1397–1401.
SACSAC-2009-Yu #distributed #process
Consistent and decentralized orchestration of BPEL processes (WY), pp. 1583–1584.
CGOCGO-2009-DuanFWZY #c #c++ #concurrent #detection #source code
Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs (YD, XF, LW, CZ, PCY), pp. 25–34.
HPCAHPCA-2009-ChenLHCSWP #memory management #performance #verification
Fast complete memory consistency verification (YC, YL, WH, TC, HS, PW, HP), pp. 381–392.
PDPPDP-2009-ThieboltOM #performance #workflow
VisageFS Translucent Directories: Efficient Posix Consistencies for Wide-Area Workflows (FT, AO, AM), pp. 36–43.
FASEFASE-2009-LeinoM #proving
Proving Consistency of Pure Methods and Model Fields (KRML, RM), pp. 231–245.
CSLCSL-2009-AtseriasW #constraints #decidability #problem
Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems (AA, MW), pp. 102–116.
MBTMBT-2009-AichernigBW #hybrid #modelling #reasoning #testing
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models (BKA, HB, FW), pp. 53–69.
TAPTAP-2009-GogollaKH #independence #modelling #ocl #uml
Consistency, Independence and Consequences in UML and OCL Models (MG, MK, LH), pp. 90–104.
FATESTestCom-FATES-2009-EscobedoGGC #composition #testing #web #web service
Observability and Controllability Issues in Conformance Testing of Web Service Compositions (JPE, CG, PLG, ARC), pp. 217–222.
FATESTestCom-FATES-2009-WangYXZGWLGZL #mobile #network #testing
TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks (ZW, XY, YX, RZ, SG, XW, SL, SG, LZ, PL), pp. 163–178.
FATESTestCom-FATES-2009-ZeissG #nondeterminism #testing
Analyzing Response Inconsistencies in Test Suites (BZ, JG), pp. 195–210.
CBSECBSE-2008-BothZ #automation #component #parallel #protocol #recursion
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems (AB, WZ), pp. 163–179.
WICSAWICSA-2008-RadjenovicP #architecture #dependence
The Role of Dependency Links in Ensuring Architectural View Consistency (AR, RFP), pp. 199–208.
WCREWCRE-2008-KuhnLN #layout
Consistent Layout for Thematic Software Maps (AK, PL, ON), pp. 209–218.
FMFM-2008-HarhurinH #product line #specification #towards
Towards Consistent Specifications of Product Families (AH, JH), pp. 390–405.
ICGTICGT-2008-Aalst #verification #workflow
Discovery, Verification and Conformance of Workflows with Cancellation (WMPvdA), pp. 18–37.
ICEISICEIS-ISAS2-2008-FahadQN #fault #nondeterminism #ontology
Ontological Errors — Inconsistency, Incompleteness and Redundancy (MF, MAQ, MWN), pp. 253–285.
ICEISICEIS-ISAS2-2008-Shinkawa #modelling #process #sequence #uml
Evaluating Consistency between UML Activity and Sequence Models (YS), pp. 282–289.
ICEISICEIS-ISAS2-2008-TakakiSTIT #diagrams #quality #workflow
Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency (OT, TS, IT, NI, KT), pp. 351–359.
ICMLICML-2008-Bach08a #estimation #named
Bolasso: model consistent Lasso estimation through the bootstrap (FRB), pp. 33–40.
ICMLICML-2008-ColemanSW #clustering
Spectral clustering with inconsistent advice (TC, JS, AW), pp. 152–159.
ICPRICPR-2008-Brandt #geometry #performance
Consistent and efficient sampler for geometric computation (SSB), pp. 1–4.
ICPRICPR-2008-GrumB #3d #image #modelling #multi
Enforcing image consistency in multiple 3-D object modelling (MG, AGB), pp. 1–4.
ICPRICPR-2008-GuiHY #learning
An improvement on learning with local and global consistency (JG, DSH, ZY), pp. 1–4.
ICPRICPR-2008-KimS #detection #sequence #using #video
Static text region detection in video sequences using color and orientation consistencies (DK, KS), pp. 1–4.
ICPRICPR-2008-ShidaraKN #classification
Classification by bagged consistent itemset rules (YS, MK, AN), pp. 1–4.
KRKR-2008-BinasM #peer-to-peer #query
Peer-to-Peer Query Answering with Inconsistent Knowledge (AB, SAM), pp. 329–339.
KRKR-2008-HunterK #nondeterminism #set
Measuring Inconsistency through Minimal Inconsistent Sets (AH, SK), pp. 358–366.
KRKR-2008-MartinezPPSS #nondeterminism #policy
Inconsistency Management Policies (MVM, FP, AP, GIS, VSS), pp. 367–377.
SEKESEKE-2008-SchonbergerW #integration #process #requirements #taxonomy
Taxonomy on Consistency Requirements in the Business Process Integration Context (AS, GW), pp. 593–598.
MODELSMoDELS-2008-JurackLMT #behaviour #diagrams #modelling #process
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams (SJ, LL, KM, GT), pp. 341–355.
MODELSMoDELS-2008-LuongLC #behaviour #development #implementation #incremental #modelling
Implementation of the Conformance Relation for Incremental Development of Behavioural Models (HVL, TL, ALC), pp. 356–370.
SPLCSPLC-2008-Lutz #product line
Enabling Verifiable Conformance for Product Lines (RRL), pp. 35–44.
MODELSMoDELS-2008-JurackLMT #behaviour #diagrams #modelling #process
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams (SJ, LL, KM, GT), pp. 341–355.
MODELSMoDELS-2008-LuongLC #behaviour #development #implementation #incremental #modelling
Implementation of the Conformance Relation for Incremental Development of Behavioural Models (HVL, TL, ALC), pp. 356–370.
PADLPADL-2008-Marpons-UceroMCHMF #automation #logic programming #using
Automatic Coding Rule Conformance Checking Using Logic Programming (GMU, JMC, MC, ÁHN, JJMN, LÅF), pp. 18–34.
PPDPPPDP-2008-DeckerM #nondeterminism
Classifying integrity checking methods with regard to inconsistency tolerance (HD, DM), pp. 195–204.
RERE-2008-LauenrothP #product line #requirements
Dynamic Consistency Checking of Domain Requirements in Product Line Engineering (KL, KP), pp. 193–202.
ASEASE-2008-EgyedLF #design #generative #modelling #nondeterminism #uml
Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models (AE, EL, AF), pp. 99–108.
ASEASE-2008-FischerMS #web
The Consistency of Web Conversations (JF, RM, FS), pp. 415–418.
ICSEICSE-2008-BlancMMM #detection #nondeterminism
Detecting model inconsistency through operation-based model construction (XB, IM, AM, TM), pp. 511–520.
ICSEICSE-2008-HuynhCSS #automation #composition
Automatic modularity conformance checking (SH, YC, YS, KJS), pp. 411–420.
ICSEICSE-2008-LuCT #nondeterminism #pervasive #testing
Testing pervasive software in the presence of context inconsistency resolution services (HL, WKC, THT), pp. 61–70.
ICSEICSE-2008-SabetzadehNEC #distributed #modelling
Global consistency checking of distributed models with TReMer+ (MS, SN, SME, MC), pp. 815–818.
SACSAC-2008-BodorikJW #privacy #semantics
Consistent privacy preferences (CPP): model, semantics, and properties (PB, DNJ, MXW), pp. 2368–2375.
SACSAC-2008-LiQWLW #diagrams #interactive #java #runtime #source code #state machine #uml #verification
UML state machine diagram driven runtime verification of Java programs for message interaction consistency (XL, XQ, LW, BL, WEW), pp. 384–389.
SACSAC-2008-RamosSM #composition #framework #refinement
Framework composition conformance via refinement checking (RR, AS, AM), pp. 119–125.
HPDCHPDC-2008-ShafaatSMHGR #network
Key-based consistency and availability in structured overlay networks (TMS, TS, MM, SH, AG, AR), pp. 235–236.
OSDIOSDI-2008-JainMKYDZ #metric #monitoring #network #scalability
Network Imprecision: A New Consistency Metric for Scalable Monitoring (NJ, PM, DK, PY, MD, YZ), pp. 87–102.
FASEFASE-2008-EhrigEEP #integration #modelling #visual notation
Consistent Integration of Models Based on Views of Visual Languages (HE, KE, CE, UP), pp. 62–76.
CAVCAV-2008-BaswanaMP #memory management #set #verification
Implied Set Closure and Its Application to Memory Consistency Verification (SB, SKM, VP), pp. 94–106.
ICLPICLP-2008-GebserSTUV #biology #detection #network #nondeterminism #programming #scalability #set
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming (MG, TS, ST, BU, PV), pp. 130–144.
ICSTICST-2008-KaplanKPSWY #approach #generative #less is more #modelling #testing #uml
Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation (MK, TK, AMP, AS, CW, CY), pp. 82–91.
ICSTICST-2008-KolovosPP #detection #modelling #nondeterminism
Detecting and Repairing Inconsistencies across Heterogeneous Models (DSK, RFP, FP), pp. 356–364.
ICSTICST-2008-LeiWL #concurrent #diagrams #java #nondeterminism #process #source code #testing #uml
UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency (BL, LW, XL), pp. 200–209.
MBTMBT-2008-AichernigWW #testing
Improving Fault-based Conformance Testing (BKA, MW, FW), pp. 63–77.
FATESTestCom-FATES-2008-BruckerBW #modelling #testing
Model-Based Firewall Conformance Testing (ADB, LB, BW), pp. 103–118.
ICDARICDAR-2007-NielsV #generative
Generating Copybooks from Consistent Handwriting Styles (RN, LV), pp. 1009–1013.
PODSPODS-2007-BarakCDKMT #privacy
Privacy, accuracy, and consistency too: a holistic solution to contingency table release (BB, KC, CD, SK, FM, KT), pp. 273–282.
SIGMODSIGMOD-2007-QiCS #data flow #named #nondeterminism #query
FICSR: feedback-based inconsistency resolution and query processing on misaligned data sources (YQ, KSC, MLS), pp. 151–162.
VLDBVLDB-2007-CongFGJM #quality
Improving Data Quality: Consistency and Accuracy (GC, WF, FG, XJ, SM), pp. 315–326.
WCREWCRE-2007-Krinke #case study
A Study of Consistent and Inconsistent Changes to Code Clones (JK), pp. 170–178.
SEFMSEFM-2007-AichernigPWW #formal method #industrial #protocol #testing
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods (BKA, BP, MW, FW), pp. 215–226.
SEFMSEFM-2007-MerayoN #probability #testing
Testing conformance on Stochastic Stream X-Machines (MGM, MN), pp. 227–236.
AIIDEAIIDE-2007-BarrosM #interactive
Improving Narrative Consistency in Planning-Based Interactive Storytelling (LMB, SRM), pp. 68–70.
AGTIVEAGTIVE-2007-EngelsGSW #contract #modelling #process #using #visual notation #web #web service
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts (GE, BG, CS, HW), pp. 17–31.
CHICHI-2007-HutchingsS #monitoring #multi
Consistency, multiple monitors, and multiple windows (DRH, JTS), pp. 211–214.
HCIHCI-AS-2007-AlTaboliA #design #interface #performance #physics #web
Effect of Physical Consistency of Web Interface Design on Users’ Performance and Satisfaction (AA, MRAZ), pp. 849–858.
HCIHCI-IDU-2007-ChenHLLWX #user interface
The Experimental Approaches of Assessing the Consistency of User Interface (YC, LH, LL, QL, YW, JX), pp. 420–427.
CAiSECAiSE-2007-DeckerW #behaviour #integration #process
Behavioral Consistency for B2B Process Integration (GD, MW), pp. 81–95.
EDOCEDOC-2007-Molina-JimenezSC #implementation #message passing #middleware #using
Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware (CMJ, SKS, NC), pp. 51–62.
EDOCEDOC-2007-QuartelS #assessment #composition #on the
On Interoperability and Conformance Assessment in Service Composition (DACQ, MvS), pp. 229–240.
ICEISICEIS-EIS-2007-MoralesTA #behaviour #modelling #semantics #uml
Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics (LEMM, MICT, KBA), pp. 205–211.
ICEISICEIS-EIS-2007-SomeN #case study #requirements #verification
Use Case Based Requirements Verification — Verifying the Consistency between Use Cases and Assertions (SSS, DKN), pp. 190–195.
ICMLICML-2007-Werner #algorithm #question #what
What is decreased by the max-sum arc consistency algorithm? (TW), pp. 1007–1014.
ICMLICML-2007-ZhangY #classification #constraints #on the
On the value of pairwise constraints in classification and consistency (JZ, RY), pp. 1111–1118.
KDDKDD-2007-GaoESCX #data mining #mining #problem #set
The minimum consistent subset cover problem and its applications in data mining (BJG, ME, JyC, OS, HX), pp. 310–319.
MLDMMLDM-2007-ShidaraNK #classification #named
CCIC: Consistent Common Itemsets Classifier (YS, AN, MK), pp. 490–498.
SIGIRSIGIR-2007-RuthvenABBNSY
Intra-assessor consistency in question answering (IR, LA, MB, RB, EN, SOS, MY), pp. 727–728.
MODELSMoDELS-2007-KusterR #evaluation #nondeterminism
Improving Inconsistency Resolution with Side-Effect Evaluation and Costs (JMK, KR), pp. 136–150.
MODELSMoDELS-2007-KusterR #evaluation #nondeterminism
Improving Inconsistency Resolution with Side-Effect Evaluation and Costs (JMK, KR), pp. 136–150.
PLDIPLDI-2007-BurckhardtAM #concurrent #data type #memory management #modelling #named
CheckFence: checking consistency of concurrent data types on relaxed memory models (SB, RA, MMKM), pp. 12–21.
PLDIPLDI-2007-DilligDA #detection #fault #nondeterminism #semantics #using
Static error detection using semantic inconsistency inference (ID, TD, AA), pp. 435–445.
RERE-2007-SabetzadehNLEC #concept #model merging #modelling
Consistency Checking of Conceptual Models via Model Merging (MS, SN, SL, SME, MC), pp. 221–230.
ASEASE-2007-Abi-AntounWT #data flow #diagrams #implementation #modelling #security
Checking threat modeling data flow diagrams for implementation conformance and security (MAA, DW, PT), pp. 393–396.
ASEASE-2007-FischerM #transaction
Ensuring consistency in long running transactions (JF, RM), pp. 54–63.
ASEASE-2007-LauenrothP #automation #product line #requirements #specification #towards
Towards automated consistency checks of product line requirements specifications (KL, KP), pp. 373–376.
ESEC-FSEESEC-FSE-2007-PaytonJR #assessment #automation #query
Automatic consistency assessment for query results in dynamic environments (JP, CJ, GCR), pp. 245–254.
ESEC-FSEESEC-FSE-2007-XuCCY #automation #nondeterminism #on the #pervasive
On impact-oriented automatic resolution of pervasive context inconsistency (CX, SCC, WKC, CY), pp. 569–572.
ICSEICSE-2007-Egyed #design #modelling #nondeterminism #uml
Fixing Inconsistencies in UML Design Models (AE), pp. 292–301.
ICSEICSE-2007-Egyed07a #modelling #named #uml
UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models (AE), pp. 793–796.
SACSAC-2007-KimS #approach #modelling #uml
An approach to evaluating structural pattern conformance of UML models (DKK, WS), pp. 1404–1408.
SACSAC-2007-MonteiroBL #mobile
A mechanism for replicated data consistency in mobile computing environments (JMM, AB, SL), pp. 914–919.
SACSAC-2007-SawaiSKHN #ad hoc #network
Quorum-based consistency management among replicas in ad hoc networks with data update (YS, MS, AK, TH, SN), pp. 955–956.
HPDCHPDC-2007-LuLJ #adaptation #detection #framework #idea #named
IDEA: : an infrastructure for detection-based adaptive consistency control in replicated services (YL, YL, HJ), pp. 223–224.
PPoPPPPoPP-2007-BaudeCDH
Promised messages: recovering from inconsistent global states (FB, DC, CD, LH), pp. 154–155.
ESOPESOP-2007-AcarBD #self #semantics
A Consistent Semantics of Self-adjusting Computation (UAA, MB, JD), pp. 458–474.
FASEFASE-2007-PadbergHEMBE #ad hoc #architecture #maintenance #mobile #network
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks (JP, KH, HE, TM, EB, CE), pp. 383–397.
FASEFASE-2007-RangerH #distributed #graph transformation
Ensuring Consistency Within Distributed Graph Transformation Systems (UR, TH), pp. 368–382.
TACASTACAS-2007-ManoliosOV
Checking Pedigree Consistency with PCS (PM, MGO, SOV), pp. 339–342.
ICLPICLP-2007-GrecoM #database #query #semantics
Querying and Repairing Inconsistent Databases Under Three-Valued Semantics (SG, CM), pp. 149–164.
ISSTAISSTA-2007-Koster #quality #using
Using portfolio theory for better and more consistent quality (KK), pp. 108–117.
MBTMBT-2007-OuimetL #automation #satisfiability #specification #state machine #using #verification
Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver (MO, KL), pp. 85–97.
DRRDRR-2006-AndraZ #classification #nearest neighbour
Style consistent nearest neighbor classifier (SA, XZ).
JCDLJCDL-2006-MedelyanW #using
Measuring inter-indexer consistency using a thesaurus (OM, IHW), pp. 274–275.
SIGMODSIGMOD-2006-MarklKTHM #estimation #named
MAXENT: consistent cardinality estimation in action (VM, MK, TMT, PJH, NM), pp. 775–777.
VLDBVLDB-2006-HuangNL #data flow #database #distributed #named #towards
TRAC: Toward Recency and Consistency Reporting in a Database with Distributed Data Sources (JH, JFN, ML), pp. 223–234.
SCAMSCAM-2006-LawrieFB #identifier
Syntactic Identifier Conciseness and Consistency (DL, HF, DB), pp. 139–148.
CHICHI-2006-NicholsMR #automation #generative #named #user interface
UNIFORM: automatically generating consistent remote control user interfaces (JN, BAM, BR), pp. 611–620.
CSCWCSCW-2006-OsterUMI #collaboration #editing
Data consistency for P2P collaborative editing (GO, PU, PM, AI), pp. 259–268.
EDOCEDOC-2006-AlmeidaEI #development #modelling #requirements #traceability
Requirements Traceability and Transformation Conformance in Model-Driven Development (JPAA, PvE, MEI), pp. 355–366.
EDOCEDOC-2006-GorpAJ #2d #contract #framework #nondeterminism #platform #towards #traceability #visual notation
Towards 2D Traceability in a Platform for Contract Aware Visual Transformations with Tolerated Inconsistencies (PVG, FA, DJ), pp. 185–198.
EDOCEDOC-2006-NikolaidouATDA #enterprise #framework #information management
A Consistent Framework for Enterprise Information System Engineering (MN, NA, AT, AD, DA), pp. 492–496.
ICEISICEIS-DISI-2006-CaropreseGZ #database #dependence #functional #query
Merging, Repairing and Querying Inconsistent Databases with Functional and Inclusion Dependencies (LC, SG, EZ), pp. 38–45.
ICMLICML-2006-GeJ #approximate #multi
A note on mixtures of experts for multiclass responses: approximation rate and Consistent Bayesian Inference (YG, WJ), pp. 329–335.
ICPRICPR-v3-2006-RendekW #set #using
Extraction of Consistent Subsets of Descriptors using Choquet Integral (JR, LW), pp. 208–211.
KRKR-2006-HunterK #nondeterminism
Shapley Inconsistency Values (AH, SK), pp. 249–259.
SEKESEKE-2006-GregoireZ #automation #framework #knowledge base
A Framework for Fusing Consistent Knowledge Bases Automatically (ÉG, DZ), pp. 426–431.
SEKESEKE-2006-PauliX #case study #composition
Ensuring Consistent Use/Misuse Case Decomposition for Secure Systems (JJP, DX), pp. 392–397.
SEKESEKE-2006-ShanZ #constraints #modelling #specification
Specifying Consistency Constraints for Modelling Languages (LS, HZ), pp. 578–583.
SIGIRSIGIR-2006-JinFM #analysis #feedback #nondeterminism #performance
Quantative analysis of the impact of judging inconsistency on the performance of relevance feedback (XJ, JCF, JM), pp. 655–656.
ECMFAECMDA-FA-2006-FombelleBRG
Finding a Path to Model Consistency (GdF, XB, LR, MPG), pp. 101–112.
ECMFAECMDA-FA-2006-OKeefe #logic #semantics #uml
Dynamic Logic Semantics for UML Consistency (GO), pp. 113–127.
MODELSMoDELS-2006-MensSD #analysis #dependence #detection #nondeterminism #using
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis (TM, RVDS, MD), pp. 200–214.
MODELSMoDELS-2006-MensSD #analysis #dependence #detection #nondeterminism #using
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis (TM, RVDS, MD), pp. 200–214.
ASEASE-2006-Sabetzadeh
Management of Incomplete and Inconsistent Views (MS), pp. 339–342.
ICSEICSE-2006-Egyed #uml
Instant consistency checking for the UML (AE), pp. 381–390.
ICSEICSE-2006-XuCC #incremental #pervasive
Incremental consistency checking for pervasive context (CX, SCC, WKC), pp. 292–301.
SACSAC-2006-AsplundN #maintenance #protocol
Post-partition reconciliation protocols for maintaining consistency (MA, SNT), pp. 710–717.
SACSAC-2006-Bellur #object-oriented #on the #using #workflow
On using OO techniques to establish workflow conformance (UB), pp. 1447–1448.
SACSAC-2006-EliasEC #multi
Dynamic consistency checking for temporal and spatial relations in multimedia presentations (SE, KSE, RC), pp. 1380–1384.
SACSAC-2006-LallouetL #constraints #satisfiability
From satisfiability to consistency through certificates: application to partially defined constraints (AL, AL), pp. 415–416.
SACSAC-2006-MalgouyresM #approach #formal method #metamodelling #uml #verification
A UML model consistency verification approach based on meta-modeling formalization (HM, GM), pp. 1804–1809.
SACSAC-2006-StraetenD #nondeterminism #refactoring #rule-based
Model refactorings through rule-based inconsistency resolution (RVDS, MD), pp. 1210–1217.
SACSAC-2006-ZytnickiGS #csp
A new local consistency for weighted CSP dedicated to long domains (MZ, CG, TS), pp. 394–398.
DACDAC-2006-BruceHNBRL #design #maintenance
Maintaining consistency between systemC and RTL system designs (ACB, MMKH, AN, SB, NR, CKL), pp. 85–89.
DACDAC-2006-GoffioulVDDC #design #object-oriented #using
Ensuring consistency during front-end design using an object-oriented interfacing tool called NETLISP (MG, GV, JVD, BD, BC), pp. 889–892.
HPCAHPCA-2006-ManovitH #memory management #verification
Completely verifying memory consistency of test program executions (CM, SH), pp. 166–175.
PDPPDP-2006-PlescaGQPF #coordination #flexibility #middleware
A Coordination-Level Middleware for Supporting Flexible Consistency in CSCW (CP, RG, PQ, GP, JF), pp. 316–321.
CAVCAV-2006-RoyZFH #memory management #performance #polynomial #verification
Fast and Generalized Polynomial Time Memory Consistency Verification (AR, SZ, CJF, JCH), pp. 503–516.
FATESFATES-RV-2006-Osch #generative #hybrid #testing
Hybrid Input-Output Conformance and Test Generation (MvO), pp. 70–84.
IJCARIJCAR-2006-Walukiewicz-ChrzaszczC #calculus
Consistency and Completeness of Rewriting in the Calculus of Constructions (DWC, JC), pp. 619–631.
ISSTAISSTA-2006-CentonzeNFP #data access #validation
Role-Based access control consistency validation (PC, GN, SJF, MP), pp. 121–132.
ISSTAISSTA-2006-DemskyEGMPR #data type #specification
Inference and enforcement of data structure consistency specifications (BD, MDE, PJG, SM, JHP, MCR), pp. 233–244.
MBTMBT-2006-BourdonovKK #testing
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions (IBB, AK, VVK), pp. 83–96.
WICSAWICSA-2005-MuskensBC
Generalizing Consistency Checking between Software Views (JM, RJB, MRVC), pp. 169–180.
PODSPODS-2005-ArenasL #query #xml
XML data exchange: consistency and query answering (MA, LL), pp. 13–24.
SIGMODSIGMOD-2005-FuxmanFM #database #named #performance
ConQuer: Efficient Management of Inconsistent Databases (AF, EF, RJM), pp. 155–166.
SIGMODSIGMOD-2005-LeoneGILTEFFGRLLRKNS #integration
The INFOMIX system for advanced integration of incomplete and inconsistent data (NL, GG, GI, VL, GT, TE, WF, MF, GG, RR, DL, ML, MR, EK, BN, WS), pp. 915–917.
VLDBVLDB-2005-FuxmanFM #database #named #performance #query
ConQuer: A System for Efficient Querying Over Inconsistent Databases (AF, DF, RJM), pp. 1354–1357.
VLDBVLDB-2005-GreenfieldKNF #web #web service
Consistency for Web Services Applications (PG, DK, SN, AF), pp. 1199–1203.
VLDBVLDB-2005-GuoLR
Caching with “Good Enough” Currency, Consistency, and Completeness (HG, PÅL, RR), pp. 457–468.
IWPCIWPC-2005-DeisenbockP
Concise and Consistent Naming (FD, MP), pp. 97–106.
DLTDLT-2005-BatuS #approximate #parsing #string
Locally Consistent Parsing and Applications to Approximate String Comparisons (TB, SCS), pp. 22–35.
FMFM-2005-RusuMJ #automation #safety #testing #validation #verification
Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems (VR, HM, TJ), pp. 189–204.
IFMIFM-2005-LamP #diagrams #sequence chart #statechart #using #π-calculus
Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the π-Calculus (VSWL, JAP), pp. 347–365.
IFMIFM-2005-OssamiJS #multi #specification #uml
Consistency in UML and B Multi-view Specifications (DDOO, JPJ, JS), pp. 386–405.
SEFMSEFM-2005-ScheffczykBBS #industrial #requirements #specification
Pragmatic Consistency Management in Industrial Requirements Specifications (JS, UMB, AB, JS), pp. 272–281.
CAiSECAiSE-2005-PetrovJH #metadata #on the #repository
On the Notion of Consistency in Metadata Repository Systems (IP, SJ, MH), pp. 90–104.
CIKMCIKM-2005-GrecoS #complexity #integration #on the #peer-to-peer #query
On the complexity of computing peer agreements for consistent query answering in peer-to-peer data integration systems (GG, FS), pp. 36–43.
CIKMCIKM-2005-GriecoLRR #algorithm #dependence #query
Consistent query answering under key and exclusion dependencies: algorithms and experiments (LG, DL, RR, MR), pp. 792–799.
KDDKDD-2005-GaoLZCM #clustering #graph #higher-order #semistructured data
Consistent bipartite graph co-partitioning for star-structured high-order heterogeneous data co-clustering (BG, TYL, XZ, QC, WYM), pp. 41–50.
SEKESEKE-2005-KrishnaGV #concept #modelling #specification
Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications (AK, AKG, SAV), pp. 455–460.
ECOOPECOOP-2005-LamP #diagrams #statechart
Consistency Checking of Statechart Diagrams of a Class Hierarchy (VSWL, JAP), pp. 412–427.
POPLPOPL-2005-FieldV #distributed #maintenance #named #programming
Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments (JF, CAV), pp. 195–208.
RERE-2005-SabetzadehE #algebra #framework
An Algebraic Framework for Merging Incomplete and Inconsistent Views (MS, SME), pp. 306–318.
RERE-2005-SabetzadehE05a #named
iVuBlender: A Tool for Merging Incomplete and Inconsistent Views (MS, SME), pp. 453–454.
ASEASE-2005-SimmondsB #automation #uml
A tool for automatic UML model consistency checking (JS, MCB), pp. 431–432.
ESEC-FSEESEC-FSE-2005-XuC #detection #middleware #nondeterminism
Inconsistency detection and resolution for context-aware middleware support (CX, SCC), pp. 336–345.
SACSAC-2005-BaresiCM #adaptation #case study #experience #modelling
First experiences on constraining consistency and adaptivity of W2000 models (LB, SC, LM), pp. 1674–1678.
SACSAC-2005-ChabertTN #constraints #problem
Box-set consistency for interval-based constraint problems (GC, GT, BN), pp. 1439–1443.
CCCC-2005-LamKR #data type #named #verification
Hob: A Tool for Verifying Data Structure Consistency (PL, VK, MCR), pp. 237–241.
CGOCGO-2005-BrueningA #bound #capacity #maintenance
Maintaining Consistency and Bounding Capacity of Software Code Caches (DB, SPA), pp. 74–85.
HPDCHPDC-2005-LuJ05a #detection #distributed #framework #grid #nondeterminism #performance
A framework for efficient inconsistency detection in a grid and Internet-scale distributed environment (YL, HJ), pp. 318–319.
PPoPPPPoPP-2005-SuraFWMLP #compilation #java #performance #source code
Compiler techniques for high performance sequentially consistent java programs (ZS, XF, CLW, SPM, JL, DAP), pp. 2–13.
FASEFASE-2005-BergGJLRS #on the #testing
On the Correspondence Between Conformance Testing and Regular Inference (TB, OG, BJ, ML, HR, BS), pp. 175–189.
FASEFASE-2005-HeckelM #automation #testing #web #web service
Automatic Conformance Testing of Web Services (RH, LM), pp. 34–48.
STOCSTOC-2005-AilonCN #clustering #ranking
Aggregating inconsistent information: ranking and clustering (NA, MC, AN), pp. 684–693.
CADECADE-2005-Dowek #question #what
What Do We Know When We Know That a Theory Is Consistent? (GD), pp. 1–6.
CAVCAV-2005-ChakiCST #automation #reasoning #simulation
Automated Assume-Guarantee Reasoning for Simulation Conformance (SC, EMC, NS, PT), pp. 534–547.
CSLCSL-2005-ChenD #algorithm #constraints #game studies #quantifier
From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction (HC, VD), pp. 232–247.
FATESFATES-2005-NunezR #testing
Conformance Testing Relations for Timed Systems (MN, IR), pp. 103–117.
FATESFATES-2005-PetrenkoY #automaton #nondeterminism #testing
Conformance Tests as Checking Experiments for Partial Nondeterministic FSM (AP, NY), pp. 118–133.
ICTSSTestCom-2005-BijlRT #refinement #testing
Action Refinement in Conformance Testing (MvdB, AR, JT), pp. 81–96.
ICTSSTestCom-2005-KulvatunyouIJ #case study #testing
Content-Level Conformance Testing: An Information Mapping Case Study (BK, NI, ATJ), pp. 349–364.
ICTSSTestCom-2005-SennBC #testing
Firewall Conformance Testing (DS, DAB, GC), pp. 226–241.
VMCAIVMCAI-2005-LamKR #data type #type system
Generalized Typestate Checking for Data Structure Consistency (PL, VK, MCR), pp. 430–447.
DocEngDocEng-2004-ScheffczykRBS #repository
Managing inconsistent repositories via prioritized repairs (JS, PR, UMB, LS), pp. 137–146.
PODSPODS-2004-ArenasBLF #query
Locally Consistent Transformations and Query Answering in Data Exchange (MA, PB, RF, LL), pp. 229–240.
SIGMODSIGMOD-2004-GuoLRG #how #sql
Relaxed Currency and Consistency: How to Say “Good Enough” in SQL (HG, PÅL, RR, JG), pp. 815–826.
SIGMODSIGMOD-2004-GuoRLG #constraints
Support for Relaxed Currency and Consistency Constraints in MTCache (HG, PÅL, RR, JG), pp. 937–938.
VLDBVLDB-2004-ZhuR #data flow #probability #scalability
Stochastic Consistency, and Scalable Pull-Based Caching for Erratic Data Sources (SZ, CVR), pp. 192–203.
WCREWCRE-2004-ThiranHHB #database #legacy
Updating Legacy Databases through Wrappers: Data Consistency Management (PT, GJH, JLH, DB), pp. 58–67.
ICALPICALP-2004-DvorakKP #constraints #problem
Locally Consistent Constraint Satisfaction Problems: (ZD, DK, OP), pp. 469–480.
ICALPICALP-2004-OstrovskyRS #commit #database #performance #proving #query
Efficient Consistency Proofs for Generalized Queries on a Committed Database (RO, CR, AS), pp. 1041–1053.
SEFMSEFM-2004-NguyenM #analysis
A Formalism for Conformance Analysis and Its Applications (TNN, EVM), pp. 330–339.
CSCWCSCW-2004-YangL #adaptation #collaboration #protocol
Separating data and control: support for adaptable consistency protocols in collaborative systems (YY, DL), pp. 11–20.
EDOCEDOC-2004-SvenssonVW #approach #architecture
Data Consistency in a Heterogeneous IT Landscape: A Service Oriented Architecture Approach (ES, CV, TW), pp. 3–8.
ICEISICEIS-v1-2004-FerrandinC #database #integration #power of #semistructured data #using #xml
Referencial Integrity Model for XML Data Integrated from Heterogeneous Databases Systems — Using the Power of XML for Consistent Data Integration (MF, MSdC), pp. 15–20.
ICEISICEIS-v3-2004-ToffolonD #development #nondeterminism
Human-Centered Systems Development and Use Inconsistencies (CT, SD), pp. 34–41.
CIKMCIKM-2004-ChomickiMS #query #using
Computing consistent query answers using conflict hypergraphs (JC, JM, SS), pp. 417–426.
CIKMCIKM-2004-PiwowarskiL #evaluation #retrieval #xml
Providing consistent and exhaustive relevance assessments for XML retrieval evaluation (BP, ML), pp. 361–370.
ICPRICPR-v2-2004-HanheideBS #memory management #validation
Memory Consistency Validation in a Cognitive Vision System (MH, CB, GS), pp. 459–462.
ICPRICPR-v4-2004-ArnabatCM #3d #modelling #multi #sequence #using
3D Modeling from Turntable Sequences Using Dense Stereo Carving and Multi-View Consistency (JA, SC, GGM), pp. 36–39.
ICPRICPR-v4-2004-Richard #approach #difference #image
A New Approach For The Registration of Images With Inconsistent Differences (FJPR), pp. 649–652.
KRKR-2004-QiLG #knowledge base
A Split-Combination Method for Merging Inconsistent Possibilistic Knowledge Bases (GQ, WL, DHG), pp. 348–356.
SEKESEKE-2004-XueOZ #collaboration #editing #framework #maintenance
An Analytical Framework for Consistency Maintenance Mechanisms in Collaborative Editing Systems (LX, MAO, KZ), pp. 51–56.
UMLUML-2004-StraetenJM #behaviour #inheritance #refactoring
Supporting Model Refactorings Through Behaviour Inheritance Consistencies (RVDS, VJ, TM), pp. 305–319.
TOOLSTOOLS-USA-2003-RibetAZC04 #eiffel
Conformance of agents in the Eiffel language (PR, CA, OZ, DC), pp. 125–143.
SACSAC-J-2003-Paradkar04 #generative #interactive #modelling #self #testing #towards
Towards model-based generation of self-priming and self-checking conformance tests for interactive system (AMP), pp. 315–322.
ASEASE-2004-RauschmayerKW #framework #generative #scalability
Consistency Checking in an Infrastructure for Large-Scale Generative (AR, AK, MW), pp. 238–247.
SACSAC-2004-DingH #clustering #information management #nearest neighbour #optimisation
K-nearest-neighbor consistency in data clustering: incorporating local information into global optimization (CHQD, XH), pp. 584–589.
ASPLOSASPLOS-2004-HammondCWHCKO #programming #transaction
Programming with transactional coherence and consistency (TCC) (LH, BDC, VW, BH, MKC, CK, KO), pp. 1–13.
DACDAC-2004-BraunNSCHSLM #approach #design #flexibility #novel
A novel approach for flexible and consistent ADL-driven ASIP design (GB, AN, WS, JC, MH, HS, RL, HM), pp. 717–722.
HPDCHPDC-2004-WuB #clustering #performance
Achieving Performance Consistency in Heterogeneous Clusters (CW, RCB), pp. 140–149.
PDPPDP-2004-Borkowski #detection #distributed #online
Strongly Consistent Global State Detection for On-line Control of Distributed Applications (JB), pp. 126–133.
PDPPDP-2004-BrzezinskiSW
From Session Causality to Causal Consistency (JB, CS, DW), pp. 152–158.
FASEFASE-2004-Egyed #adaptation #diagrams #evolution #refinement
Consistent Adaptation and Evolution of Class Diagrams during Refinement (AE), pp. 37–53.
CAVCAV-2004-BinghamCHQZ #automation #bound #verification
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values (JDB, AC, AJH, SQ, ZZ), pp. 427–439.
CAVCAV-2004-FournetHRR
Stuck-Free Conformance (CF, CARH, SKR, JR), pp. 242–254.
FATESFATES-2004-Frutos-EscrigG
Preserving Contexts for Soft Conformance Relation (DdFE, CGR), pp. 33–48.
ICTSSTestCom-2004-Schulz #protocol #testing
Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols (SS), pp. 177–192.
DocEngDocEng-2003-ScheffczykBRS #documentation #formal method #repository #type safety
Consistent document engineering: formalizing type-safe consistency rules for heterogeneous repositories (JS, UMB, PR, LS), pp. 140–149.
ICDARICDAR-2003-SutantoLP #analysis #documentation
Study of the Consistency of Some Discriminatory Features Used by Document Examiners in the Analysis of Handwritten Letter “a” (PJS, GL, VP), pp. 1091–1095.
PODSPODS-2003-CaliLR #complexity #database #decidability #on the #query #semistructured data
On the decidability and complexity of query answering over inconsistent and incomplete databases (AC, DL, RR), pp. 260–271.
SEFMSEFM-2003-LitvakTY #behaviour #diagrams #uml #validation
Behavioral Consistency Validation of UML Diagrams (BL, SST, AY), pp. 118–125.
CAiSECAiSE-2003-HallerS #execution #information management #peer-to-peer #process
Consistent Process Execution in Peer-to-Peer Information Systems (KH, HS), pp. 289–307.
ICEISICEIS-v1-2003-AraqueS #maintenance
Data Warehouse Refreshment Maintaining Temporal Consistency (FA, JS), pp. 252–259.
SEKESEKE-2003-SouzaORGR #detection #modelling #nondeterminism #re-engineering #using
Using Critiquing Systems for Inconsistency Detection in Software Engineering Models (CRBdS, HLRO, CRPdR, KMG, DFR), pp. 196–203.
UMLUML-2003-AlghathbarW #case study #data access #policy
Consistent and Complete Access Control Policies in Use Cases (KA, DW), pp. 373–387.
UMLUML-2003-EngelsHK #development #uml
The Consistency Workbench: A Tool for Consistency Management in UML-Based Development (GE, RH, JMK), pp. 356–359.
UMLUML-2003-NytunJ #legacy #modelling #requirements #testing
Modeling and Testing Legacy Data Consistency Requirements (JPN, CSJ), pp. 341–355.
UMLUML-2003-StraetenMSJ #logic #maintenance #modelling #uml #using
Using Description Logic to Maintain Consistency between UML Models (RVDS, TM, JS, VJ), pp. 326–340.
PADLPADL-2003-BarceloB #database #logic programming #query #source code
Logic Programs for Querying Inconsistent Databases (PB, LEB), pp. 208–222.
POPLPOPL-2003-BaconCR #garbage collection #realtime
A real-time garbage collector with low overhead and consistent utilization (DFB, PC, VTR), pp. 285–298.
REFSQREFSQ-J-2002-ZowghiG03 #correctness #evolution #on the #requirements
On the interplay between consistency, completeness, and correctness in requirements evolution (DZ, VG), pp. 993–1009.
ASEASE-2003-SabetzadehE #analysis #approach #graph #nondeterminism
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach (MS, SME), pp. 12–21.
ASEASE-2003-TurnerGWBHSR #constraints #diagrams #implementation #modelling #runtime #uml #visual notation
Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations (CJT, TCNG, CW, JB, DH, HDS, AGR), pp. 271–276.
ESEC-FSEESEC-FSE-2003-SyD #generative #interprocedural #testing
Consistency techniques for interprocedural test data generation (NTS, YD), pp. 108–117.
ICSEICSE-2003-NentwichEF
Consistency Management with Repair Actions (CN, WE, AF), pp. 455–464.
SACSAC-2003-Paradkar #generative #interactive #modelling #self #testing #towards
Towards Model-Based Generation of Self-Priming and Self-Checking Conformance Tests for Interactive Systems (AMP), pp. 1110–1117.
SACSAC-2003-Viroli #coordination #framework #semantics
Comparing Semantic Frameworks for Coordination: On the Conformance Issue for Coordination Media (MV), pp. 394–401.
DACDAC-2003-ClarkeKY #behaviour #bound #c #model checking #source code #using
Behavioral consistency of C and verilog programs using bounded model checking (EMC, DK, KY), pp. 368–371.
PDPPDP-2003-BatistaCM #clustering #using
Computing Binary Space Partition Trees using a Scope Consistent DSM System in a Cluster of Workstations (RBB, ALACC, ACMAdM), pp. 93–100.
PDPPDP-2003-Garstecki #api #distributed #generative #parallel #testing
Generation of conformance test suites for parallel and distributed languages and APIs (LG), pp. 308–315.
STOCSTOC-2003-KleinbergL
Consistent load balancing via spread minimization (RDK, FTL), pp. 565–574.
CAVCAV-2003-Abu-HaimedBD #invariant #testing
Strengthening Invariants by Symbolic Consistency Testing (HAH, SB, DLD), pp. 407–419.
CAVCAV-2003-GlusmanK #model checking #specification
Model Checking Conformance with Scenario-Based Specifications (MG, SK), pp. 328–340.
FATESFATES-2003-BeekM #automation #internet #testing
Automatic Conformance Testing of Internet Applications (HMAvB, SM), pp. 205–222.
ICSTSAT-2003-BessiereHW #satisfiability
Local Consistencies in SAT (CB, EH, TW), pp. 299–314.
ICTSSTestCom-2003-Cousin #process #testing
Interoperabolity Events Complementing Conformance Testing Activities (PC), p. 128.
ICTSSTestCom-2003-FreyS #distributed
Conformance of Distributed Systems (MF, BHS), pp. 163–179.
PODSPODS-2002-ArenasFL #on the #specification #verification #xml
On Verifying Consistency of XML Specifications (MA, WF, LL), pp. 259–270.
SIGMODSIGMOD-2002-BhattacharyaMBNHS #coordination #database #file system
Coordinating backup/recovery and data consistency between database and file systems (SB, CM, KB, IN, HIH, MS), pp. 500–511.
VLDBVLDB-2002-HerlekarDRGS #flexibility #maintenance #named
enTrans: A System for Flexible Consistency Maintenance in Directory Applications (AH, AD, KR, SG, SS), pp. 1095–1098.
ICSMEICSM-2002-TruyenJV
Consistency Management in the Presence of Simultaneous Client-Specific Views (ET, WJ, PV), pp. 501–510.
FLOPSFLOPS-2002-Meer #algebra #constraints #on the #source code
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints (KM), pp. 88–102.
EDOCEDOC-2002-KoehlerTK #implementation #process #verification
From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods (JK, GT, SK), p. 96–?.
ICEISICEIS-2002-Kadri-DahmaniO #database #how #maintenance #question
Updating Data in GIS: How to Maintain Database Consistency? (HKD, AO), pp. 587–593.
ICEISICEIS-2002-SteinauDRI
A Tool for Assessing the Consistency of Websites (SS, OD, JJR, FI), pp. 691–698.
CIKMCIKM-2002-YuXSTK #collaboration #in memory #nondeterminism
Removing redundancy and inconsistency in memory-based collaborative filtering (KY, XX, AS, VT, HPK), pp. 52–59.
ICMLICML-2002-Zhang #behaviour #statistics
Statistical Behavior and Consistency of Support Vector Machines, Boosting, and Beyond (TZ0), pp. 690–700.
ICPRICPR-v1-2002-Worthington #detection #using
Enhanced Canny Edge Detection Using Curvature Consistency (PLW), pp. 596–599.
ICPRICPR-v3-2002-LiS #clustering #recognition
Consistent Line Clusters for Building Recognition in CBIR (YL, LGS), pp. 952–956.
ICPRICPR-v4-2002-StevensCM
A Histogram-Based Color Consistency Test for Voxel Coloring (MRS, WBC, TM), pp. 118–121.
KRKR-2002-DomshlakB #named #reasoning #testing
CP-nets: Reasoning and Consistency Testing (CD, RIB), pp. 121–132.
KRKR-2002-LangM #nondeterminism
Resolving Inconsistencies by Variable Forgetting (JL, PM), pp. 239–250.
SEKESEKE-2002-Albalooshi #automation #database #representation
A database representation that improves automation and maintains consistency in a mulitple view environment (FA), pp. 281–288.
PLDIPLDI-2002-RamalingamWFGS #analysis #component
Deriving Specialized Program Analyses for Certifying Component-Client Conformance (GR, AV, JF, DG, SS), pp. 83–94.
RERE-2002-KozlenkovZ #design #question #requirements #specification
Are their Design Specifications Consistent with our Requirements? (AK, AZ), pp. 145–156.
LCTESLCTES-SCOPES-2002-JhumkaHCS #design #embedded #execution #on the
On systematic design of globally consistent executable assertions in embedded software (AJ, MH, VC, NS), pp. 75–84.
PDPPDP-2002-JimenezFC #algorithm #memory management
A Parametrized Algorithm that Implements Sequential, Causal, and Cache Memory Consistency (EJ, AF, VC), pp. 437–444.
PDPPDP-2002-LarreaFA #detection
Eventually Consistent Failure Detectors (ML, AF, SA), pp. 91–98.
CAVCAV-2002-ChatterjeeSG #memory management #model checking #modelling #protocol #refinement #verification
Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking (PC, HS, GG), pp. 123–136.
CAVCAV-2002-RajamaniR #message passing #modelling
Conformance Checking for Models of Asynchronous Message Passing Software (SKR, JR), pp. 166–179.
ISSTAISSTA-2002-Cardell-Oliver #distributed #realtime
Conformance test experiments for distributed real-time systems (RCO), pp. 159–163.
ISSTAISSTA-2002-LatellaM #behaviour #diagrams #on the #statechart #testing #uml
On testing and conformance relations for UML statechart diagrams behaviours (DL, MM), pp. 144–153.
DocEngDocEng-2001-SampaioLC #documentation #ide
An integrated environment for the presentation of consistent SMIL 2.0 documents (PNMS, CL, JPC), pp. 115–124.
ICALPICALP-2001-CohenHK #aspect-oriented #distributed #performance #using
Performance Aspects of Distributed Caches Using TTL-Based Consistency (EC, EH, HK), pp. 744–756.
FMFME-2001-HelkeS #analysis #behaviour #eiffel #library
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries (SH, TS), pp. 20–42.
CAiSECAiSE-2001-ZismanA #documentation #xml
Consistency Management of Financial XML Documents (AZ, AA), pp. 219–233.
ICEISICEIS-v1-2001-Lujan-MoraM #nondeterminism
Reducing Inconsistency in Data Warehouses (SLM, EM), pp. 199–206.
ICEISICEIS-v2-2001-ShinkawaM #enterprise #information management
An Information System View of Consistency and Integrity in Enterprise Operations (YS, MJM), pp. 709–716.
SIGIRSIGIR-2001-AslamM01a
Metasearch Consistency (JAA, MHM), pp. 386–387.
SIGIRSIGIR-2001-LongL #image #performance #retrieval
Perceptual Consistency Improves Image Retrieval Performance (HL, WKL), pp. 434–435.
UMLUML-2001-EngelsHK #behaviour #metamodelling #rule-based #specification #uml
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model (GE, RH, JMK), pp. 272–286.
TOOLSTOOLS-USA-2001-Al-KhudairGM #collaboration #database #evolution #object-oriented
Dynamic Evolution and Consistency of Collaborative Configurations in Object-Oriented Databases (AAK, WAG, JCM), pp. 207–218.
RERE-2001-SavolainenK #product line #requirements
Consistency Management of Product Line Requirements (JS, JK), pp. 40–47.
ASEASE-2001-Egyed #approach #scalability
Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach (AE), pp. 387–390.
ASEASE-2001-InverardiMP #architecture #automation #modelling #using
Automated Check of Architectural Models Consistency Using SPIN (PI, HM, PP), pp. 346–349.
ASEASE-2001-NentwichEF #distributed #specification
Static Consistency Checking for Distributed Specifications (CN, WE, AF), p. 115–?.
ASEASE-2001-ZismanK #approach #knowledge base #specification #uml
Knowledge Base Approach to Consistency Management of UML Specification (AZ, AK), pp. 359–363.
FSEESEC-FSE-2001-EngelsKHG #behaviour #modelling #object-oriented #specification
A methodology for specifying and analyzing consistency of object-oriented behavioral models (GE, JMK, RH, LG), pp. 186–195.
ICSEICSE-2001-Balzer01a #nondeterminism #revisited
“Tolerating Inconsistency” Revisited (RB), p. 665.
ICSEICSE-2001-EasterbrookC #framework #multi #reasoning
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints (SME, MC), pp. 411–420.
ICSEICSE-2001-RomanHH #ad hoc #network
Consistent Group Membership in Ad Hoc Networks (GCR, QH, AH), pp. 381–388.
ICSEICSE-2001-Smolko #architecture #design #distributed #evaluation #mobile
Design and Evaluation of the Mobile Agent Architecture for Distributed Consistency Management (DS), pp. 799–800.
HPDCHPDC-2001-DullmannHJSSSS #grid #modelling
Models for Replica Synchronisation and Consistency in a Data Grid (DD, WH, FJJM, BS, HS, KS, AS), pp. 67–75.
SOSPSOSP-2001-EnglerCC #approach #behaviour #debugging #fault
Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code (DRE, DYC, AC), pp. 57–72.
FASEFASE-2001-NieseSMHBI #design #industrial #testing
Library-Based Design and Consistency Checking of System-Level Industrial Test Cases (ON, BS, TMS, AH, GB, HDI), pp. 233–248.
FASEFASE-2001-PaigeO #metamodelling
Metamodelling and Conformance Checking with PVS (RFP, JSO), pp. 2–16.
CAVCAV-2001-Arons #using #verification
Using Timestamping and History Variables to Verify Sequential Consistency (TA), pp. 423–435.
ICLPICLP-2001-GrecoGZ #approach #database #integration #logic programming #query
A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases (GG, SG, EZ), pp. 348–364.
VLDBVLDB-2000-KemmeA #database #lazy evaluation #replication
Don’t Be Lazy, Be Consistent: Postgres-R, A New Way to Implement Database Replication (BK, GA), pp. 134–143.
WLCWLC-2000-KoshibaH
A Note on Finding One-Variable Patterns Consistent with Examples and Counterexamples (TK, KH), pp. 253–265.
IFMIFM-2000-MeyerS #approach #behaviour #uml #using #verification
Behavioral Conformance Verification in an Integrated Approach Using UML and B (EM, TS), pp. 358–379.
CHICHI-2000-TaylorR #communication #semantics #using
Gaze communication using semantically consistent spaces (MJT, SMR), pp. 400–407.
CSCWCSCW-2000-Mauve #interactive
Consistency in replicated continuous interactive media (MM), pp. 181–190.
UMLUML-2000-BottoniKPT #constraints #ocl #visualisation
Consistency Checking and Visualization of OCL Constraints (PB, MK, FPP, GT), pp. 294–308.
UMLUML-2000-PetriuS #behaviour #diagrams #process #representation #sequence chart
Consistent Behaviour Representation in Activity and Sequence Diagrams (DCP, YS), pp. 369–382.
PADLPADL-2000-BistarelliCGR #constraints #programming
Labeling and Partial Local Consistency for Soft Constraint Programming (SB, PC, YG, FR), pp. 230–248.
REICRE-2000-Glinz #approach #lightweight #modelling
A Lightweight Approach to Consistency of Scenarios and Class Models (MG), p. 49–?.
ASEASE-2000-Schewe #automation
Controlled Automation of Consistency Enforcement (KDS), pp. 265–268.
SACSAC-2000-YeoYP #distributed #memory management #protocol
An Asynchronous Protocol for Release Consistent Distributed Shared Memory Systems (JHY, HYY, TP), pp. 716–721.
OSDIOSDI-2000-YuV #design #evaluation
Design and Evaluation of a Continuous Consistency Model for Replicated Services (HY, AV), pp. 305–318.
PDPPDP-2000-BrzezinskiW #algorithm #distributed #memory management #requirements
Consistency requirements of distributed shared memory for Lamport’s bakery algorithm for mutual exclusion (JB, DW), pp. 220–226.
STOCSTOC-2000-FitziM
From partial consistency to global broadcast (MF, UMM), pp. 494–503.
TACASTACAS-2000-BraunLSS #formal method #integration
Consistent Integration of Formal Methods (PB, HL, BS, OS), pp. 48–62.
CAVCAV-2000-RusinowitchSK #incremental #verification
Mechanical Verification of an Ideal Incremental ABR Conformance (MR, SS, FK), pp. 344–357.
ICLPCL-2000-ArenasBK #calculus #database #query
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases (MA, LEB, MK), pp. 926–941.
ICLPCL-2000-CelleB #algorithm #database #implementation #query
Querying Inconsistent Databases: Algorithms and Implementation (AC, LEB), pp. 942–956.
ICLPCL-2000-Gennari #algorithm
Arc Consistency Algorithms via Iterations of Subsumed Functions (RG), pp. 358–372.
ICTSSTestCom-2000-MednonogovKMM #corba #testing #using
Conformance Testing of CORBA Services Using TTCN (AM, HK, OM, JM), p. 193–?.
PODSPODS-1999-ArenasBC #database #query
Consistent Query Answers in Inconsistent Databases (MA, LEB, JC), pp. 68–79.
VLDBVLDB-1999-PacittMS #algorithm #database #lazy evaluation #maintenance #performance
Fast Algorithms for Maintaining Replica Consistency in Lazy Master Replicated Databases (EP, PM, ES), pp. 126–137.
FMFM-v1-1999-Liu #specification #testing #verification
Verifying Consistency and Validity of Formal Specifications by Testing (SL), pp. 896–914.
FMFM-v1-1999-MoninK #algorithm #correctness #proving #standard
Correctness Proof of the Standardized Algorithm for ABR Conformance (JFM, FK), pp. 662–681.
TLCATLCA-1999-Statman #equation #theorem
Consequences of Jacopini’s Theorem: Consistent Equalities and Equations (RS), pp. 355–364.
AGTIVEAGTIVE-1999-Gruner #approach #distributed #graph grammar #modelling
A Combined Graph Schema and Graph Grammar Approach to Consistency in Distributed Data Modeling (SG), pp. 247–254.
ICEISICEIS-1999-Jamoo #enterprise
Importance of Conformance of Data Collection to the ERP Model (GJ), p. 787.
TOOLSTOOLS-EUROPE-1999-Mikhajlova99a #component #invariant
Consistent Extension of Components in the Presence of Explicit Invariants (AM), pp. 76–85.
LOPSTRLOPSTR-1999-DucasseR #formal method #proving
Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency (MD, LR), pp. 10–29.
RERE-1999-GoedickeMT #development #distributed #graph transformation #nondeterminism #towards
ViewPoint-Oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with Inconsistencies (MG, TM, GT), pp. 92–99.
ESECESEC-FSE-1999-FradetMP #architecture #multi
Consistency Checking for Multiple View Software Architectures (PF, DLM, MP), pp. 410–428.
HPCAHPCA-1999-CoxLHZ #comparison #lazy evaluation #memory management #performance #protocol
A Performance Comparison of Homeless and Home-Based Lazy Release Consistency Protocols in Software Shared Memory (ALC, EdL, YCH, WZ), pp. 279–283.
TACASTACAS-1999-KahloucheVZ #communication #hardware #protocol #testing #using
Hardware Testing Using a Communication Protocol Conformance Testing Tool (HK, CV, MZ), pp. 315–329.
CAVCAV-1999-BerardF #automation #parametricity #protocol #realtime #verification
Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol (BB, LF), pp. 96–107.
CAVCAV-1999-Brinksma #formal method #testing
Formal Methods for Conformance Testing: Theory Can Be Practical (EB), pp. 44–45.
CAVCAV-1999-HenzingerQR99a #multi #verification
Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems (TAH, SQ, SKR), pp. 301–315.
CSLCSL-1999-Balcazar #learning #query
The Consistency Dimension, Compactness, and Query Learning (JLB), pp. 2–13.
ICLPICLP-1999-BenhamouGGP
Revising Hull and Box Consistency (FB, FG, LG, JFP), pp. 230–244.
ICTSSIWTCS-1999-ArtychB #concept #requirements #tool support
External Conformance Requirements: Concepts, Methods and Tools (RA, KMB), pp. 363–378.
ICTSSIWTCS-1999-Frey-PuckoKN #automation #generative #industrial #testing
Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in IskraTEL (MFP, MKK, RN), pp. 347–362.
ICTSSIWTCS-1999-KangSKHYKSYK #development #protocol
Development and Application of ATM Protocol Conformance Test System (SK, YS, DK, MH, JY, IK, JS, SY, MK), pp. 331–346.
ICTSSIWTCS-1999-ParkKK #multi #testing
Conformance Testing of Multiprotocol IUTs (YP, MK, SK), pp. 267–286.
SIGMODSIGMOD-1998-AndersonBKW #question #replication
Replication, Consistency, and Practicality: Are These Mutually Exclusive? (TAA, YB, HFK, AW), pp. 484–495.
VLDBVLDB-1998-OzsuVU #algorithm
An Asynchronous Avoidance-Based Cache Consistency Algorithm for Client Caching DBMSs (MTÖ, KV, RCU), pp. 440–451.
ICSMEICSM-1998-FiutemA #case study #identification #nondeterminism #object-oriented
Identifying Design-Code Inconsistencies in Object-Oriented Software: A Case Study (RF, GA), p. 94–?.
RTARTA-1998-Comon #proving
About Proofs by Consistency (HC), pp. 136–137.
ICPRICPR-1998-Claridge #algorithm #bound #locality #visual notation
A boundary localisation algorithm consistent with human visual perception (EC), pp. 300–304.
KRKR-1998-BenferhatDLPSS #approach #knowledge base #nondeterminism
A General Approach for Inconsistency Handling and Merging Information in Prioritized Knowledge Bases (SB, DD, JL, HP, AS, PS), pp. 466–477.
REICRE-1998-RussoNK #case study #nondeterminism #requirements #specification
Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study (AR, BN, JK), p. 51–?.
ASEASE-1998-GoedickeMP #architecture #design #detection #evaluation #nondeterminism #on the #performance
On Detecting and Handling Inconsistencies in Integrating Software Architecture Design and Performance Evaluation (MG, TM, CP), pp. 188–191.
ICSEICSE-1998-TarrC
Consistency Management for Complex Applications (PLT, LAC), pp. 230–239.
ICTSSIWTCS-1998-BourhfirDAR #generative #incremental #protocol #testing
A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols (CB, RD, EMA, NR), pp. 275–290.
ICTSSIWTCS-1998-FeijsMMW #multi #testing #using
Conformance Testing of a Multimedia System Using PHACT (LMGF, FACM, JRM, JvW), pp. 193–210.
ICTSSIWTCS-1998-Gecse #hypermedia #internet #protocol #testing
Conformance Testing Methodology of Internet Protocols Internet Application-Layer Protocol Testing — the Hypertext Transfer Protocol (RG), pp. 35–48.
ICLPJICSLP-1998-CollavizzaDR
Relationships between Partial Consistencies over Continuous Domains (HC, FD, MR), pp. 345–346.
PODSPODS-1997-BreitbartK #lazy evaluation #replication
Replication and Consistency: Being Lazy Helps Sometimes (YB, HFK), pp. 173–184.
SIGMODSIGMOD-1997-ZaharioudakisC #concurrent #database
Highly Concurrent Cache Consistency for Indices in Client-Server Database Systems (MZ, MJC), pp. 50–61.
ITiCSEITiCSE-WGR-1997-Preston #evaluation #performance #rating #reliability
Evaluation software: improving consistency and reliability of performance rating (JAP), pp. 132–134.
FMFME-1997-BoitenBDS #case study
Viewpoint Consistency in Z and LOTOS: A Case Study (EAB, HB, JD, MS), pp. 644–664.
FMFME-1997-HuberSE #distributed #specification #visual notation
Consistent Graphical Specification of Distributed Systems (FH, BS, GE), pp. 122–141.
HCIHCI-SEC-1997-Olson #formal method
Seven Rules in a Theory of Consistency (AMO), pp. 715–718.
CIKMCIKM-1997-AbdelmotyJ #database #maintenance #towards
Towards Maintaining Consistency of Spatial Databases (AIA, CBJ), pp. 293–300.
CIKMCIKM-1997-ChungLH #maintenance
A Contention Based Dynamic Consistency Maintenance Scheme for Client Cache (IC, JL, CSH), pp. 363–370.
OOPSLAOOPSLA-1997-Mezini #evolution #library #maintenance
Maintaining the Consistency of Class Libraries During Their Evolution (MM), pp. 1–21.
AdaEuropeAdaEurope-1997-CelierST #ada
Code-Data Consistency in Ada (VC, DMS, CJT), pp. 209–217.
RERE-1997-HunterN #specification
Analyzing Inconsistent Specifications (AH, BN), pp. 78–86.
PPoPPPPoPP-1997-ZhouISLTSHW #evaluation #performance
Relaxed Consistency and Coherence Granularity in DSM Systems: A Performance Evaluation (YZ, LI, JPS, KL, BRT, IS, MDH, DAW), pp. 193–205.
SOSPSOSP-1997-PetersenSTTD #flexibility #replication
Flexible Update Propagation for Weakly Consistent Replication (KP, MS, DBT, MT, AJD), pp. 288–301.
STOCSTOC-1997-KargerLLPLL #distributed #protocol #random #web
Consistent Hashing and Random Trees: Distributed Caching Protocols for Relieving Hot Spots on the World Wide Web (DRK, EL, FTL, RP, MSL, DL), pp. 654–663.
SIGMODSIGMOD-1996-MorpainCFP #database #dependence #maintenance #multi
Maintaining Database Consistency in Presence of Value Dependencies in Multidatabase Systems (CM, MC, JF, JFP), pp. 459–468.
VLDBVLDB-1996-Hammond #set #using
Using Referential Integrity To Easily Define Consistent Subset Replicas (BH), p. 591.
FMFME-1996-BoitenDBS #refinement #specification
Consistency and Refinement for Partial Specification in Z (EAB, JD, HB, MS), pp. 287–306.
FMFME-1996-SchatzHB #development #specification #visual notation
Graphical Development of Consistent System Specifications (BS, HH, MB), pp. 248–267.
CSCWCSCW-1996-Dourish #collaboration #semantics #tool support
Consistency Guarantees: Exploiting Application Semantics for Consistency Management in a Collaboration Toolkit (PD), pp. 268–277.
SEKESEKE-1996-CutilloV #evolution
Managing a Software System and Keeping it Internally Consistent During its Evolution (FC, GV), pp. 230–237.
AdaEuropeAdaEurope-1996-Madhav #ada #architecture #source code #testing
Testing Ada 95 Programs for Conformance to Rapide Architectures (NM), pp. 123–134.
ICSEICSE-1996-HeidenreichMK #approach #re-engineering
A New Approach to Consistency Control in Software Engineering (GH, MM, DK), pp. 289–297.
SACSAC-1996-Lenz #adaptation #data transformation #distributed
Adaptive distributed data management with weak consistent replicated data (RL), pp. 178–185.
SACSAC-1996-ZadroznyK #query #towards #user interface
FQUERY for Access: towards human consistent querying user interface (SZ, JK), pp. 532–536.
ASPLOSASPLOS-1996-PaiRAH #evaluation #memory management #modelling
An Evaluation of Memory Consistency Models for Shared-Memory Systems with ILP Processors (VSP, PR, SVA, TH), pp. 12–23.
HPCAHPCA-1996-AdveCDRZ #comparison #implementation #lazy evaluation
A Comparison of Entry Consistency and Lazy Release Consistency Implementations (SVA, ALC, SD, RR, WZ), pp. 26–37.
PDPPDP-1996-ClematisG #named
CPVM — Extending PVM for Consistent Checkpointing (AC, VG), pp. 67–74.
ICMLICML-1995-Lubinsky #classification #performance #using
Increasing the Performance and Consistency of Classification Trees by Using the Accuracy Criterion at the Leaves (DJL), pp. 371–377.
SIGIRSIGIR-1995-Iivonen #difference
Searchers and Searchers: Differences between the Most and Least Consistent Searchers (MI), pp. 149–157.
OOPSLAOOPSLA-1995-KristensenL #memory management #problem
Problem-Oriented Object Memory: Customizing Consistency (AK, CL), pp. 399–413.
RERE-1995-EasterbrookN #evolution #nondeterminism #specification
Managing inconsistencies in an evolving specification (SME, BN), pp. 48–55.
RERE-1995-HeitmeyerLK #requirements #specification
Consistency checking of SCR-style requirements specifications (CLH, BGL, DLK), pp. 56–65.
ICSEICSE-1995-HeimdahlL #analysis #requirements
Completeness and Consistency Analysis of State-Based Requirements (MPEH, NGL), pp. 3–14.
VLDBVLDB-1994-AmielBDS #evolution #exception
Supporting Exceptions to Schema Consistency to Ease Schema Evolution in OODBMS (EA, MJB, ED, ES), pp. 108–119.
CHICHI-1994-OlsenH94a #automation #generative
Automatic generation of interactively consistent search dialogs (DRO, WH), pp. 218–224.
CHICHI-1994-RiemanLYP94a #architecture #interface #reasoning #why
Why is a raven like a writing desk?: lessons in interface consistency and analogical reasoning from two cognitive architectures (JR, CHL, RMY, PGP), pp. 438–444.
CAiSECAiSE-1994-SwedeV #development #empirical
Consistent Development: Results of a First Empirical Study on the Relation Between Project Scenario and Success (VvS, HvV), pp. 80–93.
KRKR-1994-BeekD #constraints
Constraint Tightness versus Global Consistency (PvB, RD), pp. 572–582.
SIGIRSIGIR-1994-EllisFW #database #effectiveness #hypermedia #metric #on the #retrieval
On the Measurement of Inter-Linker Consistency and Retrieval Effectiveness in Hypertext Databases (DE, JFH, PW), pp. 51–60.
HPDCHPDC-1994-SrbljicVB #distributed #memory management #performance #predict
Performance Prediction for Different Consistency Schemes in Distributed Shared Memory Systems (SS, ZGV, LB), pp. 295–302.
CADECADE-1994-Lysne #on the #proving
On the Connection between Narrowing and Proof by Consistency (OL), pp. 133–147.
LICSLICS-1994-ArieliA #logic
Logical Bilattices and Inconsistent Data (OA, AA), pp. 468–476.
FMFME-1993-RossL #maintenance #specification
Maintaining Consistency Under Changes to Formal Specifications (KJR, PAL), pp. 558–577.
CAiSECAiSE-1993-PonceletL #database #design
Consistent Structural Updates for Object Database Design (PP, LL), pp. 1–21.
ESECESEC-1993-FinkelsteinGHKN #multi #nondeterminism #specification
Inconsistency Handling in Multi-Perspective Specifications (AF, DMG, AH, JK, BN), pp. 84–99.
TAPSOFTTAPSOFT-1993-YaoB #testing
Testing for a Conformance Relation Based on Acceptance (MYY, GvB), pp. 519–528.
CAVCAV-1993-LincolnR #algorithm #fault #hybrid #interactive #verification
The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model (PL, JMR), pp. 292–304.
CSLCSL-1993-Gomolko #logic #nondeterminism #prolog
Negation as Inconsistency in PROLOG via Intuitionistic Logic (AG), pp. 128–138.
ICLPICLP-1993-Ng #database #empirical #semantics
Semantics and Consistency of Empirical Databases (RTN), pp. 812–826.
ICTSSIWPTS-1993-CavalliFP #formal method #testing
Formal Methods for Conformance Testing: Results and Perspectives (ARC, JPF, MP), pp. 3–17.
ICTSSIWPTS-1993-PetrenkoBD
Conformance Relations and Test Derivation (AP, GvB, RD), pp. 157–178.
ICTSSIWPTS-1993-PetrenkoYLD #nondeterminism #protocol #state machine #testing
Nondeterministic State Machines in Protocol Conformance Testing (AP, NY, AL, AD), pp. 363–378.
ICTSSIWPTS-1993-Tretmans #approach #formal method #testing
A Formal Approach to Conformance Testing (JT), pp. 257–276.
PODSPODS-1992-WongA #bound #concurrent #database #nondeterminism
Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems (MHW, DA), pp. 236–245.
SIGMODSIGMOD-1992-Bamford #multi #performance #using
Using Multiversioning to Improve Performance Without Loss of Consistency (RB), p. 164.
CSCWCSCW-1992-NarayanaswamyG #development #lazy evaluation
“Lazy” Consistency: A Basis for Cooperative Software Development (KN, NMG), pp. 257–264.
CIKMCIKM-1992-MartinAD #approach #behaviour #database #object-oriented
Consistency Checking in Object Oriented Databases: a Behavioral Approach (HM, MEA, BD), pp. 53–68.
KRKR-1992-PinkasL #nondeterminism #reasoning #taxonomy
Reasoning from Inconsistency: A Taxonomy of Principles for Resolving Conflict (GP, RPL), pp. 709–719.
ICMLML-1992-Carpineto #induction #performance
Trading Off Consistency and Efficiency in version-Space Induction (CC), pp. 43–48.
SEKESEKE-1992-HaoTJ #modelling #nondeterminism #process #prototype
Prototyping an Inconsistency Checking Tool for Software Process Models (JKH, FT, JJ), pp. 227–234.
PPDPALP-1992-Lysne #algebra #proving #semantics
Proof by Consistency in Constructive Systems with Final Algebra Semantics (OL), pp. 276–290.
PPDPPLILP-1992-AlpuenteFM #analysis #equation #incremental #logic programming #nondeterminism
Analyses of Inconsistency for Incremental Equational Logic Programming (MA, MF, FM), pp. 443–457.
ASPLOSASPLOS-1992-WheelerB
Consistency Management for Virtually Indexed Caches (BW, BNB), pp. 124–136.
ICTSSIWPTS-1992-CavalliMK #automation #formal method #generative #protocol #specification #testing
Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications (ARC, PM, SUK), pp. 237–248.
ICTSSIWPTS-1992-ChansonL #on the #testing
On Inconclusive Verdict in Conformance Testing (STC, QL), pp. 81–92.
ICTSSIWPTS-1992-DriraASC #detection #fault #testing
Characterizing and Ordering Errors Detected by Conformance Testing (KD, PA, BS, AMC), pp. 67–78.
ICTSSIWPTS-1992-Koster #problem #protocol #testing
Problems and Difficulties with GSM Protocol Conformance Testing (RK), p. 291.
ICTSSIWPTS-1992-KosterD #mobile #network #testing
ISO Conformance Testing of the GSM Mobile Network System (RK, MD), pp. 263–273.
ICTSSIWPTS-1992-LidongJL #multi #optimisation #sequence #testing
A Further Optimization Technique for Conformance Testing Based on Multiple UIO Sequences (ZL, LJ, HL), pp. 229–235.
ICTSSIWPTS-1992-RoblesMH #specification #testing
Specification and Derivation of OSI Conformance Test Suites (TR, JAM, GH), pp. 177–188.
ICTSSIWPTS-1992-TangLF #multi
The IS-IS Multi-Party Conformance Test System (DT, JL, JPF), pp. 251–262.
ICTSSIWPTS-1992-Witteman #experience #protocol
Promoting the Local Test Method, GSM Protocol Conformance Test Experience (MFW), pp. 292–294.
PODSPODS-1991-JohnsonR #bound #protocol #replication
A Tight Upper Bound on the Benefits of Replication and Consistency Control Protocols (DBJ, LR), pp. 75–81.
SIGMODSIGMOD-1991-WangR #architecture #concurrent
Cache Consistency and Concurrency Control in a Client/Server DBMS Architecture (YW, LAR), pp. 367–376.
FMVDME-1991-DammBH #editing
The VDM-SL Editor and Consistency Checker (FMD, HB, BSH), pp. 693–694.
FMVDME-1991-DammHB #on the #type checking
On Type Checking in VDM and Related Consistency Issues (FMD, BSH, HB), pp. 45–62.
KRKR-1991-PequenoB #logic #nondeterminism
The Logic of Epistemic Inconsistency (THCP, AB), pp. 453–460.
ICMLML-1991-MaW #knowledge base #optimisation #performance
Improving the Performance of Inconsistent Knowledge Bases via Combined Optimization Method (YM, DCW), pp. 23–27.
ICMLML-1991-QianI #axiom #concept
The Consistent Concept Axiom (ZQ, KBI), pp. 437–441.
ICMLML-1991-Schlimmer #database #induction #learning
Database Consistency via Inductive Learning (JCS), pp. 640–644.
SIGIRSIGIR-1991-Cooper #information retrieval #nondeterminism #probability
Inconsistencies and Misnomers in Probabilistic IR (WSC), pp. 57–61.
ECOOPECOOP-1991-DelcourtZ #database #design #object-oriented
The Design of an Integrity Consistency Checker (ICC) for an Object-Oriented Database System (CD, RZ), pp. 97–117.
ICSEICSE-1991-Balzer #nondeterminism
Tolerating Inconsistency (RB), pp. 158–165.
ASPLOSASPLOS-1991-GharachorlooGH #evaluation #memory management #modelling #multi #performance
Performance Evaluation of Memory Consistency Models for Shared Memory Multiprocessors (KG, AG, JLH), pp. 245–257.
ICLPICLP-1991-BallanceG #incremental #interactive #maintenance
Incremental Consistency Maintenance for Interactive Applications (RAB, SLG), pp. 895–909.
ICTSSIWPTS-1991-Berghe #overview #specification #standard #tool support
Overview of the Standardisation of Conformance Test Specifications and Tools: European Work, Contribution to ISO/CCITT and Worldwide Harmonisation (FvdB), pp. 297–310.
ICTSSIWPTS-1991-CavalliK #generative #graph grammar #protocol #term rewriting #testing #using
Protocol Conformance Test Generation Using a Graph Rewriting System (ARC, SUK), pp. 285–288.
ICTSSIWPTS-1991-Hogrefe #development #on the #standard #testing
On the Development of a Standard for Conformance Testing Based on Formal Specifictations (DH), pp. 59–66.
ICTSSIWPTS-1991-Hogrefe91a #formal method #requirements
Session on Conformance Requirements and Test Purposes in the Context of Formal Methods (DH), pp. 289–290.
ICTSSIWPTS-1991-TretmansKB #formal method #protocol #testing
Protocol Conformance Testing: A Formal Perspective on ISO IS-9646 (JT, PK, EB), pp. 131–142.
ICTSSIWPTS-1991-VelthuysZ #approach #testing
Relating Events for Conformance Testing — a Pragmatic Approach (RJV, GZ), pp. 231–253.
ISSTATAV-1991-Sankar #algebra #runtime #specification
Run-Time Consistency Checking of Algebraic Specifications (SS), pp. 123–129.
VLDBVLDB-1990-CellaryJ #database #object-oriented
Consistency of Versions in Object-Oriented Databases (WC, GJ), pp. 432–441.
VLDBVLDB-1990-KorthSS #constraints #database #realtime
Triggered Real-Time Databases with Consistency Constraints (HFK, NS, AS), pp. 71–82.
VLDBVLDB-1990-WilkinsonN #maintenance
Maintaining Consistency of Client-Cached Data (WKW, MAN), pp. 122–133.
ICMLML-1990-Hirsh #bound #learning #nondeterminism
Learning from Data with Bounded Inconsistency (HH), pp. 32–39.
OOPSLAOOPSLA-ECOOP-1990-StraubeO #database #object-oriented #query
Type Consistency of Queries in an Object-Oriented Database System (DDS, MTÖ), pp. 224–233.
ICLPNACLP-1990-NaqviR #database #reasoning
Reasoning in Inconsistent Databases (SAN, FR), pp. 255–272.
ICLPNACLP-1990-OhwadaM #approach #constraints #design #interface #logic programming #maintenance
A Constraint Logic Programming Approach for Maintaining Consistency in User-Interface Design (HO, FM), pp. 139–153.
CHICHI-1989-LewisHS
Generalization, consistency, and control (CHL, DCH, VS), pp. 1–5.
ICMLML-1989-Rajamoney #approach #experience #problem
Exemplar-Based Theory Rejection: An Approach to the Experience Consistency Problem (SAR), pp. 284–289.
ICMLML-1989-WilkinsT #knowledge base #refinement
Knowledge Base Refinement as Improving an Incorrect, Inconsistent and Incomplete Domain Theory (DCW, KWT), pp. 332–339.
ASPLOSASPLOS-1989-BlackRGHB #approach
Translation Lookaside Buffer Consistency: A Software Approach (DLB, RFR, DBG, CRH, RVB), pp. 113–122.
SOSPSOSP-1989-GrayC #distributed #fault tolerance #named #performance
Leases: An Efficient Fault-Tolerant Mechanism for Distributed File Cache Consistency (CGG, DRC), pp. 202–210.
SOSPSOSP-1989-Rosenburg #multi #scalability
Low-Synchronization Translation Lookaside Buffer Consistency in Large-Scale Shared-Memory Multiprocessors (BSR), pp. 137–146.
STOCSTOC-1989-PittW #approximate #automaton #polynomial #problem
The Minimum Consistent DFA Problem Cannot Be Approximated within any Polynomial (LP, MKW), pp. 421–432.
LICSLICS-1989-KiferL #logic #named #nondeterminism #reasoning
RI: A Logic for Reasoning with Inconsistency (MK, ELL), pp. 253–262.
CADECADE-1988-Bezem #rule-based
Consistency of Rule-based Expert System (MB), pp. 151–161.
CADECADE-1988-SubrahmanianU #approximate #named #reasoning
QUANTLOG: A System for Approximate Reasoning in Inconsistent Formal Systems (VSS, ZDU), pp. 746–747.
LICSLICS-1988-Bachmair #equation #proving
Proof by Consistency in Equational Theories (LB), pp. 228–233.
LICSLICS-1988-DeganoNM #concurrent #on the #semantics
On the Consistency of “Truly Concurrent” Operational and Denotational Semantics (PD, RDN, UM), pp. 133–141.
LICSLICS-1988-GunterJ
Coherence and Consistency in Domains (CAG, AJ), pp. 309–317.
VLDBVLDB-1987-NguyenR #database
Expert Database Support for Consistent Dynamic Objects (GTN, DR), pp. 493–500.
ECOOPECOOP-1987-Horn #inheritance
Conformance, Genericity, Inheritance and Enhancement (CH), pp. 223–233.
VLDBVLDB-1986-BryM #constraints #database #logic
Checking Consistency of Database Constraints: a Logical Basis (FB, RM), pp. 13–20.
VLDBVLDB-1985-Pu #database #incremental #on the fly
On-the-Fly, Incremental, Consistent Reading of Entire Databases (CP), pp. 369–375.
SOSPSOSP-1985-DavcevB
Consistency and Recovery Control for Replicated Files (DD, WAB), pp. 87–96.
PODSPODS-1984-GrahamV #axiom #complexity #database #on the
On the Complexity and Axiomatizability of Consistent Database States (MHG, MYV), pp. 281–289.
SIGMODSIGMOD-1983-KuckS #design #network
Designing Globally Consistent Network Schemas (SMK, YS), pp. 185–195.
DACDAC-1983-ChangA
Consistency checking for MOS/VLSI circuits (NSC, RA), pp. 732–733.
VLDBVLDB-1982-NeumannH #database #transaction
Consistency and Transactions in CAD Database (TN, CH), pp. 181–188.
ICSEICSE-1982-RudmikCC #design #embedded
Consistency Checking within Embedded Design Languages (AR, BEC, HC), pp. 236–245.
DACDAC-1980-ChaoHY #approach #layout
A hierarchical approach for layout versus circuit consistency check (SPC, YSH, LMY), p. 269.
DACDAC-1980-ChaoHY80a #approach #layout
A hierarchical approach for layout versus circuit consistency check (SPC, YSH, LMY), pp. 270–276.
STOCSTOC-1980-DeMilloL #problem
The Consistency of “P = NP” and Related Problems with Fragments of Number Theory (RAD, RJL), pp. 45–57.
VLDBVLDB-1979-GardarinM #database #proving #transaction
Proving Consistency of Database Transactions (GG, MAM), pp. 291–298.
DACDAC-1979-Preiss #2d #3d #finite
A procedure for checking the topological consistency of a 2-D or 3-D finite element mesh (KP), pp. 200–206.
SIGMODSIGMOD-1978-LienW #concurrent
Consistency, Concurrency and Crash Recovery (YEL, PJW), pp. 9–14.
VLDBVLDB-1977-GardarinL #algorithm #database #nondeterminism #scalability #scheduling
Scheduling Algorithms for Avoiding Inconsistency in Large Databases (GG, PL), pp. 501–506.
POPLPOPL-1977-CherniavskyK #hoare #programming language #semantics
A Complete and Consistent Hoare Semantics for a Simple Programming Language (JCC, SNK), pp. 1–9.
SOSPSOSP-1977-Ellis #correctness #database
Consistency and Correctness of Duplicate Database Systems (CAE), pp. 67–84.
STOCSTOC-1976-Owicki #deduction #parallel #source code #verification
A Consistent and Complete Deductive System for the Verification of Parallel Programs (SSO), pp. 73–86.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.