Stem conflict$ (all stems)

222 papers:

WICSA-2015-BangM #design #detection #higher-order

Proactive Detection of Higher-Order Software Design Conflicts (JYB, NM), pp. 155–164.

DAC-2015-TretterKT #multi #probability

Interleaved multi-bank scratchpad memories: a probabilistic description of access conflicts (AT, PK, LT), p. 6.

DATE-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.

DATE-2015-WangLWY #gpu

Eliminating intra-warp conflict misses in GPU (BW, ZL, XW, WY), pp. 689–694.

FASE-2015-BornAHT #dependence #rule-based

Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin (KB, TA, FH, GT), pp. 165–168.

PLDI-2015-IsradisaikulM #parsing

Finding counterexamples from parsing conflicts (CI, ACM), pp. 555–564.

GaM-2015-KulcsarDLVS #detection #graph transformation

Improved Conflict Detection for Graph Transformation with Attributes (GK, FD, ML, GV, AS), pp. 97–112.

ICGT-2015-MachadoRH #evolution #graph transformation

Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems (RM, LR, RH), pp. 171–186.

CSCW-2015-FilippovaC #open source

Mudslinging and Manners: Unpacking Conflict in Free and Open Source Software (AF, HC), pp. 1393–1403.

DUXU-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.

ICEIS-v1-2015-SilvaBZ

Indirect Normative Conflict — Conflict that Depends on the Application Domain (VTdS, CB, JdOZ), pp. 452–461.

OOPSLA-2015-BiswasZBL #exception #named #performance

Valor: efficient, software-only region conflict exceptions (SB, MZ, MDB, BL), pp. 241–259.

REFSQ-2015-RazavianG #requirements

Consonance Between Economic and IT Services: Finding the Balance Between Conflicting Requirements (MR, JG), pp. 148–163.

SAC-2015-IglesiaJGP #parallel

Parallel trajectory synchronization for aircraft conflicts resolution (EdlI, GBJ, CG, MP), pp. 1339–1341.

ESEC-FSE-2015-NguyenNDKN #detection #execution #semantics #variability

Detecting semantic merge conflicts with variability-aware execution (HVN, MHN, SCD, CK, TNN), pp. 926–929.

ESEC-FSE-2015-NorthBSC #developer #named #using

GitSonifier: using sound to portray developer conflict history (KJN, SB, AS, MBC), pp. 886–889.

ICSE-v2-2015-Accioly #collaboration #comprehension #development

Understanding Conflicts Arising from Collaborative Development (PRGA), pp. 775–777.

SLE-2015-OchoaRT #feature model #modelling #using

Using decision rules for solving conflicts in extended feature models (LO, OGR, TT), pp. 149–160.

CAV-2015-DSilvaU #termination

Conflict-Driven Conditional Termination (VD, CU), pp. 271–286.

HT-2014-LiuW #communication #twitter

Cross-hierarchical communication in Twitter conflicts (ZL, IW), pp. 311–312.

SIGMOD-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.

CHI-2014-ScissorsRG #self

Room for interpretation: the role of self-esteem and CMC in romantic couple conflict (LES, MER, DG), pp. 3953–3962.

CHI-2014-VoidaDHM #logic

Shared values/conflicting logics: working around e-government systems (AV, LD, GRH, MM), pp. 3583–3592.

CSCW-2014-Willever-FarrF #matter #online #product line

Family matters: control and conflict in online family history production (HWF, AF), pp. 475–486.

KEOD-2014-ChamekhTB #concept #multi #ontology

Ontology Modification in a Multi-User Concept — Conflict Resolution (FC, GT, DB), pp. 296–303.

MoDELS-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.

MoDELS-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.

FSE-2014-Kasi #detection #scheduling

Minimizing software conflicts through proactive detection of conflicts and task scheduling (BKK), pp. 807–810.

ICLP-J-2014-GallF #adaptation #implementation

Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R (DG, TWF), pp. 525–538.

SMT-2014-KorovinKS #learning #towards

Towards Conflict-Driven Learning for Virtual Substitution (KK, MK, TS), p. 71.

DATE-2013-LuMS13a #estimation

Analytical timing estimation for temporally decoupled TLMs considering resource conflicts (KL, DMG, US), pp. 1161–1166.

ICALP-v2-2013-CosmoMZZ #component #configuration management

Component Reconfiguration in the Presence of Conflicts (RDC, JM, SZ, GZ), pp. 187–198.

CHI-2013-HarmonM #smarttech

Stories of the Smartphone in everyday discourse: conflict, tension & instability (EH, MM), pp. 1051–1060.

CHI-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.

CHI-2013-YamashitaKHK #comprehension #product line

Understanding the conflicting demands of family caregivers caring for depressed family members (NY, HK, KH, TK), pp. 2637–2646.

CSCW-2013-AgustinaS #3d #collaboration #design #detection #realtime

Dependency-conflict detection in real-time collaborative 3D design systems (A, CS), pp. 715–728.

CSCW-2013-ScissorsG #quote

“Back and forth, back and forth”: channel switching in romantic couple conflict (LES, DG), pp. 237–248.

SEKE-2013-CostaJM #detection #modelling #semantics

Semantic Conflicts Detection in Model-driven Engineering (VOC, JMBOJ, LGPM), pp. 656–661.

MoDELS-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.

MoDELS-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.

POPL-2013-DSilvaHK #learning

Abstract conflict driven learning (VD, LH, DK), pp. 143–154.

SAC-2013-BakreBE #approach #interactive #uml

Aspect interaction chart — a UML approach for modularizing aspect interaction conflicts (SB, AB, TE), pp. 1254–1259.

ICSE-2013-KasiS #named #scheduling

Cassandra: proactive conflict minimization through optimized task scheduling (BKK, AS), pp. 732–741.

ASPLOS-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.

DATE-2012-AbedW #online

Double-patterning friendly grid-based detailed routing with online conflict resolution (ISA, AGW), pp. 1475–1478.

VLDB-2012-ZhaoRGH #approach #integration

A Bayesian Approach to Discovering Truth from Conflicting Sources for Data Integration (BZ, BIPR, JG, JH), pp. 550–561.

FASE-2012-HermannEEO #concurrent #graph grammar

Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars (FH, HE, CE, FO), pp. 178–193.

TACAS-2012-DSilvaHKT #analysis #bound #learning

Numeric Bounds Analysis with Conflict-Driven Learning (VD, LH, DK, MT), pp. 48–63.

MSR-2012-ArthoSCTZ #question #why

Why do software packages conflict? (CA, KS, RDC, RT, SZ), pp. 141–150.

GT-VMT-2012-HanH #modelling

Remedy of Mixed Initiative Conflicts in Model-based System Engineering (FH, PH).

CSCW-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.

CSCW-2012-CollierB #empirical #gender #wiki

Conflict, criticism, or confidence: an empirical examination of the gender gap in wikipedia contributions (BC, JB), pp. 383–392.

CSCW-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.

CSCW-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.

CSCW-2012-SunSXS #collaboration #editing #realtime

Creative conflict resolution in realtime collaborative editing systems (DS, CS, SX, HS), pp. 1411–1420.

CSCW-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.

CAiSE-2012-SchmelingCMM #composition #non-functional #towards

Towards Conflict-Free Composition of Non-functional Concerns (BS, AC, MM, MM), pp. 80–94.

ICEIS-v2-2012-Bourougaa-TriaSM #adaptation #ubiquitous

Management of User Preferences and Conflicts to Ubiquitous Applications Adaptation (SBT, HSB, FM), pp. 271–276.

KEOD-2012-ZainolN #design #process

Conflict Resolution in Overlapping Information Fields for Context-based Activity Design (ZZ, KN), pp. 190–195.

KR-2012-GrastienHT #theory and practice

Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice (AG, PH, ST).

SAC-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.

ICSE-2012-GuimaraesS #detection

Improving early detection of software merge conflicts (MLG, ARS), pp. 342–352.

ASPLOS-2012-LinNGR #consistency #performance

Efficient sequential consistency via conflict ordering (CL, VN, RG, BR), pp. 273–286.

CGO-2012-MannarswamyG #compilation #transaction

Reconciling transactional conflicts with compiler’s help (SSM, RG), pp. 53–62.

HPCA-2012-DuanZAT #commit #execution #named

BulkCompactor: Optimized deterministic execution via Conflict-Aware commit of atomic blocks (YD, XZ, WA, JT), pp. 361–372.

ICLP-J-2012-EiterFKR

Conflict-driven ASP solving with external sources (TE, MF, TK, CR), pp. 659–679.

SAT-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.

SAT-2012-LaitinenJN #learning

Conflict-Driven XOR-Clause Learning (TL, TAJ, IN), pp. 383–396.

DATE-2011-SafarESS #configuration management #pipes and filters #satisfiability

A reconfigurable, pipelined, conflict directed jumping search SAT solver (MS, MWEK, MS, AS), pp. 1243–1248.

DATE-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.

DocEng-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.

FASE-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.

ICPC-2011-ZibranR #approach #constraints #programming #refactoring #scheduling

Conflict-Aware Optimal Scheduling of Code Clone Refactoring: A Constraint Programming Approach (MFZ, CKR), pp. 266–269.

SCAM-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.

CHI-2011-YeeDYN

Do men heal more when in drag?: conflicting identity cues between user and avatar (NY, ND, MY, LN), pp. 773–776.

HIMI-v2-2011-DaoBBKNMRJ #automation

Conflict Resolution Automation and Pilot Situation Awareness (AQVD, SLB, LPB, JMK, JHN, KM, HR, WWJ), pp. 473–482.

IDGD-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.

CAiSE-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.

ICEIS-J-2011-BezerraH11a #community #process #wiki

Applying Conflict Management Process to Wiki Communities (JdMB, CMH), pp. 333–348.

ICEIS-v4-2011-BezerraH #community #process

Conflict Management Process for Virtual Communities (JdMB, CMH), pp. 33–42.

SEKE-2011-AlspaughAS

Presenting Software License Conflicts through Argumentation (TAA, HUA, WS), pp. 509–514.

SEKE-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.

ECMFA-2011-BarrettCB #detection

Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador (SB, PC, GB), pp. 329–344.

RE-2011-MaxwellAS #identification #requirements #taxonomy

A legal cross-references taxonomy for identifying conflicting software requirements (JCM, AIA, PPS), pp. 197–206.

ESEC-FSE-2011-BrunHEN #collaboration #detection

Proactive detection of collaboration conflicts (YB, RH, MDE, DN), pp. 168–178.

ESEC-FSE-2011-BrunHEN11a #named #precise

Crystal: precise and unobtrusive conflict warnings (YB, RH, MDE, DN), pp. 444–447.

SAT-2011-Gelder11a #satisfiability

Generalized Conflict-Clause Strengthening for Satisfiability Solvers (AVG), pp. 329–342.

DAC-2010-LinL #graph

Double patterning lithography aware gridless detailed routing with innovative conflict graph (YHL, YLL), pp. 398–403.

DATE-2010-GaoM #lazy evaluation

Enhancing double-patterning detailed routing with lazy coloring and within-path conflict avoidance (XG, LM), pp. 1279–1284.

DATE-2010-HuanYCM #energy #graph

Energy-oriented dynamic SPM allocation based on time-slotted Cache conflict graph (WH, ZY, MC, LM), pp. 598–601.

SIGMOD-2010-GatterbauerS #trust #using

Data conflict resolution using trust mappings (WG, DS), pp. 219–230.

ICALP-v1-2010-Welzl #constraints #satisfiability

When Conflicting Constraints Can Be Resolved — The Lovász Local Lemma and Satisfiability (EW), p. 18.

ICGT-2010-TaentzerELW #detection #graph #version control

Conflict Detection for Model Versioning Based on Graph Modifications (GT, CE, PL, MW), pp. 171–186.

CHI-2010-Al-AniMS

Blogging in a region of conflict: supporting transition to recovery (BAA, GM, BS), pp. 1069–1078.

CHI-2010-BillingsW #comprehension #online #using

Understanding dispute resolution online: using text to reflect personal and substantive issues in conflict (MB, LAW), pp. 1447–1456.

CHI-2010-SmythEB #named

MOSES: exploring new ground in media and post-conflict reconciliation (TNS, JE, MLB), pp. 1059–1068.

CSCW-2010-KitturK #coordination #online #wiki

Beyond Wikipedia: coordination and conflict in online production groups (AK, REK), pp. 215–224.

KEOD-2010-TrikiBFH #design #modelling

Modeling Conflict of Interest in the Design of Secure Data Warehouses (ST, HBA, JF, NH), pp. 445–448.

SEKE-2010-IbrahimWEF #analysis #development #off the shelf

Conflict Analysis in Commercial Off-The-Shelf (COTS) Based Development (HI, TW, AE, BHF), pp. 686–691.

MoDELS-v2-2010-GerthKLE #detection #precise #process #using

Precise Detection of Conflicting Change Operations Using Process Model Terms (CG, JMK, ML, GE), pp. 93–107.

SAC-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.

ASE-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.

CASE-2009-ChiddarwarB #coordination #multi

Dynamic priority allocation for conflict free coordinated manipulation of multiple agents (SSC, NRB), pp. 549–554.

CASE-2009-DSouzaGRS #realtime

Supervisory control for real-time systems based on conflict-tolerant controllers (DD, MG, SR, PS), pp. 555–560.

VLDB-2009-DongBS #dependence

Integrating Conflicting Data: The Role of Source Dependence (XLD, LBE, DS), pp. 550–561.

VLDB-2009-DongN #data fusion #integration

Data fusion — Resolving Data Conflicts for Integration (XLD, FN), pp. 1654–1655.

VLDB-2009-LeeDCLZ #database #manycore #named

MCC-DB: Minimizing Cache Conflicts in Multi-core Processors for Databases (RL, XD, FC, QL, XZ), pp. 373–384.

ITiCSE-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.

FoSSaCS-2009-Gutierrez #bisimulation #concurrent #game studies #logic

Logics and Bisimulation Games for Concurrency, Causality and Conflict (JG), pp. 48–62.

CHI-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.

CHI-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.

CHI-2009-RothT #mobile #multi

Bezel swipe: conflict-free scrolling and multiple selection on mobile touch screen devices (VR, TT), pp. 1523–1526.

CHI-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.

KMIS-2009-RohrbaughH #information management #multi #process

Value Knowledge Management — Process Structuring for Multi-party Conflict (JR, SH), pp. 63–68.

ECMDA-FA-2009-KusterGE #modelling #process

Dependent and Conflicting Change Operations of Process Models (JMK, CG, GE), pp. 158–173.

ESEC-FSE-2009-ShaoKP #named #parallel #semantics

SCA: a semantic conflict analyzer for parallel changes (DS, SK, DEP), pp. 291–292.

PPoPP-2009-RamadanRHW #commit #transaction

Committing conflicting transactions in an STM (HER, IR, MH, EW), pp. 163–172.

CADE-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.

ICLP-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.

SAT-2009-Chen #hybrid #reasoning #satisfiability

Building a Hybrid SAT Solver via Conflict-Driven, Look-Ahead and XOR Reasoning Techniques (JC), pp. 298–311.

SAT-2009-Gelder #proving

Improved Conflict-Clause Minimization Leads to Improved Propositional Proof Traces (AVG), pp. 141–146.

CASE-2008-ReveliotisR #multi #paradigm #resource management

Conflict resolution in multi-vehicle systems: A resource allocation paradigm (SAR, ER), pp. 115–121.

SAS-2008-LammichM #analysis #concurrent #monitoring #source code #thread

Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors (PL, MMO), pp. 205–220.

CIAA-2008-Yen #concurrent #petri net

Concurrency, Synchronization, and Conflicts in Petri Nets (HCY), pp. 33–35.

GT-VMT-2006-LambersEO08 #detection #graph transformation #performance

Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs (LL, HE, FO), pp. 17–26.

CHI-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.

KR-2008-DrescherGGKKOS #set

Conflict-Driven Disjunctive Answer Set Solving (CD, MG, TG, BK, AK, MO, TS), pp. 422–432.

KR-2008-EveraereKM

Conflict-Based Merging Operators (PE, SK, PM), pp. 348–357.

SEKE-2008-BalushiSPCL #identification #ontology #quality #using

Identifying NFRs Conflicts Using Quality Ontology (THAB, PRFS, MP, ÓC, PL), pp. 929–934.

MoDELS-2008-CicchettiRP #development #distributed

Managing Model Conflicts in Distributed Development (AC, DDR, AP), pp. 311–325.

MoDELS-2008-CicchettiRP #development #distributed

Managing Model Conflicts in Distributed Development (AC, DDR, AP), pp. 311–325.

SAC-2008-DennyM #lr #parsing

IELR(1): practical LR(1) parser tables for non-LR(1) grammars with conflict resolution (JED, BAM), pp. 240–245.

SAC-2008-ZuikeviciuteP #database #replication

Conflict-aware load-balancing techniques for database replication (VZ, FP), pp. 2169–2173.

CAV-2008-DSouzaG

Conflict-Tolerant Features (DD, MG), pp. 227–239.

SAT-2008-AudemardBHJS #analysis #framework

A Generalized Framework for Conflict Analysis (GA, LB, YH, SJ, LS), pp. 21–27.

SAT-2008-Biere #adaptation #satisfiability

Adaptive Restart Strategies for Conflict Driven SAT Solvers (AB), pp. 28–33.

SAT-2008-SchederZ #how #question #satisfiability

How Many Conflicts Does It Need to Be Unsatisfiable? (DS, PZ), pp. 246–256.

ASE-2007-LiuLMS #quality #refactoring #scheduling

Scheduling of conflicting refactorings to promote quality improvement (HL, GL, ZM, WS), pp. 489–492.

ASE-2007-SarmaBH #configuration management #towards

Towards supporting awareness of indirect conflicts across software configuration management workspaces (AS, GB, AvdH), pp. 94–103.

SIGMOD-2007-QiCSK #query #taxonomy

Integrating and querying taxonomies with quest in the presence of conflicts (YQ, KSC, MLS, KWK), pp. 1153–1155.

ICALP-2007-Bar-NoyCOS #online

Online Conflict-Free Colorings for Hypergraphs (ABN, PC, SO, SS), pp. 219–230.

IFM-2007-Marr #csp

Capturing Conflict and Confusion in CSP (CM), pp. 413–438.

CHI-2007-KitturSPC #coordination #wiki

He says, she says: conflict and coordination in Wikipedia (AK, BS, BAP, EHC), pp. 453–462.

HCI-AS-2007-VanackenRLC #collaboration #user interface

Focus+Roles: Socio-Organizational Conflict Resolution in Collaborative User Interfaces (DV, CR, KL, KC), pp. 788–796.

CAiSE-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.

ICEIS-EIS-2007-SilvaMA #collaboration #enterprise #network

Conflict Resolution in Collaborative Network Enterprises (SAdS, PM, PA), pp. 329–333.

KDD-2007-YinHY #multi #web

Truth discovery with multiple conflicting information providers on the web (XY, JH, PSY), pp. 1048–1052.

SEKE-2007-LiangS #aspect-oriented #composition #detection #specification

Modular Specification of Aspect-oriented Systems and Aspect Conflicts Detection (HL, JS), pp. 77–80.

SAC-2007-CicchettiR #detection #modelling #specification #weaving

Weaving models in conflict detection specifications (AC, AR), pp. 1035–1036.

SAT-2007-DershowitzHN #comprehension #satisfiability #towards

Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver (ND, ZH, AN), pp. 287–293.

DATE-2006-JinS #analysis #satisfiability

Strong conflict analysis for propositional satisfiability (HJ, FS), pp. 818–823.

DATE-2006-VandierendonckML #configuration management

Application-specific reconfigurable XOR-indexing to eliminate cache conflict misses (HV, PM, JDL), pp. 357–362.

ICGT-2006-LambersEO #detection #graph transformation

Conflict Detection for Graph Transformation with Negative Application Conditions (LL, HE, FO), pp. 61–76.

ICEIS-ISAS-2006-BenferhatB #policy #security

Argument-Based Approaches in Prioritized Conflicting Security Policies (SB, REB), pp. 349–354.

RE-2006-GiorginiMMZ #detection

Detecting Conflicts of Interest (PG, FM, JM, NZ), pp. 308–311.

SAC-2006-Lindgren #on the

On handling conflicts between rules with numerical features (TL), pp. 37–41.

DATE-2005-ChiangKSXZ #detection

Bright-Field AAPSM Conflict Detection and Correction (CC, ABK, SS, XX, AZ), pp. 908–913.

DATE-2005-IyerPC #constraints #learning #performance #theorem proving

Efficient Conflict-Based Learning in an RTL Circuit Constraint Solver (MKI, GP, KTC), pp. 666–671.

FASE-2005-LeicherS #analysis #composition #modelling #uml

Augmenting UML Models for Composition Conflict Analysis (AL, JGS), pp. 127–140.

TACAS-2005-JinHS #analysis #performance

Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit (HJ, HH, FS), pp. 287–300.

FM-2005-Bolton #csp

Adding Conflict and Confusion to CSP (CB), pp. 205–220.

ICEIS-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 (FÅ, LH), pp. 220–225.

ICEIS-v3-2005-SilvaC #detection #non-functional #requirements

Functional and Non-Functional Application Software Requirements: Early Conflict Detection (PSMS, LC), pp. 343–348.

WICSA-2004-PoortW #composition #non-functional

Resolving Requirement Conflicts through Non-Functional Decomposition (ERP, PHNdW), pp. 145–154.

DAC-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.

HT-2004-Francisco-RevillaS04a #adaptation #hypermedia #multi

Managing conflict in multi-model adaptive hypertext (LFR, FMSI), pp. 237–238.

CHI-2004-ViegasWD #visualisation

Studying cooperation and conflict between authors with history flow visualizations (FBV, MW, KD), pp. 575–582.

CIKM-2004-ChomickiMS #consistency #query #using

Computing consistent query answers using conflict hypergraphs (JC, JM, SS), pp. 417–426.

KR-2004-AmgoudC #on the

On the Use of an ATMS for Handling Conflicting Desires (LA, CC), pp. 194–202.

HPCA-2004-KharbutliISL #using

Using Prime Numbers for Cache Indexing to Eliminate Conflict Misses (MK, KI, YS, JL), pp. 288–299.

SAT-2004-LewisSB #detection #satisfiability

Early Conflict Detection Based BCP for SAT Solving (MDTL, TS, BB), pp. 29–36.

DATE-2003-MadalinskiBKY #design #visualisation

Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design (AM, AVB, VK, AY), pp. 10926–10931.

PLDI-2003-PraunG #analysis #concurrent #multi #object-oriented #source code #thread

Static conflict analysis for multi-threaded object-oriented programs (CvP, TRG), pp. 115–128.

EDOC-2003-DunlopIR

Methods for Conflict Resolution in Policy-Based Management Systems (ND, JI, KR), pp. 98–111.

ICEIS-v3-2003-HellmanG #collaboration #ontology

Structural Conflict Avoidance in Collaborative Ontology Engineering (ZH, AG), pp. 67–76.

RE-2003-Barnes #ambiguity #convergence #design #process #requirements #using

Using Convergent Design Processes to Surface Hidden Ambiguity and Conflict in Requirements (RJB), p. 281.

RTA-2003-KhasidashviliG #partial order #semantics #term rewriting

Stable Computational Semantics of Conflict-Free Rewrite Systems (Partial Orders with Duplication) (ZK, JRWG), pp. 467–482.

SAT-2003-HerbstrittB #branch

Conflict-Based Selection of Branching Rules (MH, BB), pp. 441–451.

SAT-2003-Kullmann #combinator

The Combinatorics of Conflicts between Clauses (OK), pp. 426–440.

DATE-2002-KhomenkoKY #detection #integer #programming #using

Detecting State Coding Conflicts in STGs Using Integer Programming (VK, MK, AY), pp. 338–345.

FoSSaCS-2002-KochMP #data access #detection #policy #specification

Conflict Detection and Resolution in Access Control Policy Specifications (MK, LVM, FPP), pp. 223–237.

EDOC-2002-DunlopIR #detection

Dynamic Conflict Detection in Policy-Based Management Systems (ND, JI, KR), pp. 15–26.

FSE-2002-CapraEM #approach #mobile

A micro-economic approach to conflict resolution in mobile computing (LC, WE, CM), pp. 31–40.

ICSE-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.

ICALP-2001-ChrobakCINSW #multi #problem #scheduling

The Buffer Minimization Problem for Multiprocessor Scheduling with Conflicts (MC, JC, CI, JN, JS, GJW), pp. 862–874.

ICEIS-v1-2001-LeeK #approach #logic programming

A Logic Programming Approach to Negotiation for Conflict Resolution in BDI Agents System (MJL, JSK), pp. 514–517.

ICEIS-v1-2001-LopesMNC

Conflict and Negotiation among Intentional Agents (FL, NJM, AQN, HC), pp. 353–360.

RE-2001-InR #visualisation

Issues of Visualized Conflict Resolution (HI, SR), pp. 314–315.

PODS-2000-LechtenborgerV #on the #semantics #transaction

On Herbrand Semantics and Conflict Serializability of Read-Write Transactions (JL, GV), pp. 187–194.

KR-2000-ChomickiLN #approach #logic programming #policy

A Logic Programming Approach to Conflict Resolution in Policy Management (JC, JL, SAN), pp. 121–132.

KR-2000-Maynard-ReidL #representation

Representing and Aggregating Conflicting Beliefs (PMRI, DJL), pp. 153–164.

TOOLS-ASIA-2000-LiuJC #approach #graph

A Graph-Theoretic Approach for Recognizing the User Interpretation without Conflicts (GL, WJ, ZC), pp. 291–298.

TestCom-2000-FeckoAUD #generative #testing

Test Generation in the Presence of Conflicting Timers (MAF, PDA, MÜU, AYD), p. 301–?.

CAiSE-1999-SadiqO #graph #identification #modelling #process #reduction

Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models (WS, MEO), pp. 195–209.

PLDI-1998-RiveraT #data transformation

Data Transformations for Eliminating Conflict Misses (GR, CWT), pp. 38–49.

CIKM-1998-PalopoliSU #automation #database #detection

An Automatic Techniques for Detecting Type Conflicts in Database Schemes (LP, DS, DU), pp. 306–313.

RE-1997-YenT #analysis #requirements #trade-off

A Systematic Tradeoff Analysis for Conflicting Imprecise Requirements (JY, WAT), p. 87–?.

HPCA-1997-ZhangT

Reducing Remote Conflict Misses: NUMA with Remote Cache versus COMA (ZZ, JT), pp. 272–281.

ILPS-1997-Grosof #logic programming #source code

Prioritized Conflict Handling for Logic Programs (BNG), pp. 197–211.

PODS-1996-JagadishMM #database

Managing Rule Conflicts in an Active Database (HVJ, AOM, ISM), pp. 192–201.

CSCW-1996-Elliott #case study #how

Conflict and Cooperation in the Courts: Case Study of how CSCW Alters Work (doctoral colloquium) (MSE), p. 445.

CIKM-1996-LeeJH #concurrent #database

A New Conflict Relation for Concurrency Control and Recovery in object-based Databases (SL, SYJ, CSH), pp. 288–295.

ICRE-1996-BoehmI #identification

Identifying Quality-Requirement Conflicts (BWB, HI), p. 218.

SAC-1996-DurandAN #algorithm #automation #search-based #using

Automatic aircraft conflict resolution using genetic algorithms (ND, JMA, JN), pp. 289–298.

DAC-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.

SOSP-1995-TerryTPDSH

Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System (DBT, MT, KP, AJD, MS, CH), pp. 172–183.

ILPS-1995-JamilL #behaviour #declarative #inheritance #semantics

A Declarative Semantics for Behavioral Inheritance and Conflict Resolution (HMJ, LVSL), pp. 130–144.

ASPLOS-1994-BershadLRC #scalability

Avoiding Conflict Misses Dynamically in Large Direct-Mapped Caches (BNB, DL, THR, JBC), pp. 158–170.

ASPLOS-1994-GallagherCMGH #ambiguity #memory management #using

Dynamic Memory Disambiguation Using the Memory Conflict Buffer (DMG, WYC, SAM, JCG, WmWH), pp. 183–193.

ICLP-1994-BurgLH #backtracking #set

Finding Conflict Sets and Backtrack Points in CLP(R) (JB, SDL, CEH), pp. 323–338.

TOOLS-USA-1993-Page-Jones93a #object-oriented

Object-Orientation and Structured Techniques: Overlaps and Conflicts (MPJ), p. 573.

KR-1992-PinkasL #consistency #nondeterminism #reasoning #taxonomy

Reasoning from Inconsistency: A Taxonomy of Principles for Resolving Conflict (GP, RPL), pp. 709–719.

OOPSLA-1992-DucournauHHM #inheritance

Monotonic Conflict Resolution Mechanisms for Inheritance (RD, MH, MH, MLM), pp. 16–24.

VLDB-1991-SiegelM #approach #metadata #semantics

A Metadata Approach to Resolving Semantic Conflicts (MS, SEM), pp. 133–145.

TAV-1991-Young #formal method #question #re-engineering

Formal Methods versus Software Engineering: Is There a Conflict? (WDY), pp. 188–189.

CLP-1990-GiordanoM90 #maintenance #modelling

Generalized Stable Models, Truth Maintenance and Conflict Resolution (LG, AM), pp. 427–441.

SIGMOD-1989-IoannidisS

Conflict Resolution of Rules Assigning Values to Virtual Attributes (YEI, TKS), pp. 205–214.

PLDI-1988-LarusH #detection

Detecting Conflicts Between Structure Accesses (JRL, PNH), pp. 21–34.

CSCW-1988-PooleHD

Conflict Management and Group Decision Support Systems (MSP, MH, GD), pp. 227–243.

ICALP-1987-HowellR #equivalence #reachability

Completeness Rules for Reachability, Containment, and Equivalence, with Respect to Conflict-Free Vector Replacement Systems (RRH, LER), pp. 509–520.

STOC-1984-Willard #protocol

Log-Logarithmic Protocols for Resolving Ethernet and Semaphore Conflicts (Preliminary Report) (DEW), pp. 512–521.

DAC-1981-Kalay #generative #interactive #testing

Interactive shape generation and spatial conflict testing (YEK), pp. 75–81.