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