Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Joachim Hertzberg, Hans W. Guesgen, Angi Voß, Manfred Fidelak, Hans Voß |
Relaxing Constraint Networks to Resolve Inconsistencies. |
GWAI |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Bradley H. Dowden |
Accepting inconsistencies from the paradoxes. |
J. Philos. Log. |
1984 |
DBLP DOI BibTeX RDF |
|
16 | Pearl Brereton |
Detection and Resolution of Inconsistencies among Distributed Replicates of Files. |
ACM SIGOPS Oper. Syst. Rev. |
1983 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Eick, Elfriede Fehr |
Inconsistencies of pure LISP. |
Theoretical Computer Science |
1983 |
DBLP DOI BibTeX RDF |
|
16 | Donald G. Saari |
Inconsistencies of Weighted Summation Voting Systems. |
Math. Oper. Res. |
1982 |
DBLP DOI BibTeX RDF |
|
16 | Antonio Salvadori, Christine Dumont |
Some inconsistencies in programming language implementation. |
ACM SIGPLAN Notices |
1979 |
DBLP DOI BibTeX RDF |
|
16 | Roger R. Davidson, Robert E. Odeh |
Some Inconsistencies in Judging Problems. |
J. Comb. Theory, Ser. A |
1972 |
DBLP DOI BibTeX RDF |
|
15 | Xiang Lian, Lei Chen 0002, Shaoxu Song |
Consistent query answers in inconsistent probabilistic databases. |
SIGMOD Conference |
2010 |
DBLP DOI BibTeX RDF |
all-possible-repairs semantics, inconsistent probabilistic database, repair world, repaired possible world, consistent query answering |
15 | Daniel Sinnig, Rabeb Mizouni, Ferhat Khendek |
Bridging the gap: empowering use cases with task models. |
EICS |
2010 |
DBLP DOI BibTeX RDF |
use cases, task models, development methodology, user interface development |
15 | Stefan Tolic, Helmut Hlavacs |
A Testbed for P2P Gaming Using Time Warp. |
Trans. Edutainment |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Daniele Marzorati, Matteo Matteucci, Davide Migliore, Domenico G. Sorrenti |
On the use of inverse scaling in monocular SLAM. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Guilin Qi, Qiu Ji, Peter Haase 0001 |
A Conflict-Based Operator for Mapping Revision. |
ISWC |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Dejian Meng, Stefan Poslad |
A Reflective Goal-Based System for Context-Aware Adaptation. |
MOBILWARE Workshops |
2009 |
DBLP DOI BibTeX RDF |
Goal-based, Spatial routing, Adaptation, Context-aware, Reflection |
15 | Gabriele Weiler, Arnd Poetzsch-Heffter, Stephan Kiefer |
Consistency Checking for Workflows with an Ontology-Based Data Perspective. |
DEXA |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Matthias Biehl, Welf Löwe |
Automated Architecture Consistency Checking for Model Driven Software Development. |
QoSA |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Qiu Ji, Peter Haase 0001, Guilin Qi, Pascal Hitzler, Steffen Stadtmüller |
RaDON - Repair and Diagnosis in Ontology Networks. |
ESWC |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Charalampos Sarigiannis, Vassilis Plachouras, Ricardo Baeza-Yates |
A Study of the Impact of Index Updates on Distributed Query Processing for Web Search. |
ECIR |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Reinhard Tartler, Julio Sincero, Wolfgang Schröder-Preikschat, Daniel Lohmann |
Dead or Alive: finding zombie features in the Linux kernel. |
FOSD |
2009 |
DBLP DOI BibTeX RDF |
Linux, language, software product lines, features, tool support, preprocessor |
15 | Helen Petrie, George Papadofragkakis, Christopher Power, David Swallow |
Navigational Consistency in Websites: What Does it Mean to Users? |
INTERACT (1) |
2009 |
DBLP DOI BibTeX RDF |
Websitenavigation, navigational consistency, website usability |
15 | Sally I. McClean, Bryan W. Scotney, Philip J. Morrow, Kieran Greer |
Integrating semantically heterogeneous aggregate views of distributed databases. |
Distributed Parallel Databases |
2008 |
DBLP DOI BibTeX RDF |
Aggregate views, Dynamic shared ontologies, Distributed databases, Heterogeneous data |
15 | Joey Sik Chun Lam, Derek H. Sleeman, Jeff Z. Pan, Wamberto Weber Vasconcelos |
A Fine-Grained Approach to Resolving Unsatisfiable Ontologies. |
J. Data Semantics |
2008 |
DBLP DOI BibTeX RDF |
Description Logics reasoning, Ontologies |
15 | Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca |
Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets. |
SECURWARE |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Olivier Curé |
Data integration for the semantic web with full preferences. |
ONISW |
2008 |
DBLP DOI BibTeX RDF |
data integration, knowledge base, schema mapping |
15 | Simon Schenk |
On the Semantics of Trust and Caching in the Semantic Web. |
ISWC |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Zhisheng Huang, Frank van Harmelen |
Using Semantic Distances for Reasoning with Inconsistent Ontologies. |
ISWC |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Marcelo Finger, Renata Wassermann |
Revising Specifications with CTL Properties Using Bounded Model Checking. |
SBIA |
2008 |
DBLP DOI BibTeX RDF |
Model-checking, formal specification, belief revision, CTL |
15 | Kiev Gama, Didier Donsez |
A Practical Approach for Finding Stale References in a Dynamic Service Platform. |
CBSE |
2008 |
DBLP DOI BibTeX RDF |
stale references, dynamic services, runtime diagnostics, component validation, OSGi, memory leaks |
15 | Pragyana Mishra, Eyal Ofek, Gur Kimchi |
Validation of vector data using oblique images. |
GIS |
2008 |
DBLP DOI BibTeX RDF |
multi-cue integration, oblique image analysis, pixel statistics, machine learning, computer vision, mapping, vector data, conflation |
15 | Luca Genovali, Laura Ricci |
Voronoi models for distributed virtual environments. |
CoNEXT |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Tadeusz Pankowski |
Reconciling Inconsistent Data in Probabilistic XML Data Integration. |
BNCOD |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Yasuhiro Hayase, Yii Yong Lee, Katsuro Inoue |
A criterion for filtering code clone related bugs. |
DEFECTS |
2008 |
DBLP DOI BibTeX RDF |
defect mining, code clone |
15 | Ying-ying Yang, Zongyong Li, Zhi-xue Wang |
Domain Knowledge Consistency Checking for Ontology-Based Requirement Engineering. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Christian Meilicke, Johanna Völker, Heiner Stuckenschmidt |
Learning Disjointness for Debugging Mappings between Lightweight Ontologies. |
EKAW |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Natalie Shlomo, Caroline Young |
Invariant Post-tabular Protection of Census Frequency Counts. |
Privacy in Statistical Databases |
2008 |
DBLP DOI BibTeX RDF |
Invariantprobability transition matrix, Microdata keys, Consistency, Additivity |
15 | Matthias Großmann, Nicola Hönle, Daniela Nicklas, Bernhard Mitschang |
Reference Management in a Loosely Coupled, Distributed Information System. |
ADBIS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt |
Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings. |
FoIKS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Lian Yu, Shuang Su, Shan Luo, Yu Su 0007 |
Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Completeness and consistency analysis, requirement-related faults, formal scenario model, inconsistency elimination, event-driven systems |
15 | Micah K. Johnson, Hany Farid |
Exposing Digital Forgeries in Complex Lighting Environments. |
IEEE Trans. Inf. Forensics Secur. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Julian Dolby, James Fan, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Li Ma 0002, J. William Murdock, Kavitha Srinivas, Christopher A. Welty |
Scalable Cleanup of Information Extraction Data Using Ontologies. |
ISWC/ASWC |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Gómez 0001, Javier Montero, Javier Yáñez |
Decomposing Preference Relations. |
FUZZ-IEEE |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Beyer, María Idoia Ruiz-Fuertes, Pablo Galdámez, Francesc D. Muñoz-Escoí |
Exploiting Commutativity for Efficient Replication in Partitionable Distributed Systems. |
OTM Workshops (2) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Fahim T. Imam, Wendy MacCaull, Margaret Ann Kennedy |
Merging Healthcare Ontologies: Inconsistency Tolerance and Implementation Issues. |
CBMS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Yue Ma 0009, Pascal Hitzler, Zuoquan Lin |
Algorithms for Paraconsistent Reasoning with OWL. |
ESWC |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Igor V. Kotenko, Artem Tishkov, Olga Chervatuk, Ekaterina Sidelnikova |
Security Policy Verification Tool for Geographical Information Systems. |
IF&GIS |
2007 |
DBLP DOI BibTeX RDF |
Security, verification, security policy |
15 | Qin Li 0002, Huibiao Zhu, Jifeng He 0001 |
An Inconsistency Free Formalization of B/S Architecture. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
15 | José Ghislain Quenum |
A Unification and Delegation Approach to Configure Generic Protocols for Agent Interactions. |
IAT |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Loreto Bravo, James Cheney, Irini Fundulaki |
Repairing Inconsistent XML Write-Access Control Policies. |
DBPL |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Yunja Choi |
Checking Interaction Consistency in MARMOT Component Refinements. |
SOFSEM (1) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Ulrike Ranger, Thorsten Hermes |
Ensuring Consistency Within Distributed Graph Transformation Systems. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Duhong Chen, Oliver Eulenstein, David Fernández-Baca, Michael J. Sanderson |
Minimum-Flip Supertrees: Complexity and Algorithms. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2006 |
DBLP DOI BibTeX RDF |
tree assembly, NP-completeness, Phylogenetic tree, supertree |
15 | Steven P. Reiss |
Incremental Maintenance of Software Artifacts. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
Software maintenance, evolution, programming tools |
15 | Lee Pike |
A Note on Inconsistent Axioms in Rushby's "Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms'. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
time-triggered algorithms, Formal methods, formal verification, PVS, synchronous systems |
15 | Jing Liu 0006, Weicai Zhong, Licheng Jiao |
Comments on "The 1993 DIMACS graph coloring Challenge" and "Energy function-based approaches to graph Coloring". |
IEEE Trans. Neural Networks |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Corrêa Victorino, Patrick Rives |
SLAM with consistent mapping in an hybrid model. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Dingliang Liang, Paul Boustead |
Using local lag and timewarp to improve performance for real life multi-player online games. |
NETGAMES |
2006 |
DBLP DOI BibTeX RDF |
local lag, quake 3, timewarp, consistency, networked games, paradox |
15 | Victor Milenkovic, Elisha Sacks |
An approximate arrangement algorithm for semi-algebraic curves. |
SCG |
2006 |
DBLP DOI BibTeX RDF |
robust computational geometry, arrangements |
15 | Marcela Campo, Alejandro A. Vaisman |
Consistency of Temporal XML Documents. |
XSym |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Phuc-Hiep Luong, Rose Dieng-Kuntz |
A Rule-based Approach for Semantic Annotation Evolution in the CoSWEM System. |
CSWWS |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Orest Pilskalns, Gunay Uyan, Anneliese Amschler Andrews |
Regression Testing UML Designs. |
ICSM |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Srihari Sukumaran, Ashok Sreenivas, R. Venkatesh |
A Rigorous Approach to Requirements Validation. |
SEFM |
2006 |
DBLP DOI BibTeX RDF |
|
15 | G. Murali Krishna |
Requirements Modeling -- Experience from an Insurance Project. |
SEFM |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Gregory de Fombelle, Xavier Blanc 0001, Laurent Rioux, Marie-Pierre Gervais |
Finding a Path to Model Consistency. |
ECMDA-FA |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Jörg Zettel |
Methodology Support in CASE Tools and Its Impact on Individual Acceptance and Use: A Controlled Experiment. |
Empir. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
methodology support, consistency assurance, process modelling, Computer-aided software engineering, technology acceptance |
15 | Leonid Kof |
Natural Language Processing: Mature Enough for Requirements Documents Analysis? |
NLDB |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Johan Muskens, Reinder J. Bril, Michel R. V. Chaudron |
Generalizing Consistency Checking between Software Views. |
WICSA |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Vivek Ramachandran, Sukumar Nandi |
Detecting ARP Spoofing: An Active Technique. |
ICISS |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Deepali Kholkar, G. Murali Krishna, Ulka Shrotri, R. Venkatesh 0001 |
Visual specification and analysis of use cases. |
SOFTVIS |
2005 |
DBLP DOI BibTeX RDF |
visual notation, model checking, UML, requirements |
15 | Dimitri Theodoratos, Theodore Dalamagas 0001 |
Querying Tree-Structured Data Using Dimension Graphs. |
CAiSE |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Handan Gül Çalikli, M. Ufuk Çaglayan |
A Formal Policy Specification Language for an 802.11 WLAN with Enhanced Security Network. |
ISCIS |
2005 |
DBLP DOI BibTeX RDF |
Administrative Domain, 802.11 Wireless Local Area Network (WLAN), Mobadtl, Security Policy |
15 | Mario Paolucci, Jordi Sabater, Rosaria Conte |
"What if?" Dealing with uncertainity in Repage's mental landscape. |
IAT |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Marc-Antoine Drouin, Martin Trudeau, Sébastien Roy 0001 |
Geo-Consistency for Wide Multi-Camera Stereo. |
CVPR (1) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Matheus |
How to Declare Access Control Policies for XML Structured Information Objects using OASIS' eXtensible Access Control Markup Language (XACML). |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Ahmed Gomaa, Nabil R. Adam, Vijayalakshmi Atluri |
Color Time Petri Net for Interactive Adaptive Multimedia Objects. |
MMM |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Shiva Nejati |
Formal support for merging and negotiation. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
3-valued logic, inconsistency detection, model checking, refinement, negotiation, model merging |
15 | Steven P. Reiss |
Incremental Maintenance of Software Artifacts. |
ICSM |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Anarosa Brandão, Viviane Torres da Silva, Carlos José Pereira de Lucena |
A knowledge-based approach to the specification and verification of MAS design. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
ontology, multi-agent systems, design verification |
15 | Eva Cogan, Simon Parsons, Peter McBurney |
What kind of argument are we going to have today? |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
argumentation, agent communication, dialogue games |
15 | Martin J. Kollingbaum, Timothy J. Norman |
Informed Deliberation During Norm-Governed Practical Reasoning. |
AAMAS Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
15 | George Spanoudakis, Hyoseob Kim |
Supporting the reconciliation of models of object behaviour. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
Software design models, Object interaction diagrams, Consistency management |
15 | Martin Mauve, Jürgen Vogel 0001, Volker Hilt, Wolfgang Effelsberg |
Local-lag and timewarp: providing consistency for replicated continuous applications. |
IEEE Trans. Multim. |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Lan Wang, Daniel Massey, Keyur Patel, Lixia Zhang 0001 |
FRTR: A Scalable Mechanism for Global Routing Table Consistency. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Bill Mitchell |
Inherent Causal Orderings of Partial Order Scenarios. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Luís Miguel Pinho, Francisco Vasques |
Reliable Real-Time Communication in CAN Networks. |
IEEE Trans. Computers |
2003 |
DBLP DOI BibTeX RDF |
real-time systems, Communication protocols, fault-tolerant systems, controller area network |
15 | Sally I. McClean, Bryan W. Scotney, Kieran Greer |
A Scalable Approach to Integrating Heterogeneous Aggregate Views of Distributed Databases. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
aggregate views, Kullback-Leibler information divergence, Distributed databases, dynamic ontologies |
15 | Giuseppe A. Di Lucca, Massimiliano Di Penta |
Considering Browser Interaction in Web Application Testing. |
WSE |
2003 |
DBLP DOI BibTeX RDF |
Software testing, Web application testing, State-based testing |
15 | Håkan Sivencrona, Per Johannessen, Mattias Persson, Jan Torin |
Heavy-Ion Fault Injections in the Time-Triggered Communication Protocol. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Pierre Courtiat |
Formal Design of Interactive Multimedia Documents. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Reiko Heckel |
Open Petri Nets as Semantic Model for Workflow Integration. |
Petri Net Technology for Communication-Based Systems |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Dui, Wolfgang Emmerich, Christian Nentwich, Bryan Thal |
Consistency Checking of Financial Derivatives Transactions. |
NetObjectDays |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Öznur Özkasap |
Large-Scale Behavior of End-to-End Epidemic Message Loss Recovery. |
QofIS |
2002 |
DBLP DOI BibTeX RDF |
epidemic communication, scalable multicast, Bimodal Multicast, loss recovery, end-to-end protocols |
15 | Sunita Sarawagi, Anuradha Bhamidipaty |
Interactive deduplication using active learning. |
KDD |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Susan Weissman Lauzac, Panos K. Chrysanthis |
View Propagation and Inconsistency Detection for Cooperative Mobile Agents. |
OTM |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Alex Groce, Doron A. Peled, Mihalis Yannakakis |
Adaptive Model Checking. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
Learning Algorithms, Automatic Verification, Black Box Testing |
15 | Ghassan Beydoun |
An OO Model for Incremental Hierarchical KA. |
EKAW |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Rasool Jalili, Mohsen Rezvani |
Specification and Verification of Security Policies in Firewalls. |
EurAsia-ICT |
2002 |
DBLP DOI BibTeX RDF |
Formal Specification, Security Policy, Firewall |
15 | Andrés Silva |
Requirements, domain and specifications: a viewpoint-based approach to requirements engineering. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Frank C. Langbein, A. David Marshall, Ralph R. Martin |
Numerical Methods for Beautification of Reverse Engineered Geometric Models. |
GMP |
2002 |
DBLP DOI BibTeX RDF |
Numerical Constraint Solver, Reverse Engineering, Geometric Constraints, Beautification |
15 | Duhong Chen, Oliver Eulenstein, David Fernández-Baca, Michael J. Sanderson |
Supertrees by Flipping. |
COCOON |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Luís Miguel Pinho, Francisco Vasques |
Timing Analysis of Reliable Real-Time Communication in CAN Networks. |
ECRTS |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Jürgen Vogel 0001, Martin Mauve |
Consistency control for distributed interactive media. |
ACM Multimedia |
2001 |
DBLP DOI BibTeX RDF |
RTP/I, distributed interactive media, intention conflict, local lag, mlb, timewarp, consistency, late join |