Search results for "Conflict"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	T. V. Lakshman, Dipak Ghosal	Performance Evaluation of an Efficient Multiple Copy Update Algorithm.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	distributeddatabases, multiple copy update algorithm, Thomas majorityconsensus algorithm, response-time behavior, distributed update-synchronizationalgorithm, distributed mutual exclusion algorithm, multiple-copy update-synchronization, performance evaluation, performance evaluation, performance evaluation, transaction processing, queueing model
17	Jaushin Lee, Janak H. Patel	An architectural level test generator based on nonlinear equation solving.	J. Electron. Test.	1993	DBLP DOI BibTeX RDF	Hierarchical test generation, module diagram, nonlinear module equation, relaxation technique, symbolic simulation
17	Volker Kessler	On the Chinese Wall Model.	ESORICS	1992	DBLP DOI BibTeX RDF
17	T. V. Lakshman, Dipak Ghosal	Performance evaluation of an efficient multiple copy update algorithm.	SPDP	1991	DBLP DOI BibTeX RDF
17	B. R. Badrinath, Krithi Ramamritham	Performance Evaluation of Semantics-based Multilevel Concurrency Control Protocols.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF
17	William E. Weihl	The Impact of Recovery on Concurrency Control.	PODS	1989	DBLP DOI BibTeX RDF
17	Lieh-san Lin, James Calhoun	Mathematical modeling and simulation of an algorithm for optimistic concurrency control in centralized database systems.	Annual Simulation Symposium	1988	DBLP BibTeX RDF
17	Albert G. Greenberg, Philippe Flajolet, Richard E. Ladner	Estimating the multiplicities of conflicts to speed their resolution in multiple access channels.	J. ACM	1987	DBLP DOI BibTeX RDF
17	Li-Yan Yuan, Z. Meral Özsoyoglu	Logical Design of Relational Database Systems.	PODS	1987	DBLP DOI BibTeX RDF
15	Panagiotis Cheilaris, Shakhar Smorodinsky, Marek Sulovský	The potential to improve the choice: list conflict-free coloring for geometric hypergraphs.	SCG	2011	DBLP DOI BibTeX RDF
15	Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qadeer, Hans-Juergen Boehm	Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races.	ISCA	2010	DBLP DOI BibTeX RDF	multicores, threads, data-races, memory consistency models, bug detection
15		Conflict Serializability.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
15	Wamberto Weber Vasconcelos, Martin J. Kollingbaum, Timothy J. Norman	Normative conflict resolution in multi-agent systems.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	Detection and resolution of normative conflicts, Norms
15	Stephen Fenech, Gordon J. Pace, Gerardo Schneider	Automatic Conflict Detection on Contracts.	ICTAC	2009	DBLP DOI BibTeX RDF
15	Julian Gutierrez 0001	Logics and Bisimulation Games for Concurrency, Causality and Conflict.	FoSSaCS	2009	DBLP DOI BibTeX RDF	Bisimulation games, Behavioural equivalences, Concurrent and reactive systems, Petri nets, Modal and temporal logics
15	Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub	On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers.	ICLP	2009	DBLP DOI BibTeX RDF
15	Kun Yuan, Jae-Seok Yang, David Z. Pan	Double patterning layout decomposition for simultaneous conflict and stitch minimization.	ISPD	2009	DBLP DOI BibTeX RDF	double patterning lithography, layout decomposition, integer linear programming
15	Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry	SCA: a semantic conflict analyzer for parallel changes.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	data flow, semantic analysis, version management
15	Roberto Sebastiani, Michele Vescovi	Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis.	CADE	2009	DBLP DOI BibTeX RDF
15	Adriaan ter Mors, Cees Witteveen	Plan Repair in Conflict-Free Routing.	IEA/AIE	2009	DBLP DOI BibTeX RDF
15	Cheng-Shang Chang, Duan-Shin Lee, Ying-Ju Shih, Chao-Lin Yu	Mailbox switch: a scalable two-stage switch architecture for conflict resolution of ordered packets.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
15	Deepak D'Souza, Madhu Gopinathan	Conflict-Tolerant Features.	CAV	2008	DBLP DOI BibTeX RDF
15	Vaide Zuikeviciute, Fernando Pedone	Conflict-aware load-balancing techniques for database replication.	SAC	2008	DBLP DOI BibTeX RDF	load balancing, replication, transactions scheduling
15	Deepak D'Souza, Madhu Gopinathan, S. Ramesh 0002, Prahladavaradan Sampath	Conflict-Tolerant Real-Time Features.	QEST	2008	DBLP DOI BibTeX RDF
15	Jorge Júlvez	Polynomial Throughput Bounds for Equal Conflict Petri Nets with Multi-guarded Transitions.	QEST	2008	DBLP DOI BibTeX RDF
15	Maria Prandini, Jianghai Hu	Application of reachability analysis for stochastic hybrid systems to aircraft conflict prediction.	CDC	2008	DBLP DOI BibTeX RDF
15	Bart G. W. Craenen, Ben Paechter	A Conflict Tabu Search Evolutionary Algorithm for Solving Constraint Satisfaction Problems.	EvoCOP	2008	DBLP DOI BibTeX RDF
15	Gilles Audemard, Laurent Simon	Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms.	CP	2008	DBLP DOI BibTeX RDF
15	Surya Nepal, John Zic	A Conflict Neighbouring Negotiation Algorithm for Resource Services in Dynamic Collaborations.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	Negotiation Algorithm, Dynamic Collaborations
15	Koji Momihara	Necessary and sufficient conditions for tight equi-difference conflict-avoiding codes of weight three.	Des. Codes Cryptogr.	2007	DBLP DOI BibTeX RDF	94C30, 94B25, 11B75
15	Charles C. Chiang, Andrew B. Kahng, Subarna Sinha, Xu Xu 0001, Alexander Zelikovsky	Fast and Efficient Bright-Field AAPSM Conflict Detection and Correction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
15	André Luiz Galdino, César A. Muñoz, Mauricio Ayala-Rincón	Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm.	WoLLIC	2007	DBLP DOI BibTeX RDF
15	Pekka Jääskeläinen, Vladimír Guzma, Jarmo Takala	Resource Conflict Detection in Simulation of Function Unit Pipelines.	SAMOS	2007	DBLP DOI BibTeX RDF
15	Davy Vanacken, Chris Raymaekers, Kris Luyten, Karin Coninx	Focus+Roles: Socio-Organizational Conflict Resolution in Collaborative User Interfaces.	HCI (4)	2007	DBLP DOI BibTeX RDF	collaboration, access control, computer-supported cooperative work, multi-user interfaces, floor control
15	Axel Siebenborn, Alexander Viehl, Oliver Bringmann 0001, Wolfgang Rosenstiel	Control-Flow Aware Communication and Conflict Analysis of Parallel Processes.	ASP-DAC	2007	DBLP DOI BibTeX RDF
15	Amotz Bar-Noy, Panagiotis Cheilaris, Svetlana Olonetsky, Shakhar Smorodinsky	Online Conflict-Free Colorings for Hypergraphs.	ICALP	2007	DBLP DOI BibTeX RDF
15	Weiru Liu	Conflict Analysis and Merging Operators Selection in Possibility Theory.	ECSQARU	2007	DBLP DOI BibTeX RDF
15	Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub	clasp : A Conflict-Driven Answer Set Solver.	LPNMR	2007	DBLP DOI BibTeX RDF
15	Bartel A. Van de Walle, Catherine Campbell, Fadi P. Deek	The Impact of Task Structure and Negotiation Sequence on Distributed Requirements Negotiation Activity, Conflict, and Satisfaction.	CAiSE	2007	DBLP DOI BibTeX RDF	distributed negotiation, negotiation process support, distributed group support systems, group work, software requirements
15	Bin Zhang 0007, Ehab Al-Shaer, Radha Jagadeesan, James Riely, Corin Pitcher	Specifications of a high-level conflict-free firewall policy language for multi-domain networks.	SACMAT	2007	DBLP DOI BibTeX RDF	firewall, policy language, conflicts free
15	Youna Jung, Jungtae Lee, Minkoo Kim	Community Computing Model Supporting Community Situation Based Strict Cooperation and Conflict Resolution.	SEUS	2007	DBLP DOI BibTeX RDF
15	Suman Ranjan Sensarma, Norio Okada	Game theoretic analysis of the process of player empowerment in resolving social conflict.	SMC	2007	DBLP DOI BibTeX RDF
15	Steven Davy, Brendan Jennings	Harnessing Models for Policy Conflict Analysis. (PDF / PS)	AIMS	2007	DBLP DOI BibTeX RDF
15	Andreas Eckhardt, Tobias Keim	Conflicts and Conflict Resolution Mechanisms in Remote Collaboration via Videoconferencing.	HICSS	2007	DBLP DOI BibTeX RDF
15	Sudath Indrasinghe, Rubem Pereira, John Haggerty	Conflict Free Address Allocation Mechanism for Mobile Ad Hoc Networks.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF
15	Martin J. Kollingbaum, Wamberto Weber Vasconcelos, Andrés García-Camino, Timothy J. Norman	Managing Conflict Resolution in Norm-Regulated Environments.	ESAW	2007	DBLP DOI BibTeX RDF
15	Yi Sun, Layachi Bentabet	A Sequential Monte-Carlo and DSmT Based Approach for Conflict Handling in Case of Multiple Targets Tracking.	ICIAR	2007	DBLP DOI BibTeX RDF	Multiple Targets Tracking, Dezert-Smarandache Theory, Cue Combination, Sequential Monte-Carlo
15	Richard M. Everson, Jonathan E. Fieldsend	Multiobjective Optimization of Safety Related Systems: An Application to Short-Term Conflict Alert.	IEEE Trans. Evol. Comput.	2006	DBLP DOI BibTeX RDF
15	Martin Sachenbacher, Brian C. Williams	Conflict-Directed A* Search for Soft Constraints.	CPAIOR	2006	DBLP DOI BibTeX RDF
15	Hans Vandierendonck, Philippe Manet, Jean-Didier Legat	Application-specific reconfigurable XOR-indexing to eliminate cache conflict misses.	DATE	2006	DBLP DOI BibTeX RDF
15	Martin Stáva, Ondrej Novák	Using Conflict-Based On-line Learning to Accelerate the Backtrace Algorithm Implemented in HW.	DSD	2006	DBLP DOI BibTeX RDF	FPGA, VLSI, ATPG, hardware, on-line learning, Backtrace
15	Charles Lesire, Catherine Tessier	Estimation and Conflict Detection in Human Controlled Systems.	HSCC	2006	DBLP DOI BibTeX RDF
15	Md. Kamrul Hasan, Kim Anh Pham Ngoc, Lenin Mehedy, Young-Koo Lee, Sungyoung Lee	Conflict Resolution and Preference Learning in Ubiquitous Environment.	ICIC (2)	2006	DBLP DOI BibTeX RDF
15	Xuan Thang Nguyen, Ryszard Kowalczyk	An Agent Based QoS Conflict Mediation Framework for Web Services Compositions.	IAT	2006	DBLP DOI BibTeX RDF
15	Octav Chipara, Chenyang Lu 0001, John A. Stankovic	Dynamic Conflict-free Query Scheduling for Wireless Sensor Networks.	ICNP	2006	DBLP DOI BibTeX RDF
15	Xinyu Shao, Li Zhang, Liang Gao 0001, Rui Chen	Fuzzy Multiple Attributive Group Decision-Making for Conflict Resolution in Collaborative Design.	FSKD	2006	DBLP DOI BibTeX RDF
15	Won Jin Yoon, Duk Hun Kim, Min Young Chung, Tae-Jin Lee 0001, Hyunseung Choo	Routing with Maximum EDPs and Wavelength Assignment with Path Conflict Graphs.	ICCSA (2)	2006	DBLP DOI BibTeX RDF
15	Davy Preuveneers, Yolande Berbers	Multi-dimensional Dependency and Conflict Resolution for Self-adaptable Context-aware Systems.	ICAS	2006	DBLP DOI BibTeX RDF
15	Chuanjun Zhang	Balanced Cache: Reducing Conflict Misses of Direct-Mapped Caches.	ISCA	2006	DBLP DOI BibTeX RDF
15	Ruzana Ishak, Stephan Olariu, Shaharuddin Salleh	Multi-training sensor networks with bipartite conflict graphs.	MidSens	2006	DBLP DOI BibTeX RDF	aggregating and forwarding nodes, multi-training, bipartite
15	Pauline M. Berry, Cory Albright, Emma Bowring, Ken Conley, Kenneth Nitz, Jonathan P. Pearce, Bart Peintner, Shahin Saadati, Milind Tambe, Tomás E. Uribe, Neil Yorke-Smith	Conflict negotiation among personal calendar agents.	AAMAS	2006	DBLP DOI BibTeX RDF	scheduling, user interfaces, personal assistants
15	Stéphane Airiau, Sandip Sen	Learning Pareto-optimal Solutions in 2x2 Conflict Games.	LAMAS	2005	DBLP DOI BibTeX RDF
15	Charles C. Chiang, Andrew B. Kahng, Subarna Sinha, Xu Xu 0001, Alexander Zelikovsky	Bright-Field AAPSM Conflict Detection and Correction.	DATE	2005	DBLP DOI BibTeX RDF
15	Taner Dursun	A Generic Policy-Conflict Handling Model.	ISCIS	2005	DBLP DOI BibTeX RDF
15	Yide Shen	A Meta-Analysis of Role Ambiguity and Role Conflict on IS Professional Job Satisfaction.	HICSS	2005	DBLP DOI BibTeX RDF
15	Darren B. Nicholson, D. Veena Parboteeah, Jennifer A. Nicholson, Joseph S. Valacich	Using Distraction-Conflict Theory to Measure the Effects of Distractions on Individual Task Performance in a Wireless Mobile Environment.	HICSS	2005	DBLP DOI BibTeX RDF
15	Francois Anton	A Certified Delaunay Graph Conflict Locator for Semi-algebraic Sets.	ICCSA (1)	2005	DBLP DOI BibTeX RDF
15	Zhanna Olmes, Kun Myon Choi, Min Young Chung, Tae-Jin Lee 0001, Hyunseung Choo	RWA Based on Approximated Path Conflict Graphs in Optical Networks.	ICCSA (1)	2005	DBLP DOI BibTeX RDF
15	Mihaela Bobeica, Jean-Paul Jéral, Teofilo Garcia, Clive Best	A Study of "Root Causes of Conflict" Using Latent Semantic Analysis.	ISI	2005	DBLP DOI BibTeX RDF
15	Dominik Heckmann	Situation Modeling and Smart Context Retrieval with Semantic Web Technology and Conflict Resolution.	MRC	2005	DBLP DOI BibTeX RDF	smart context retrieval, user model and context ontology, distributed situation service, user model markup language, semantic web, situation modeling
15	Stephen J. Munroe, Michael Luck	Balancing conflict and cost in the selection of negotiation opponents.	AAMAS	2005	DBLP DOI BibTeX RDF	negotiation opponent selection
15	Kyung Ho Lee, Kyu-Yeul Lee	Case-Based Conflict Resolution in Multi-agent Ship Design System.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
15	F. S. Smith, Qiang Shen 0001	Fault identification through the combination of symbolic conflict recognition and Markov chain-aided belief revision.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
15	James Moffat, I. Campbell	Intelligent behavior is a partly emergent process for agents in conflict.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
15	Cynthia F. Cohen, Stanley J. Birkin, Monica J. Garfield, Harold W. Webb	Managing conflict in software testing.	Commun. ACM	2004	DBLP DOI BibTeX RDF
15	Rob J. van Glabbeek, Gordon D. Plotkin	Event Structures for Resolvable Conflict.	MFCS	2004	DBLP DOI BibTeX RDF
15	Shing Chiang Tan, M. V. C. Rao, Chee Peng Lim	An Adaptive Fuzzy Min-Max Conflict-Resolving Classifier.	WSC	2004	DBLP DOI BibTeX RDF
15	Stijn B. J. Van Dam, An L. M. Abeloos, Max Mulder, René van Paassen	Functional presentation of travel opportunities in flexible use airspace: an EID of an airborne conflict support too.	SMC (1)	2004	DBLP DOI BibTeX RDF
15	Christophe Lecoutre, Frédéric Boussemart, Fred Hemery	Backjump-Based Techniques versus Conflict-Directed Heuristics.	ICTAI	2004	DBLP DOI BibTeX RDF
15	Tomás Müller	Iterative Forward Search Algorithm: Combining Local Search with Maintaining Arc Consistency and a Conflict-Based Statistics.	CP	2004	DBLP DOI BibTeX RDF
15	Tony Lindgren	Methods for Rule Conflict Resolution.	ECML	2004	DBLP DOI BibTeX RDF
15	Rolf H. Möhring, Ekkehard Köhler, Ewgenij Gawrilow, Björn Stenzel	Conflict-free Real-time AGV Routing.	OR	2004	DBLP DOI BibTeX RDF
15	Chung Keung Poon, Andy Kwok	Space Optimal Packet Classification for 2-d Conflict-free Filters.	ISPAN	2004	DBLP DOI BibTeX RDF
15	Mong-Li Lee, Tok Wang Ling	A Methodology for Structural Conflict Resolution in the Integration of Entity-Relationship Schemas.	Knowl. Inf. Syst.	2003	DBLP DOI BibTeX RDF	Entity-relationship approach, Heterogeneous databases, Schema integration, Semantic equivalence
15	Agnes Madalinski	CONFRES: Interactive Coding Conflict Resolver Based on Core Visualisation.	ACSD	2003	DBLP DOI BibTeX RDF
15	Christoph von Praun, Thomas R. Gross	Static conflict analysis for multi-threaded object-oriented programs.	PLDI	2003	DBLP DOI BibTeX RDF	heap shape graph, object use graph, representations for concurrent programs, program analysis, race detection
15	Marc Herbstritt, Bernd Becker 0001	Conflict-Based Selection of Branching Rules.	SAT	2003	DBLP DOI BibTeX RDF
15	Ciaran O'Reilly, Philip J. Morrow, David W. Bustard	Improving Conflict Detection in Optimistic Concurrency Control Models.	SCM	2003	DBLP DOI BibTeX RDF
15	Jarmo Takala, Tuomas Järvinen, Harri Sorokin	Conflict-free parallel memory access scheme for FFT processors.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
15	Daniela E. Damian, Didar Zowghi	An Insight into the Interplay between Culture, Conflict and Distance in Globally Distributed Requirements Negotiations.	HICSS	2003	DBLP DOI BibTeX RDF
15	Zurab Khasidashvili, John R. W. Glauert	Stable Computational Semantics of Conflict-Free Rewrite Systems (Partial Orders with Duplication).	RTA	2003	DBLP DOI BibTeX RDF
15	Keiji Suzuki	Effects of Conflict between Emergent Charging Agents in Social Dilemma.	MAMUS	2003	DBLP DOI BibTeX RDF
15	Mogens Nielsen, P. S. Thiagarajan	Regular Event Structures and Finite Petri Nets: The Conflict-Free Case.	ICATPN	2002	DBLP DOI BibTeX RDF
15	Guy Even, Zvi Lotker, Dana Ron, Shakhar Smorodinsky	Conflict-Free Colorings of Simple Geometric Regions with Applications to Frequency Assignment in Cellular Networks.	FOCS	2002	DBLP DOI BibTeX RDF
15	Ioannis Iglezakis	The Conflict Graph for Maintaining Case-Based Reasoning Systems.	ICCBR	2001	DBLP DOI BibTeX RDF
15	Witold Jacak, Karin Pröll, Stephan Dreiseitl	Conflict Management in an Intelligent Multiagent Robotics System Based on FSM Approach.	EUROCAST	2001	DBLP DOI BibTeX RDF
15	Benedita Malheiro, Eugénio Oliveira	Argumentation as Distributed Belief Revision: Conflict Resolution in Decentralised Co-operative Multi-agent Systems.	EPIA	2001	DBLP DOI BibTeX RDF
15	Jim M. Coakes, Elayne W. Coakes	Specifications in Context: Stakeholders, Systems and Modelling of Conflict.	Requir. Eng.	2000	DBLP DOI BibTeX RDF	Requirements engineering, Ethnography, Data modelling, Information systems development, Socio-technical
15	Michal Marko, A. Wayne Madison	Cache conflict resolution through detection, analysis and dynamic remapping of active pages.	ACM Southeast Regional Conference	2000	DBLP DOI BibTeX RDF
15	Tsau Young Lin	Chinese Wall Security Model and Conflict Analysis.	COMPSAC	2000	DBLP DOI BibTeX RDF