BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
resolut (34)
detect (33)
base (26)
system (24)
model (22)

Stem conflict$ (all stems)

222 papers:

WICSAWICSA-2015-BangM #design #detection #higher-order
Proactive Detection of Higher-Order Software Design Conflicts (JYB, NM), pp. 155–164.
DACDAC-2015-TretterKT #multi #probability
Interleaved multi-bank scratchpad memories: a probabilistic description of access conflicts (AT, PK, LT), p. 6.
DATEDATE-2015-LiSGWXZS #memory management #performance #reduction
Maximizing IO performance via conflict reduction for flash memory storage systems (QL, LS, CG, KW, CJX, QZ, EHMS), pp. 904–907.
DATEDATE-2015-WangLWY #gpu
Eliminating intra-warp conflict misses in GPU (BW, ZL, XW, WY), pp. 689–694.
FASEFASE-2015-BornAHT #dependence #rule-based
Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin (KB, TA, FH, GT), pp. 165–168.
PLDIPLDI-2015-IsradisaikulM #parsing
Finding counterexamples from parsing conflicts (CI, ACM), pp. 555–564.
GaMGaM-2015-KulcsarDLVS #detection #graph transformation
Improved Conflict Detection for Graph Transformation with Attributes (GK, FD, ML, GV, AS), pp. 97–112.
ICGTICGT-2015-MachadoRH #evolution #graph transformation
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems (RM, LR, RH), pp. 171–186.
CSCWCSCW-2015-FilippovaC #open source
Mudslinging and Manners: Unpacking Conflict in Free and Open Source Software (AF, HC), pp. 1393–1403.
HCIDUXU-DD-2015-Jin #constraints #design #experience #formal method
The Conflict Resolution in Product Experience Design Based on Evaporating Cloud of the Theory of Constraints (LJ), pp. 53–62.
ICEISICEIS-v1-2015-SilvaBZ
Indirect Normative Conflict — Conflict that Depends on the Application Domain (VTdS, CB, JdOZ), pp. 452–461.
OOPSLAOOPSLA-2015-BiswasZBL #exception #named #performance
Valor: efficient, software-only region conflict exceptions (SB, MZ, MDB, BL), pp. 241–259.
REFSQREFSQ-2015-RazavianG #requirements
Consonance Between Economic and IT Services: Finding the Balance Between Conflicting Requirements (MR, JG), pp. 148–163.
SACSAC-2015-IglesiaJGP #parallel
Parallel trajectory synchronization for aircraft conflicts resolution (EdlI, GBJ, CG, MP), pp. 1339–1341.
ESEC-FSEESEC-FSE-2015-NguyenNDKN #detection #execution #semantics #variability
Detecting semantic merge conflicts with variability-aware execution (HVN, MHN, SCD, CK, TNN), pp. 926–929.
ESEC-FSEESEC-FSE-2015-NorthBSC #developer #named #using
GitSonifier: using sound to portray developer conflict history (KJN, SB, AS, MBC), pp. 886–889.
ICSEICSE-v2-2015-Accioly #collaboration #comprehension #development
Understanding Conflicts Arising from Collaborative Development (PRGA), pp. 775–777.
SLESLE-2015-OchoaRT #feature model #modelling #using
Using decision rules for solving conflicts in extended feature models (LO, OGR, TT), pp. 149–160.
CAVCAV-2015-DSilvaU #termination
Conflict-Driven Conditional Termination (VD, CU), pp. 271–286.
HTHT-2014-LiuW #communication #twitter
Cross-hierarchical communication in Twitter conflicts (ZL, IW), pp. 311–312.
SIGMODSIGMOD-2014-LiLGZFH #estimation #reliability #semistructured data
Resolving conflicts in heterogeneous data by truth discovery and source reliability estimation (QL, YL, JG, BZ, WF, JH), pp. 1187–1198.
CHICHI-2014-ScissorsRG #self
Room for interpretation: the role of self-esteem and CMC in romantic couple conflict (LES, MER, DG), pp. 3953–3962.
CHICHI-2014-VoidaDHM #logic
Shared values/conflicting logics: working around e-government systems (AV, LD, GRH, MM), pp. 3583–3592.
CSCWCSCW-2014-Willever-FarrF #matter #online #product line
Family matters: control and conflict in online family history production (HWF, AF), pp. 475–486.
KEODKEOD-2014-ChamekhTB #concept #multi #ontology
Ontology Modification in a Multi-User Concept — Conflict Resolution (FC, GT, DB), pp. 296–303.
MODELSMoDELS-2014-ChavarriagaNCJ #detection #multi #process
Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process (JC, CN, RC, VJ), pp. 337–352.
MODELSMoDELS-2014-ChavarriagaNCJ #detection #multi #process
Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process (JC, CN, RC, VJ), pp. 337–352.
FSEFSE-2014-Kasi #detection #scheduling
Minimizing software conflicts through proactive detection of conflicts and task scheduling (BKK), pp. 807–810.
ICLPICLP-J-2014-GallF #adaptation #implementation
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R (DG, TWF), pp. 525–538.
SMTSMT-2014-KorovinKS #learning #towards
Towards Conflict-Driven Learning for Virtual Substitution (KK, MK, TS), p. 71.
DATEDATE-2013-LuMS13a #estimation
Analytical timing estimation for temporally decoupled TLMs considering resource conflicts (KL, DMG, US), pp. 1161–1166.
ICALPICALP-v2-2013-CosmoMZZ #component #configuration management
Component Reconfiguration in the Presence of Conflicts (RDC, JM, SZ, GZ), pp. 187–198.
CHICHI-2013-HarmonM #smarttech
Stories of the Smartphone in everyday discourse: conflict, tension & instability (EH, MM), pp. 1051–1060.
CHICHI-2013-RauARR #design #interactive #learning #why
Why interactive learning environments can have it all: resolving design conflicts between competing goals (MAR, VA, NR, SR), pp. 109–118.
CHICHI-2013-YamashitaKHK #comprehension #product line
Understanding the conflicting demands of family caregivers caring for depressed family members (NY, HK, KH, TK), pp. 2637–2646.
CSCWCSCW-2013-AgustinaS #3d #collaboration #design #detection #realtime
Dependency-conflict detection in real-time collaborative 3D design systems (A, CS), pp. 715–728.
CSCWCSCW-2013-ScissorsG #quote
“Back and forth, back and forth”: channel switching in romantic couple conflict (LES, DG), pp. 237–248.
SEKESEKE-2013-CostaJM #detection #modelling #semantics
Semantic Conflicts Detection in Model-driven Engineering (VOC, JMBOJ, LGPM), pp. 656–661.
MODELSMoDELS-2013-RajbhojR #approach #detection #metamodelling #version control
A Graph-Pattern Based Approach for Meta-Model Specific Conflict Detection in a General-Purpose Model Versioning System (AR, SR), pp. 422–435.
MODELSMoDELS-2013-RajbhojR #approach #detection #metamodelling #version control
A Graph-Pattern Based Approach for Meta-Model Specific Conflict Detection in a General-Purpose Model Versioning System (AR, SR), pp. 422–435.
POPLPOPL-2013-DSilvaHK #learning
Abstract conflict driven learning (VD, LH, DK), pp. 143–154.
SACSAC-2013-BakreBE #approach #interactive #uml
Aspect interaction chart — a UML approach for modularizing aspect interaction conflicts (SB, AB, TE), pp. 1254–1259.
ICSEICSE-2013-KasiS #named #scheduling
Cassandra: proactive conflict minimization through optimized task scheduling (BKK, AS), pp. 732–741.
ASPLOSASPLOS-2013-ParkBCLN #harmful #manycore #memory management
Regularities considered harmful: forcing randomness to memory accesses to reduce row buffer conflicts for multi-core, multi-bank systems (HP, SB, JC, DL, SHN), pp. 181–192.
DATEDATE-2012-AbedW #online
Double-patterning friendly grid-based detailed routing with online conflict resolution (ISA, AGW), pp. 1475–1478.
VLDBVLDB-2012-ZhaoRGH #approach #integration
A Bayesian Approach to Discovering Truth from Conflicting Sources for Data Integration (BZ, BIPR, JG, JH), pp. 550–561.
FASEFASE-2012-HermannEEO #concurrent #graph grammar
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars (FH, HE, CE, FO), pp. 178–193.
TACASTACAS-2012-DSilvaHKT #analysis #bound #learning
Numeric Bounds Analysis with Conflict-Driven Learning (VD, LH, DK, MT), pp. 48–63.
MSRMSR-2012-ArthoSCTZ #question #why
Why do software packages conflict? (CA, KS, RDC, RT, SZ), pp. 141–150.
GT-VMTGT-VMT-2012-HanH #modelling
Remedy of Mixed Initiative Conflicts in Model-based System Engineering (FH, PH).
CSCWCSCW-2012-AgustinaSX #3d #collaboration #dependence #design #realtime
Operational transformation for dependency conflict resolution in real-time collaborative 3D design systems (A, CS, DX), pp. 1401–1410.
CSCWCSCW-2012-CollierB #empirical #gender #wiki
Conflict, criticism, or confidence: an empirical examination of the gender gap in wikipedia contributions (BC, JB), pp. 383–392.
CSCWCSCW-2012-DongF #communication #why
One piece at a time: why video-based communication is better for negotiation and conflict resolution (WD, WTF), pp. 167–176.
CSCWCSCW-2012-LiuBS #collaboration #design #detection #product line
Conflict detection and resolution for product line design in a collaborative decision making environment (X(L, ECB, JES), pp. 1327–1336.
CSCWCSCW-2012-SunSXS #collaboration #editing #realtime
Creative conflict resolution in realtime collaborative editing systems (DS, CS, SX, HS), pp. 1411–1420.
CSCWCSCW-2012-SunWF #2d #collaboration #editing #orthogonal #realtime
Operational transformation for orthogonal conflict resolution in real-time collaborative 2d editing systems (CS, HW, HF), pp. 1391–1400.
CAiSECAiSE-2012-SchmelingCMM #composition #non-functional #towards
Towards Conflict-Free Composition of Non-functional Concerns (BS, AC, MM, MM), pp. 80–94.
ICEISICEIS-v2-2012-Bourougaa-TriaSM #adaptation #ubiquitous
Management of User Preferences and Conflicts to Ubiquitous Applications Adaptation (SBT, HSB, FM), pp. 271–276.
KEODKEOD-2012-ZainolN #design #process
Conflict Resolution in Overlapping Information Fields for Context-based Activity Design (ZZ, KN), pp. 190–195.
KRKR-2012-GrastienHT #theory and practice
Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice (AG, PH, ST).
SACSAC-2012-FanS #automation #collaboration #dependence #programming #realtime #semantics
Dependency-based automatic locking for semantic conflict prevention in real-time collaborative programming (HF, CS), pp. 737–742.
ICSEICSE-2012-GuimaraesS #detection
Improving early detection of software merge conflicts (MLG, ARS), pp. 342–352.
ASPLOSASPLOS-2012-LinNGR #consistency #performance
Efficient sequential consistency via conflict ordering (CL, VN, RG, BR), pp. 273–286.
CGOCGO-2012-MannarswamyG #compilation #transaction
Reconciling transactional conflicts with compiler’s help (SSM, RG), pp. 53–62.
HPCAHPCA-2012-DuanZAT #commit #execution #named
BulkCompactor: Optimized deterministic execution via Conflict-Aware commit of atomic blocks (YD, XZ, WA, JT), pp. 361–372.
ICLPICLP-J-2012-EiterFKR
Conflict-driven ASP solving with external sources (TE, MF, TK, CR), pp. 659–679.
ICSTSAT-2012-KottlerZSK #analysis #named #satisfiability
CoPAn: Exploring Recurring Patterns in Conflict Analysis of CDCL SAT Solvers — (Tool Presentation) (SK, CZ, PS, MK), pp. 449–455.
ICSTSAT-2012-LaitinenJN #learning
Conflict-Driven XOR-Clause Learning (TL, TAJ, IN), pp. 383–396.
DATEDATE-2011-SafarESS #configuration management #pipes and filters #satisfiability
A reconfigurable, pipelined, conflict directed jumping search SAT solver (MS, MWEK, MS, AS), pp. 1243–1248.
DATEDATE-2011-StattelmannBR #analysis #manycore #performance #simulation
Fast and accurate resource conflict simulation for performance analysis of multi-core systems (SS, OB, WR), pp. 210–215.
DocEngDocEng-2011-KarolNKAM #adaptation #aspect-oriented #detection #multi #xml
Detecting and resolving conflicts between adaptation aspects in multi-staged XML transformations (SK, MN, DK, UA, KM), pp. 229–238.
FASEFASE-2011-EhrigET #graph #using #version control
A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications (HE, CE, GT), pp. 202–216.
ICPCICPC-2011-ZibranR #approach #constraints #programming #refactoring #scheduling
Conflict-Aware Optimal Scheduling of Code Clone Refactoring: A Constraint Programming Approach (MFZ, CKR), pp. 266–269.
SCAMSCAM-2011-ZibranR #approach #constraints #programming #refactoring #scheduling
A Constraint Programming Approach to Conflict-Aware Optimal Scheduling of Prioritized Code Clone Refactoring (MFZ, CKR), pp. 105–114.
CHICHI-2011-YeeDYN
Do men heal more when in drag?: conflicting identity cues between user and avatar (NY, ND, MY, LN), pp. 773–776.
HCIHIMI-v2-2011-DaoBBKNMRJ #automation
Conflict Resolution Automation and Pilot Situation Awareness (AQVD, SLB, LPB, JMK, JHN, KM, HR, WWJ), pp. 473–482.
HCIIDGD-2011-Shin #challenge #multi #towards
Toward the New Sullivan Principles in the Information Age: Conflicts and Challenges of Multinational Information Technology Companies in Asian Countries (BS), pp. 393–401.
CAiSECAiSE-2011-MoserWHB #analysis #automation #categorisation #empirical #requirements #semantics
Requirements Management with Semantic Technology: An Empirical Study on Automated Requirements Categorization and Conflict Analysis (TM, DW, MH, SB), pp. 3–17.
ICEISICEIS-J-2011-BezerraH11a #community #process #wiki
Applying Conflict Management Process to Wiki Communities (JdMB, CMH), pp. 333–348.
ICEISICEIS-v4-2011-BezerraH #community #process
Conflict Management Process for Virtual Communities (JdMB, CMH), pp. 33–42.
SEKESEKE-2011-AlspaughAS
Presenting Software License Conflicts through Argumentation (TAA, HUA, WS), pp. 509–514.
SEKESEKE-2011-MoserWHB #analysis #automation #detection #empirical #requirements #semantics
Automating the Detection of Complex Semantic Conflicts between Software Requirements (An empirical study on requirements conflict analysis with semantic technology) (TM, DW, MH, SB), pp. 729–735.
ECMFAECMFA-2011-BarrettCB #detection
Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador (SB, PC, GB), pp. 329–344.
RERE-2011-MaxwellAS #identification #requirements #taxonomy
A legal cross-references taxonomy for identifying conflicting software requirements (JCM, AIA, PPS), pp. 197–206.
ESEC-FSEESEC-FSE-2011-BrunHEN #collaboration #detection
Proactive detection of collaboration conflicts (YB, RH, MDE, DN), pp. 168–178.
ESEC-FSEESEC-FSE-2011-BrunHEN11a #named #precise
Crystal: precise and unobtrusive conflict warnings (YB, RH, MDE, DN), pp. 444–447.
ICSTSAT-2011-Gelder11a #satisfiability
Generalized Conflict-Clause Strengthening for Satisfiability Solvers (AVG), pp. 329–342.
DACDAC-2010-LinL #graph
Double patterning lithography aware gridless detailed routing with innovative conflict graph (YHL, YLL), pp. 398–403.
DATEDATE-2010-GaoM #lazy evaluation
Enhancing double-patterning detailed routing with lazy coloring and within-path conflict avoidance (XG, LM), pp. 1279–1284.
DATEDATE-2010-HuanYCM #energy #graph
Energy-oriented dynamic SPM allocation based on time-slotted Cache conflict graph (WH, ZY, MC, LM), pp. 598–601.
SIGMODSIGMOD-2010-GatterbauerS #trust #using
Data conflict resolution using trust mappings (WG, DS), pp. 219–230.
ICALPICALP-v1-2010-Welzl #constraints #satisfiability
When Conflicting Constraints Can Be Resolved — The Lovász Local Lemma and Satisfiability (EW), p. 18.
ICGTICGT-2010-TaentzerELW #detection #graph #version control
Conflict Detection for Model Versioning Based on Graph Modifications (GT, CE, PL, MW), pp. 171–186.
CHICHI-2010-Al-AniMS
Blogging in a region of conflict: supporting transition to recovery (BAA, GM, BS), pp. 1069–1078.
CHICHI-2010-BillingsW #comprehension #online #using
Understanding dispute resolution online: using text to reflect personal and substantive issues in conflict (MB, LAW), pp. 1447–1456.
CHICHI-2010-SmythEB #named
MOSES: exploring new ground in media and post-conflict reconciliation (TNS, JE, MLB), pp. 1059–1068.
CSCWCSCW-2010-KitturK #coordination #online #wiki
Beyond Wikipedia: coordination and conflict in online production groups (AK, REK), pp. 215–224.
KEODKEOD-2010-TrikiBFH #design #modelling
Modeling Conflict of Interest in the Design of Secure Data Warehouses (ST, HBA, JF, NH), pp. 445–448.
SEKESEKE-2010-IbrahimWEF #analysis #development #off the shelf
Conflict Analysis in Commercial Off-The-Shelf (COTS) Based Development (HI, TW, AE, BHF), pp. 686–691.
MODELSMoDELS-v2-2010-GerthKLE #detection #precise #process #using
Precise Detection of Conflicting Change Operations Using Process Model Terms (CG, JMK, ML, GE), pp. 93–107.
SACSAC-PL-J-2008-DennyM10 #algorithm #generative #lr #parsing
The IELR(1) algorithm for generating minimal LR(1) parser tables for non-LR(1) grammars with conflict resolution (JED, BAM), pp. 943–979.
ASEASE-2009-SardinhaCWGR #aspect-oriented #automation #detection #named #requirements
EA-Analyzer: Automating Conflict Detection in Aspect-Oriented Requirements (AS, RC, NW, PG, AR), pp. 530–534.
CASECASE-2009-ChiddarwarB #coordination #multi
Dynamic priority allocation for conflict free coordinated manipulation of multiple agents (SSC, NRB), pp. 549–554.
CASECASE-2009-DSouzaGRS #realtime
Supervisory control for real-time systems based on conflict-tolerant controllers (DD, MG, SR, PS), pp. 555–560.
VLDBVLDB-2009-DongBS #dependence
Integrating Conflicting Data: The Role of Source Dependence (XLD, LBE, DS), pp. 550–561.
VLDBVLDB-2009-DongN #data fusion #integration
Data fusion — Resolving Data Conflicts for Integration (XLD, FN), pp. 1654–1655.
VLDBVLDB-2009-LeeDCLZ #database #manycore #named
MCC-DB: Minimizing Cache Conflicts in Multi-core Processors for Databases (RL, XD, FC, QL, XZ), pp. 373–384.
ITiCSEITiCSE-2009-MaFRRW #modelling #using #visualisation
Improving the mental models held by novice programmers using cognitive conflict and jeliot visualisations (LM, JDF, MR, IR, MW), pp. 166–170.
FoSSaCSFoSSaCS-2009-Gutierrez #bisimulation #concurrent #game studies #logic
Logics and Bisimulation Games for Concurrency, Causality and Conflict (JG), pp. 48–62.
CHICHI-2009-BinderHS #network #problem #social
The problem of conflicting social spheres: effects of network structure on experienced tension in social network sites (JB, AH, AGS), pp. 965–974.
CHICHI-2009-KitturCS #topic #using #what #wiki
What’s in Wikipedia?: mapping topics and conflict using socially annotated category structure (AK, EHC, BS), pp. 1509–1512.
CHICHI-2009-RothT #mobile #multi
Bezel swipe: conflict-free scrolling and multiple selection on mobile touch screen devices (VR, TT), pp. 1523–1526.
CHICHI-2009-TakayamaGN #aspect-oriented #social
I’m sorry, Dave: I’m afraid i won’t do that: social aspects of human-agent conflict (LT, VG, CN), pp. 2099–2108.
KMISKMIS-2009-RohrbaughH #information management #multi #process
Value Knowledge Management — Process Structuring for Multi-party Conflict (JR, SH), pp. 63–68.
ECMFAECMDA-FA-2009-KusterGE #modelling #process
Dependent and Conflicting Change Operations of Process Models (JMK, CG, GE), pp. 158–173.
ESEC-FSEESEC-FSE-2009-ShaoKP #named #parallel #semantics
SCA: a semantic conflict analyzer for parallel changes (DS, SK, DEP), pp. 291–292.
PPoPPPPoPP-2009-RamadanRHW #commit #transaction
Committing conflicting transactions in an STM (HER, IR, MH, EW), pp. 163–172.
CADECADE-2009-SebastianiV #analysis #axiom #encoding #lightweight #logic
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis (RS, MV), pp. 84–99.
ICLPICLP-2009-GebserKKS #constraints #implementation #on the
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers (MG, RK, BK, TS), pp. 250–264.
ICSTSAT-2009-Chen #hybrid #reasoning #satisfiability
Building a Hybrid SAT Solver via Conflict-Driven, Look-Ahead and XOR Reasoning Techniques (JC), pp. 298–311.
ICSTSAT-2009-Gelder #proving
Improved Conflict-Clause Minimization Leads to Improved Propositional Proof Traces (AVG), pp. 141–146.
CASECASE-2008-ReveliotisR #multi #paradigm #resource management
Conflict resolution in multi-vehicle systems: A resource allocation paradigm (SAR, ER), pp. 115–121.
SASSAS-2008-LammichM #analysis #concurrent #monitoring #source code #thread
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors (PL, MMO), pp. 205–220.
CIAACIAA-2008-Yen #concurrent #petri net
Concurrency, Synchronization, and Conflicts in Petri Nets (HCY), pp. 33–35.
GT-VMTGT-VMT-2006-LambersEO08 #detection #graph transformation #performance
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs (LL, HE, FO), pp. 17–26.
CHICHI-2008-StockZKREGTW #interface
A co-located interface for narration to support reconciliation in a conflict: initial results from Jewish and Palestinian youth (OS, MZ, CK, CR, ZE, DGB, DT, PL(W), pp. 1583–1592.
KRKR-2008-DrescherGGKKOS #set
Conflict-Driven Disjunctive Answer Set Solving (CD, MG, TG, BK, AK, MO, TS), pp. 422–432.
KRKR-2008-EveraereKM
Conflict-Based Merging Operators (PE, SK, PM), pp. 348–357.
SEKESEKE-2008-BalushiSPCL #identification #ontology #quality #using
Identifying NFRs Conflicts Using Quality Ontology (THAB, PRFS, MP, ÓC, PL), pp. 929–934.
MODELSMoDELS-2008-CicchettiRP #development #distributed
Managing Model Conflicts in Distributed Development (AC, DDR, AP), pp. 311–325.
MODELSMoDELS-2008-CicchettiRP #development #distributed
Managing Model Conflicts in Distributed Development (AC, DDR, AP), pp. 311–325.
SACSAC-2008-DennyM #lr #parsing
IELR(1): practical LR(1) parser tables for non-LR(1) grammars with conflict resolution (JED, BAM), pp. 240–245.
SACSAC-2008-ZuikeviciuteP #database #replication
Conflict-aware load-balancing techniques for database replication (VZ, FP), pp. 2169–2173.
CAVCAV-2008-DSouzaG
Conflict-Tolerant Features (DD, MG), pp. 227–239.
ICSTSAT-2008-AudemardBHJS #analysis #framework
A Generalized Framework for Conflict Analysis (GA, LB, YH, SJ, LS), pp. 21–27.
ICSTSAT-2008-Biere #adaptation #satisfiability
Adaptive Restart Strategies for Conflict Driven SAT Solvers (AB), pp. 28–33.
ICSTSAT-2008-SchederZ #how #question #satisfiability
How Many Conflicts Does It Need to Be Unsatisfiable? (DS, PZ), pp. 246–256.
ASEASE-2007-LiuLMS #quality #refactoring #scheduling
Scheduling of conflicting refactorings to promote quality improvement (HL, GL, ZM, WS), pp. 489–492.
ASEASE-2007-SarmaBH #configuration management #towards
Towards supporting awareness of indirect conflicts across software configuration management workspaces (AS, GB, AvdH), pp. 94–103.
SIGMODSIGMOD-2007-QiCSK #query #taxonomy
Integrating and querying taxonomies with quest in the presence of conflicts (YQ, KSC, MLS, KWK), pp. 1153–1155.
ICALPICALP-2007-Bar-NoyCOS #online
Online Conflict-Free Colorings for Hypergraphs (ABN, PC, SO, SS), pp. 219–230.
IFMIFM-2007-Marr #csp
Capturing Conflict and Confusion in CSP (CM), pp. 413–438.
CHICHI-2007-KitturSPC #coordination #wiki
He says, she says: conflict and coordination in Wikipedia (AK, BS, BAP, EHC), pp. 453–462.
HCIHCI-AS-2007-VanackenRLC #collaboration #user interface
Focus+Roles: Socio-Organizational Conflict Resolution in Collaborative User Interfaces (DV, CR, KL, KC), pp. 788–796.
CAiSECAiSE-2007-WalleCD #distributed #process #requirements #sequence
The Impact of Task Structure and Negotiation Sequence on Distributed Requirements Negotiation Activity, Conflict, and Satisfaction (BVdW, CC, FPD), pp. 381–394.
ICEISICEIS-EIS-2007-SilvaMA #collaboration #enterprise #network
Conflict Resolution in Collaborative Network Enterprises (SAdS, PM, PA), pp. 329–333.
KDDKDD-2007-YinHY #multi #web
Truth discovery with multiple conflicting information providers on the web (XY, JH, PSY), pp. 1048–1052.
SEKESEKE-2007-LiangS #aspect-oriented #composition #detection #specification
Modular Specification of Aspect-oriented Systems and Aspect Conflicts Detection (HL, JS), pp. 77–80.
SACSAC-2007-CicchettiR #detection #modelling #specification #weaving
Weaving models in conflict detection specifications (AC, AR), pp. 1035–1036.
ICSTSAT-2007-DershowitzHN #comprehension #satisfiability #towards
Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver (ND, ZH, AN), pp. 287–293.
DATEDATE-2006-JinS #analysis #satisfiability
Strong conflict analysis for propositional satisfiability (HJ, FS), pp. 818–823.
DATEDATE-2006-VandierendonckML #configuration management
Application-specific reconfigurable XOR-indexing to eliminate cache conflict misses (HV, PM, JDL), pp. 357–362.
ICGTICGT-2006-LambersEO #detection #graph transformation
Conflict Detection for Graph Transformation with Negative Application Conditions (LL, HE, FO), pp. 61–76.
ICEISICEIS-ISAS-2006-BenferhatB #policy #security
Argument-Based Approaches in Prioritized Conflicting Security Policies (SB, REB), pp. 349–354.
RERE-2006-GiorginiMMZ #detection
Detecting Conflicts of Interest (PG, FM, JM, NZ), pp. 308–311.
SACSAC-2006-Lindgren #on the
On handling conflicts between rules with numerical features (TL), pp. 37–41.
DATEDATE-2005-ChiangKSXZ #detection
Bright-Field AAPSM Conflict Detection and Correction (CC, ABK, SS, XX, AZ), pp. 908–913.
DATEDATE-2005-IyerPC #constraints #learning #performance #theorem proving
Efficient Conflict-Based Learning in an RTL Circuit Constraint Solver (MKI, GP, KTC), pp. 666–671.
FASEFASE-2005-LeicherS #analysis #composition #modelling #uml
Augmenting UML Models for Composition Conflict Analysis (AL, JGS), pp. 127–140.
TACASTACAS-2005-JinHS #analysis #performance
Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit (HJ, HH, FS), pp. 287–300.
FMFM-2005-Bolton #csp
Adding Conflict and Confusion to CSP (CB), pp. 205–220.
ICEISICEIS-v2-2005-AhmanH #approach #game studies #reduction #simulation #using
Using a Game Theoretical Approach for Experimental Simulation of Brood Reduction — Conflict and Co-Operation, Effect on Brood Size with Limited Resources (, LH), pp. 220–225.
ICEISICEIS-v3-2005-SilvaC #detection #non-functional #requirements
Functional and Non-Functional Application Software Requirements: Early Conflict Detection (PSMS, LC), pp. 343–348.
WICSAWICSA-2004-PoortW #composition #non-functional
Resolving Requirement Conflicts through Non-Functional Decomposition (ERP, PHNdW), pp. 145–154.
DACDAC-2004-KapoorJ #concurrent #logic #specification #synthesis
Decomposing specifications with concurrent outputs to resolve state coding conflicts in asynchronous logic synthesis (HKK, MBJ), pp. 830–833.
HTHT-2004-Francisco-RevillaS04a #adaptation #hypermedia #multi
Managing conflict in multi-model adaptive hypertext (LFR, FMSI), pp. 237–238.
CHICHI-2004-ViegasWD #visualisation
Studying cooperation and conflict between authors with history flow visualizations (FBV, MW, KD), pp. 575–582.
CIKMCIKM-2004-ChomickiMS #consistency #query #using
Computing consistent query answers using conflict hypergraphs (JC, JM, SS), pp. 417–426.
KRKR-2004-AmgoudC #on the
On the Use of an ATMS for Handling Conflicting Desires (LA, CC), pp. 194–202.
HPCAHPCA-2004-KharbutliISL #using
Using Prime Numbers for Cache Indexing to Eliminate Conflict Misses (MK, KI, YS, JL), pp. 288–299.
SATSAT-2004-LewisSB #detection #satisfiability
Early Conflict Detection Based BCP for SAT Solving (MDTL, TS, BB), pp. 29–36.
DATEDATE-2003-MadalinskiBKY #design #visualisation
Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design (AM, AVB, VK, AY), pp. 10926–10931.
PLDIPLDI-2003-PraunG #analysis #concurrent #multi #object-oriented #source code #thread
Static conflict analysis for multi-threaded object-oriented programs (CvP, TRG), pp. 115–128.
EDOCEDOC-2003-DunlopIR
Methods for Conflict Resolution in Policy-Based Management Systems (ND, JI, KR), pp. 98–111.
ICEISICEIS-v3-2003-HellmanG #collaboration #ontology
Structural Conflict Avoidance in Collaborative Ontology Engineering (ZH, AG), pp. 67–76.
RERE-2003-Barnes #ambiguity #convergence #design #process #requirements #using
Using Convergent Design Processes to Surface Hidden Ambiguity and Conflict in Requirements (RJB), p. 281.
RTARTA-2003-KhasidashviliG #partial order #semantics #term rewriting
Stable Computational Semantics of Conflict-Free Rewrite Systems (Partial Orders with Duplication) (ZK, JRWG), pp. 467–482.
ICSTSAT-2003-HerbstrittB #branch
Conflict-Based Selection of Branching Rules (MH, BB), pp. 441–451.
ICSTSAT-2003-Kullmann #combinator
The Combinatorics of Conflicts between Clauses (OK), pp. 426–440.
DATEDATE-2002-KhomenkoKY #detection #integer #programming #using
Detecting State Coding Conflicts in STGs Using Integer Programming (VK, MK, AY), pp. 338–345.
FoSSaCSFoSSaCS-2002-KochMP #data access #detection #policy #specification
Conflict Detection and Resolution in Access Control Policy Specifications (MK, LVM, FPP), pp. 223–237.
EDOCEDOC-2002-DunlopIR #detection
Dynamic Conflict Detection in Policy-Based Management Systems (ND, JI, KR), pp. 15–26.
FSEFSE-2002-CapraEM #approach #mobile
A micro-economic approach to conflict resolution in mobile computing (LC, WE, CM), pp. 31–40.
ICSEICSE-2002-HausmannHT #approach #case study #detection #functional #graph transformation #requirements #static analysis
Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation (JHH, RH, GT), pp. 105–115.
ICALPICALP-2001-ChrobakCINSW #multi #problem #scheduling
The Buffer Minimization Problem for Multiprocessor Scheduling with Conflicts (MC, JC, CI, JN, JS, GJW), pp. 862–874.
ICEISICEIS-v1-2001-LeeK #approach #logic programming
A Logic Programming Approach to Negotiation for Conflict Resolution in BDI Agents System (MJL, JSK), pp. 514–517.
ICEISICEIS-v1-2001-LopesMNC
Conflict and Negotiation among Intentional Agents (FL, NJM, AQN, HC), pp. 353–360.
RERE-2001-InR #visualisation
Issues of Visualized Conflict Resolution (HI, SR), pp. 314–315.
PODSPODS-2000-LechtenborgerV #on the #semantics #transaction
On Herbrand Semantics and Conflict Serializability of Read-Write Transactions (JL, GV), pp. 187–194.
KRKR-2000-ChomickiLN #approach #logic programming #policy
A Logic Programming Approach to Conflict Resolution in Policy Management (JC, JL, SAN), pp. 121–132.
KRKR-2000-Maynard-ReidL #representation
Representing and Aggregating Conflicting Beliefs (PMRI, DJL), pp. 153–164.
TOOLSTOOLS-ASIA-2000-LiuJC #approach #graph
A Graph-Theoretic Approach for Recognizing the User Interpretation without Conflicts (GL, WJ, ZC), pp. 291–298.
ICTSSTestCom-2000-FeckoAUD #generative #testing
Test Generation in the Presence of Conflicting Timers (MAF, PDA, MÜU, AYD), p. 301–?.
CAiSECAiSE-1999-SadiqO #graph #identification #modelling #process #reduction
Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models (WS, MEO), pp. 195–209.
PLDIPLDI-1998-RiveraT #data transformation
Data Transformations for Eliminating Conflict Misses (GR, CWT), pp. 38–49.
CIKMCIKM-1998-PalopoliSU #automation #database #detection
An Automatic Techniques for Detecting Type Conflicts in Database Schemes (LP, DS, DU), pp. 306–313.
RERE-1997-YenT #analysis #requirements #trade-off
A Systematic Tradeoff Analysis for Conflicting Imprecise Requirements (JY, WAT), p. 87–?.
HPCAHPCA-1997-ZhangT
Reducing Remote Conflict Misses: NUMA with Remote Cache versus COMA (ZZ, JT), pp. 272–281.
ICLPILPS-1997-Grosof #logic programming #source code
Prioritized Conflict Handling for Logic Programs (BNG), pp. 197–211.
PODSPODS-1996-JagadishMM #database
Managing Rule Conflicts in an Active Database (HVJ, AOM, ISM), pp. 192–201.
CSCWCSCW-1996-Elliott #case study #how
Conflict and Cooperation in the Courts: Case Study of how CSCW Alters Work (doctoral colloquium) (MSE), p. 445.
CIKMCIKM-1996-LeeJH #concurrent #database
A New Conflict Relation for Concurrency Control and Recovery in object-based Databases (SL, SYJ, CSH), pp. 288–295.
REICRE-1996-BoehmI #identification
Identifying Quality-Requirement Conflicts (BWB, HI), p. 218.
SACSAC-1996-DurandAN #algorithm #automation #search-based #using
Automatic aircraft conflict resolution using genetic algorithms (ND, JMA, JN), pp. 289–298.
DACDAC-1995-TimmerSMJ #code generation #modelling #scheduling
Conflict Modelling and Instruction Scheduling in Code Generation for In-House DSP Cores (AHT, MTJS, JLvM, JAGJ), pp. 593–598.
SOSPSOSP-1995-TerryTPDSH
Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System (DBT, MT, KP, AJD, MS, CH), pp. 172–183.
ICLPILPS-1995-JamilL #behaviour #declarative #inheritance #semantics
A Declarative Semantics for Behavioral Inheritance and Conflict Resolution (HMJ, LVSL), pp. 130–144.
ASPLOSASPLOS-1994-BershadLRC #scalability
Avoiding Conflict Misses Dynamically in Large Direct-Mapped Caches (BNB, DL, THR, JBC), pp. 158–170.
ASPLOSASPLOS-1994-GallagherCMGH #ambiguity #memory management #using
Dynamic Memory Disambiguation Using the Memory Conflict Buffer (DMG, WYC, SAM, JCG, WmWH), pp. 183–193.
ICLPICLP-1994-BurgLH #backtracking #set
Finding Conflict Sets and Backtrack Points in CLP(R) (JB, SDL, CEH), pp. 323–338.
TOOLSTOOLS-USA-1993-Page-Jones93a #object-oriented
Object-Orientation and Structured Techniques: Overlaps and Conflicts (MPJ), p. 573.
KRKR-1992-PinkasL #consistency #nondeterminism #reasoning #taxonomy
Reasoning from Inconsistency: A Taxonomy of Principles for Resolving Conflict (GP, RPL), pp. 709–719.
OOPSLAOOPSLA-1992-DucournauHHM #inheritance
Monotonic Conflict Resolution Mechanisms for Inheritance (RD, MH, MH, MLM), pp. 16–24.
VLDBVLDB-1991-SiegelM #approach #metadata #semantics
A Metadata Approach to Resolving Semantic Conflicts (MS, SEM), pp. 133–145.
ISSTATAV-1991-Young #formal method #question #re-engineering
Formal Methods versus Software Engineering: Is There a Conflict? (WDY), pp. 188–189.
ICLPCLP-1990-GiordanoM90 #maintenance #modelling
Generalized Stable Models, Truth Maintenance and Conflict Resolution (LG, AM), pp. 427–441.
SIGMODSIGMOD-1989-IoannidisS
Conflict Resolution of Rules Assigning Values to Virtual Attributes (YEI, TKS), pp. 205–214.
PLDIPLDI-1988-LarusH #detection
Detecting Conflicts Between Structure Accesses (JRL, PNH), pp. 21–34.
CSCWCSCW-1988-PooleHD
Conflict Management and Group Decision Support Systems (MSP, MH, GD), pp. 227–243.
ICALPICALP-1987-HowellR #equivalence #reachability
Completeness Rules for Reachability, Containment, and Equivalence, with Respect to Conflict-Free Vector Replacement Systems (RRH, LER), pp. 509–520.
STOCSTOC-1984-Willard #protocol
Log-Logarithmic Protocols for Resolving Ethernet and Semaphore Conflicts (Preliminary Report) (DEW), pp. 512–521.
DACDAC-1981-Kalay #generative #interactive #testing
Interactive shape generation and spatial conflict testing (YEK), pp. 75–81.

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