Search results for "inconsistencies"

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