BibSLEIGH — consistency tag

consistency

consistency

Tag #consistency

928 papers:

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