|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1139 occurrences of 821 keywords
|
|
|
Results
Found 1643 publication records. Showing 1643 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
126 | Steve M. Easterbrook, Bashar Nuseibeh |
Managing inconsistencies in an evolving specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: Second IEEE International Symposium on Requirements Engineering, March 27 - 29, 1995, York, England, UK, pp. 48-55, 1995, IEEE Computer Society, 0-8186-7017-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
evolving specification, recurrent inconsistencies, unresolved inconsistencies, resolved inconsistencies, work record, formal specification, data integrity, software development management, ViewPoints, inconsistency management, partial specifications |
46 | Paea LePendu, Dejing Dou, Douglas G. Howe |
Detecting Inconsistencies in the Gene Ontology Using Ontology Databases with Not-gadgets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (2) ![In: On the Move to Meaningful Internet Systems: OTM 2009, Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part II, pp. 948-965, 2009, Springer, 978-3-642-05150-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
46 | Qiusong Yang, Mingshu Li 0001, Qing Wang 0001, Guowei Yang 0001, Jian Zhai, Juan Li 0001, Lishan Hou, Yun Yang 0001 |
An Algebraic Approach for Managing Inconsistencies in Software Processes, . ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSP ![In: Software Process Dynamics and Agility, International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007, Proceedings, pp. 121-133, 2007, Springer, 978-3-540-72425-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
PCSEE, TRISO/ML, Software Engineering, Verification, Software Process, Algebraic, Inconsistency |
46 | Tom Mens, Ragnhild Van Der Straeten |
Incremental Resolution of Model Inconsistencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers, pp. 111-126, 2006, Springer, 978-3-540-71997-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Honghai Feng, Baoyan Liu, Liyun He, Bingru Yang, Yumei Chen, Zhao Shuo |
An Algorithm for Eliminating the Inconsistencies Caused During Discretization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006, Proceedings, Part I, pp. 145-152, 2006, Springer, 3-540-46535-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Julius Stuller |
Inconsistencies in Data Warehousing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DANTE ![In: 1999 International Symposium on Database Applications in Non-Traditional Environments (DANTE '99), 28-30 November 1999, Kyoto, Japan, pp. 43-50, 1999, IEEE Computer Society, 0-7695-0496-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
45 | William N. Robinson, Suzanne D. Pawlowski |
Managing Requirements Inconsistency with Development Goal Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 25(6), pp. 816-835, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
inconsistency and conflict management, process modeling and monitoring, Requirements engineering, meta-modeling, CASE |
40 | Yongjin Kim, Jae-Joon Lee, Ahmed Helmy |
Impact of location inconsistencies on geographic routing in wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 6th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2003, San Diego, CA, USA, September 19, 2003, pp. 124-127, 2003, ACM. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
geographic routing protocol, location inconsistencies, performance analysis, network simulation |
39 | Lingxiao Jiang, Zhendong Su 0001, Edwin Chiu |
Context-based detection of clone-related bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 55-64, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
code clone detection, code clone-related bugs, context-based bug detection, inconsistencies |
39 | Derek H. Sleeman, Andy Aiken, Laura Moss, John Kinsella, Malcolm Sim |
A System to Detect Inconsistencies between a Domain Expert's Different Perspectives on (Classification) Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Machine Learning II ![In: Advances in Machine Learning II, Dedicated to the Memory of Professor Ryszard S. Michalski, pp. 293-314, 2010, Springer, 978-3-642-05178-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
39 | Jianwan Ding, Liping Chen, Fanli Zhou |
A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equation Based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 21(3), pp. 450-458, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
structural inconsistency, component-based debugging, simulation, declarative model, Modelica |
39 | Tom Mens, Ragnhild Van Der Straeten, Maja D'Hondt |
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings, pp. 200-214, 2006, Springer, 3-540-45772-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Anne-Thérèse Körtgen |
New Strategies to Resolve Inconsistencies between Models of Decoupled Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LWI@ASE ![In: Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development, LWI@ASE 2010, Antwerp, Belgium, September 21st, 2010, pp. 21-31, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
32 | Alexander Nöhrer, Alexander Egyed |
Utilizing the Relationships Between Inconsistencies for more Effective Inconsistency Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LWI@ASE ![In: Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development, LWI@ASE 2010, Antwerp, Belgium, September 21st, 2010, pp. 39-43, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
32 | Jorge Pinna Puissant, Tom Mens, Ragnhild Van Der Straeten |
Resolving Model Inconsistencies with Automated Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LWI@ASE ![In: Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development, LWI@ASE 2010, Antwerp, Belgium, September 21st, 2010, pp. 8-14, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
32 | María-Dolores Cubiles-de-la-Vega, Esther-Lydia Silva-Ramírez, Rafael Pino-Mejías, Manuel López-Coello |
Evaluating the Performance of the Multilayer Perceptron as a Data Editing Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I, pp. 1304-1311, 2009, Springer, 978-3-642-02477-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multilayer perceptron, MATLAB, learning algorithms, inconsistencies, data editing |
32 | Claudia Fuchs, Wolfgang Förstner |
Polymorphic Grouping for Image Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 175-182, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
polymorphic grouping, inherent deficiencies, low-level feature extraction, real scene complexity, stereo recognition, point extraction, segment extraction, feature adjacency graph, grouping steps, specific domain knowledge, optimal image description, geometric hypotheses validation, ideal image model, computer vision, image segmentation, image segmentation, feature extraction, object recognition, object recognition, stereo image processing, inconsistencies, robust estimation, estimation theory, cell-complex, line extraction, symbolic description, outdoor scenes, exoskeleton |
32 | Roy S. Freedman |
Testability of Software Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(6), pp. 553-564, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
domain testability, domain-testable program, input-output inconsistencies, small test sets, test outputs, domain-testable specification, nondomain-testable specification, formal specification, controllability, software components, program testing, observability, program specifications |
32 | Jerzy W. Grzymala-Busse |
Knowledge acquisition under uncertainty - a rough set approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 1(1), pp. 3-16, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
certain rules, possible rules, rough sets, Uncertainty, inconsistencies, data base |
31 | Michael Peter |
Presentation and Evaluation of Inconsistencies in Multiply Represented 3D Building Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QuaCon ![In: Quality of Context, First International Workshop, QuaCon 2009, Stuttgart, Germany, June 25-26, 2009. Revised Papers, pp. 156-163, 2009, Springer, 978-3-642-04558-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
evaluation, 3D, inconsistency, city model, adjustment |
31 | Sándor Bozóki, Tamás Rapcsák |
On Saaty's and Koczkodaj's inconsistencies of pairwise comparison matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 42(2), pp. 157-175, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Pairwise comparison matrix, Inconsistency index, Randomly generated pairwise comparison matrix, Inconsistency |
31 | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack |
Detecting and Repairing Inconsistencies across Heterogeneous Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 356-364, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Model Driven Development, Inconsistency Management, Model Consistency |
31 | Martin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel, Philippe Veber |
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 130-144, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Alexander Egyed |
Fixing Inconsistencies in UML Design Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, pp. 292-301, 2007, IEEE Computer Society, 0-7695-2828-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Sébastien Cuendet, Dilek Hakkani-Tür, Elizabeth Shriberg |
Automatic Labeling Inconsistencies Detection and Correction for Sentence Unit Segmentation in Conversational Speech. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLMI ![In: Machine Learning for Multimodal Interaction , 4th International Workshop, MLMI 2007, Brno, Czech Republic, June 28-30, 2007, Revised Selected Papers, pp. 144-155, 2007, Springer, 978-3-540-78154-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Automatic relabeling, sentence segmentation, boosting, error correction, noisy data |
31 | Peter Plessers, Olga De Troyer |
Resolving Inconsistencies in Evolving Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 3rd European Semantic Web Conference, ESWC 2006, Budva, Montenegro, June 11-14, 2006, Proceedings, pp. 200-214, 2006, Springer, 3-540-34544-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Pieter Van Gorp, Frank Altheide, Dirk Janssens |
Towards 2D Traceability in a Platform for Contract Aware Visual Transformations with Tolerated Inconsistencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 16-20 October 2006, Hong Kong, China, pp. 185-198, 2006, IEEE Computer Society, 0-7695-2558-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Ralph Miarka, John Derrick, Eerke A. Boiten |
Handling Inconsistencies in Z Using Quasi-Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings, pp. 204-225, 2002, Springer, 3-540-43166-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Michael Goedicke, Torsten Meyer, Gabriele Taentzer |
ViewPoint-Oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with Inconsistencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 4th IEEE International Symposium on Requirements Engineering (RE '99), 7-11 June 1999, Limerick, Ireland, pp. 92-99, 1999, IEEE Computer Society, 0-7695-0188-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Integration of Software Architecture and Performance Evaluation, Requirements Engineering, Graph Transformation, ViewPoints, Inconsistency Management |
30 | Katharina Mehner, Mattia Monga, Gabriele Taentzer |
Analysis of Aspect-Oriented Model Weaving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
T. Aspect-Oriented Software Development ![In: Transactions on Aspect-Oriented Software Development V, pp. 235-263, 2009, Springer, 978-3-642-02058-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Steven Euijong Whang, Omar Benjelloun, Hector Garcia-Molina |
Generic entity resolution with negative rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 18(6), pp. 1261-1277, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Generic entity resolution, Negative rule, Data cleaning, Inconsistency |
30 | Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary |
Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009, pp. 121-130, 2009, ACM, 978-1-60558-327-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
static array bounds checking, verilog elaboration, verilog wire width consistency, dependent types, dead code elimination |
30 | Nathan Schurr, Janusz Marecki, Milind Tambe |
Improving adjustable autonomy strategies for time-critical domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (1) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1, pp. 353-360, 2009, IFAAMAS, 978-0-9817381-6-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
30 | Daniel Popescu 0001, Spencer Rugaber, Nenad Medvidovic, Daniel M. Berry |
Reducing Ambiguities in Requirements Specifications Via Automatically Created Object-Oriented Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Monterey Workshop ![In: Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers, pp. 103-124, 2007, Springer, 978-3-540-89777-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Alexander Egyed |
UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, pp. 793-796, 2007, IEEE Computer Society, 0-7695-2828-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Hugues Malgouyres, Gilles Motet |
A UML model consistency verification approach based on meta-modeling formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1804-1809, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML verification, consistency rules, meta-modeling, constraint logic programming |
30 | Katharina Mehner, Mattia Monga, Gabriele Taentzer |
Interaction Analysis in Aspect-Oriented Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 14th IEEE International Conference on Requirements Engineering (RE 2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, USA, pp. 66-75, 2006, IEEE Computer Society, 0-7695-2555-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Jan Scheffczyk, Peter Rödig, Uwe M. Borghoff, Lothar Schmitz |
Managing inconsistent repositories via prioritized repairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2004 ACM Symposium on Document Engineering, Milwaukee, Wisconsin, USA, October 28-30, 2004, pp. 137-146, 2004, ACM, 1-58113-938-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
document management, consistency maintenance, repair |
30 | Shueh-Cheng Hu, Richard Furuta |
A Tool for Maintaining Multi-variant Hypertext Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EP ![In: Electronic Publishing, Artistic Imaging, and Digital Typography, 7th International Conference on Electronic Publishing, EP '98, Held Jointly with the 4th International Conference on Raster Imaging and Digital Typography, RIDT '98, St. Malo, France, March 30 - April 3, 1998, Proceedings, pp. 525-536, 1998, Springer, 3-540-64298-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
30 | John T. Robinson, Murthy V. Devarakonda |
Note on a Problem with Reed and Long's FBR Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 31(1), pp. 3-4, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
30 | Magdi M. A. Morsi, Shamkant B. Navathe, John J. Shilling |
On Behavioral Schema Evolution in Object-Oriented Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT'94. 4th International Conference on Extending Database Technology, Cambridge, United Kingdom, March 28-31, 1994, Proceedings, pp. 173-186, 1994, Springer, 3-540-57818-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Andreas Saebjoernsen, Lingxiao Jiang, Daniel J. Quinlan, Zhendong Su 0001 |
Static Validation of C Preprocessor Macros. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009, pp. 149-160, 2009, IEEE Computer Society, 978-0-7695-3891-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
preprossing, macro errors, inconsistencies |
24 | Zainab R. Zaidi, Björn Landfeldt |
Monitoring Assisted Robust Routing in Wireless Mesh Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mob. Networks Appl. ![In: Mob. Networks Appl. 13(1-2), pp. 54-66, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
robust routing, passive listening, routing inconsistencies |
24 | Dominique Michelucci, Jean-Michel Moreau |
Lazy Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 46(9), pp. 961-975, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
exact rational arithmetic, lazy arithmetic, Computational geometry, robustness, interval arithmetic, inconsistencies, hash coding |
24 | M. P. Reddy, Bandreddi E. Prasad, P. G. Reddy, Amar Gupta |
A Methodology for Integration of Heterogeneous Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(6), pp. 920-933, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
heterogeneous database integration methodology, local databases, diverse global application needs, total schema integration, virtual integration, 4-layered schema architecture, local schemata, local object schemata, global schema, global view schemata, object equivalence classes, property equivalence classes, logical integration, heterogeneous schemata, object instance equivalence classes, property instance equivalence classes, naming conflicts, scaling conflicts, type conflicts, abstraction level conflicts, data inconsistencies, data integration, database management systems, equivalence classes, naming services |
24 | Jorge Lopez-Moreno, Veronica Sundstedt, Francisco Sangorrin, Diego Gutierrez |
Measuring the perception of light inconsistencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APGV ![In: Proceedings of the 7th Symposium on Applied Perception in Graphics and Visualization, APGV 2010, Los Angeles, California, USA, July 23-24, 2010, pp. 25-32, 2010, ACM, 978-1-4503-0248-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | |
Data Inconsistencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 585, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Benjamin Zeiss, Jens Grabowski |
Analyzing Response Inconsistencies in Test Suites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings, pp. 195-210, 2009, Springer, 978-3-642-05030-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Xiaowang Zhang, Zuoquan Lin |
An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings, pp. 615-622, 2009, Springer, 978-3-642-04616-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Liping Zhou |
Dealing with Inconsistencies in DL-Lite Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings, pp. 954-958, 2009, Springer, 978-3-642-02120-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Gilles Perrouin, Erwan Brottier, Benoit Baudry, Yves Le Traon |
Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFSQ ![In: Requirements Engineering: Foundation for Software Quality, 15th International Working Conference, REFSQ 2009, Amsterdam, The Netherlands, June 8-9, 2009, Proceedings, pp. 89-103, 2009, Springer, 978-3-642-02049-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
model-driven requirements engineering, flexible inconsistency management, model composition |
24 | Xavier Blanc 0001, Alix Mougenot, Isabelle Mounier, Tom Mens |
Incremental Detection of Model Inconsistencies Based on Model Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings, pp. 32-46, 2009, Springer, 978-3-642-02143-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Carlos Müller, Antonio Ruiz Cortés, Manuel Resinas |
An Initial Approach to Explaining SLA Inconsistencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings, pp. 394-406, 2008, 978-3-540-89647-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Quality of Service, Debugging, Service Level Agreement, Consistency Checking, WS-Agreement |
24 | Andriy Nikolov, Victoria S. Uren, Enrico Motta, Anne N. De Roeck |
Using the Dempster-Shafer Theory of Evidence to Resolve ABox Inconsistencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
URSW (LNCS Vol.) ![In: Uncertainty Reasoning for the Semantic Web I, ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers, pp. 143-160, 2008, Springer, 978-3-540-89764-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Anne-Marie Bosneag, Ahmad AbdulWakeel, William Leahy |
A Distributed Mechanism for Detecting Cell Data Inconsistencies in LTE Radio Access Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCNC ![In: WCNC 2008, IEEE Wireless Communications & Networking Conference, March 31 2008 - April 3 2008, Las Vegas, Nevada, USA, Conference Proceedings, pp. 2921-2926, 2008, IEEE, 978-1-4244-1997-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Chang Xu 0001, Shing-Chi Cheung, Wing Kwong Chan, Chunyang Ye |
Heuristics-Based Strategies for Resolving Context Inconsistencies in Pervasive Computing Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 17-20 June 2008, Beijing, China, pp. 713-721, 2008, IEEE Computer Society, 978-0-7695-3172-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Marc Finthammer, Gabriele Kern-Isberner, Manuela Ritterskamp |
Resolving Inconsistencies in Probabilistic Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings, pp. 114-128, 2007, Springer, 978-3-540-74564-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Xi Deng, Volker Haarslev, Nematollaah Shiri |
Measuring Inconsistencies in Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings, pp. 326-340, 2007, Springer, 978-3-540-72666-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Shuiming Ye, Qibin Sun, Ee-Chien Chang |
Detecting Digital Image Forgeries by Measuring Inconsistencies of Blocking Artifact. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2007 IEEE International Conference on Multimedia and Expo, ICME 2007, July 2-5, 2007, Beijing, China, pp. 12-15, 2007, IEEE Computer Society, 1-4244-1017-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Andrei Voronkov |
Inconsistencies in Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings, pp. 19, 2006, Springer, 3-540-39625-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Vincenzo Gervasi, Didar Zowghi |
Reasoning about inconsistencies in natural language requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 14(3), pp. 277-330, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Requirements, natural language, inconsistency, default logic |
24 | Micah K. Johnson, Hany Farid |
Exposing digital forgeries by detecting inconsistencies in lighting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MM&Sec ![In: Proceedings of the 7th workshop on Multimedia & Security, MM&Sec 2005, New York, NY, USA, August 1-2, 2005, 2006, pp. 1-10, 2005, ACM, 1-59593-032-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
digital forensics, digital tampering |
24 | Emanuele Ragnoli, William E. Leithead |
Reconciliation of Inconsistencies in the Theory of Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Summer School on Multi-AgentControl ![In: Switching and Learning in Feedback Systems, European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers, pp. 273-289, 2003, Springer, 3-540-24457-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Ke Xu, Héctor Muñoz-Avila |
CBM-Gen+: An Algorithm for Reducing Case Base Inconsistencies in Hierarchical and Incomplete Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning Research and Development, 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings, pp. 665-678, 2003, Springer, 3-540-40433-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Lutz Schlesinger, Wolfgang Lehner |
SCINTRA: A Model for Quantifying Inconsistencies in Grid-Organized Sensor Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003. Proceedings, pp. 348-355, 2003, Springer, 3-540-40788-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Zbigniew W. Ras, Agnieszka Dardzinska |
Handling Semantic Inconsistencies in Distributed Knowledge Systems Using Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002, Proceedings, pp. 66-74, 2002, Springer, 3-540-43785-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Didar Zowghi, Vincenzo Gervasi, Andrew McRae |
Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China, pp. 133-, 2001, IEEE Computer Society, 0-7695-1408-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
s cenarios, Requirements, natural language, inconsistency, default logic |
24 | Gianpaolo Cugola, Elisabetta Di Nitto, Alfonso Fuggetta, Carlo Ghezzi |
A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 5(3), pp. 191-230, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
business processes, software processes, formal model, inconsistency, deviation, human-centered systems |
23 | Isaac Cano, Guillermo Navarro-Arribas, Vicenç Torra |
A new framework to automate constrained microaggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM-PAVLAD ![In: Proceeding of the ACM First International Workshop on Privacy and Anonymity for Very Large Databases, CIKM-PAVLAD 2009, Hong Kong, China, November 6, 2009, pp. 1-8, 2009, ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
microaggregation with constraints, privacy preserving data mining, data privacy, microaggregation, data editing |
23 | Elmer Lastdrager, Aiko Pras |
Consistency of Network Traffic Repositories: An Overview. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMS ![In: Scalability of Networks and Services, Third International Conference on Autonomous Infrastructure, Management and Security, AIMS 2009, Enschede, The Netherlands, June 30-July 2, 2009. Proceedings, pp. 173-178, 2009, Springer, 978-3-642-02626-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Elmer Lastdrager, Aiko Pras |
Consistency Analysis of Network Traffic Repositories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUNICE ![In: The Internet of the Future, 15th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2009, Barcelona, Spain, September 7-9, 2009. Proceedings, pp. 217-226, 2009, Springer, 978-3-642-03699-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Teo Poh Kuang, Hamidah Ibrahim |
Security privacy access control for policy integration and conflict reconciliation in health care organizations collaborations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: iiWAS'2009 - The Eleventh International Conference on Information Integration and Web-based Applications and Services, 14-16 December 2009, Kuala Lumpur, Malaysia, pp. 750-754, 2009, ACM, 978-1-60558-660-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
conflict reconciliation, cross-organization collaboration, security policy integration, role-based access control, logical reasoning |
23 | Faezeh Ensan, Weichang Du |
Aspects of Inconsistency Resolution in Modular Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Canadian AI ![In: Advances in Artificial Intelligence , 21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008, Windsor, Canada, May 28-30, 2008, Proceedings, pp. 84-95, 2008, Springer, 978-3-540-68821-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Ryosuke Fujioka, Ryo Tanimoto, Yuki Kawai, Hidehiko Okada |
Tool for Detecting Webpage Usability Problems from Mouse Click Coordinate Logs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (1) ![In: Human-Computer Interaction. Interaction Design and Usability, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I, pp. 438-445, 2007, Springer, 978-3-540-73104-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
user interaction logs, mouse clicks, usability problem cues, web, Automated usability evaluation |
23 | Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia |
Aggregating and Deploying Network Access Control Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Second International Conference on Availability, Reliability and Security, ARES 2007, The International Dependability Conference - Bridging Theory and Practice, April 10-13 2007, Vienna, Austria, pp. 532-542, 2007, IEEE Computer Society, 0-7695-2775-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Lin Tan 0001, Ding Yuan 0004, Gopal Krishna, Yuanyuan Zhou 0001 |
/*icomment: bugs or bad comments?*/. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, SOSP 2007, Stevenson, Washington, USA, October 14-17, 2007, pp. 145-158, 2007, ACM, 978-1-59593-591-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
comment analysis, natural language processing for software engineering, programming rules and static analysis |
23 | Bat-Odon Purevjii, Masayoshi Aritsugi, Sayaka Imai, Yoshinari Kanamori |
An Implementation Design of a Fine-Grained Database Access Control Policy Consistency Checking Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II, pp. 752-760, 2007, Springer, 978-3-540-74826-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fine-grained database access control, policy consistency |
23 | Carlos Molina-Jiménez, Santosh K. Shrivastava, Nick Cook |
Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 15-19 October 2007, Annapolis, Maryland, USA, pp. 51-62, 2007, IEEE Computer Society, 0-7695-2891-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Wamberto Weber Vasconcelos, Martin J. Kollingbaum, Timothy J. Norman |
Resolving conflict and inconsistency in norm-regulated virtual organizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 91, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
norms, institutions, artificial social systems, conventions |
23 | Orest Pilskalns, Daniel Williams 0001, Damir Aracic, Anneliese Amschler Andrews |
Security Consistency in UML Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 30th Annual International Computer Software and Applications Conference, COMPSAC 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume 1, pp. 351-358, 2006, IEEE Computer Society, 0-7695-2655-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Peter Haase 0001, Frank van Harmelen, Zhisheng Huang, Heiner Stuckenschmidt, York Sure |
A Framework for Handling Inconsistency in Changing Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings, pp. 353-367, 2005, Springer, 3-540-29754-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati 0001 |
Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Database Programming Languages, 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers, pp. 90-105, 2005, Springer, 3-540-30951-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Agnieszka Dardzinska-Glebocka |
Null Values and Chase in Distributed Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part II, pp. 1143-1149, 2004, Springer, 3-540-23206-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Joseph D. Pellegrino, Constantinos Dovrolis |
Bandwidth requirement and state consistency in three multiplayer game architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETGAMES ![In: Proceedings of the 2nd Workshop on Network and System Support for Games, NETGAMES 2003, Redwood City, California, USA, May 22-23, 2003, pp. 52-59, 2003, ACM, 1-58113-734-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Ian Sommerville, Peter Sawyer, Stephen Viller |
Managing Process Inconsistency Using Viewpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 25(6), pp. 784-799, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
software process, process improvement, Viewpoints |
23 | Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj |
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(11), pp. 927-948, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
simulation, model checking, verification, formal methods, specification, abstraction, Requirements, consistency checking, safety analysis, SCR |
23 | Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh |
Inconsistency Handling in Multperspective Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(8), pp. 569-578, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
multiperspective specifications, logical rules, formal specification, specifications, specification, data integrity, temporal logic, temporal logic, distributed processing, process modeling, complex systems, development, ViewPoints, distributed development, first order predicate logic, multiple perspectives, inconsistency handling |
23 | Walter F. Tichy |
Tichy's Response to R. W. Schwanke and G. E. Kaiser's "Smarter Recompilation". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 10(4), pp. 633-634, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Jenny Ottmann, Frank Breitinger, Felix C. Freiling |
An Experimental Assessment of Inconsistencies in Memory Forensics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Priv. Secur. ![In: ACM Trans. Priv. Secur. 27(1), pp. 2:1-2:29, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Jiangshan Liu, Shuang Liu, Junjie Chen |
I3DE: An IDE for Inspecting Inconsistencies in PL/SQL Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.03433, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Vamshi Krishna Bonagiri, Sreeram Vennam, Manas Gaur, Ponnurangam Kumaraguru |
Measuring Moral Inconsistencies in Large Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.01719, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Anna Stubbin, Thompson Chyrikov, Jim Zhao, Christina Chajo |
The Limits of Perception: Analyzing Inconsistencies in Saliency Maps in XAI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.15684, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Nicolas Huynh, Jeroen Berrevoets, Nabeel Seedat, Jonathan Crabbé, Zhaozhi Qian, Mihaela van der Schaar |
DAGnosis: Localized Identification of Data Inconsistencies using Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.17599, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Soumyya Kanti Datta, Shan Jia, Siwei Lyu |
Exposing Lip-syncing Deepfakes from Mouth Inconsistencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.10113, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Peter B. R. Hartog, Fabian Krüger, Samuel Genheden, Igor V. Tetko |
Using test-time augmentation to investigate explainable AI: inconsistencies between method, model and human intuition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cheminformatics ![In: J. Cheminformatics 16(1), pp. 39, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Jan Keim, Sophie Corallo, Dominik Fuchß, Anne Koziolek |
Detecting Inconsistencies in Software Architecture Documentation Using Traceability Link Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26 - March 1, 2024, pp. 119-120, 2024, Gesellschaft für Informatik e.V., 978-3-88579-737-1. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Jinghui Zhang, Zhengjia Xu, Dingyang Lv, Zhan Shi, Dian Shen, Jiahui Jin, Fang Dong 0001 |
DiG-In-GNN: Discriminative Feature Guided GNN-Based Fraud Detector against Inconsistencies in Multi-Relation Fraud Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 9323-9331, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Anh Dau, Jin L. C. Guo, Nghi D. Q. Bui |
DocChecker: Bootstrapping Code Large Language Model for Detecting and Resolving Code-Comment Inconsistencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EACL (Demonstrations) ![In: Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics, EACL 2024 - System Demonstrations, St. Julians, Malta, March 17-22, 2024, pp. 187-194, 2024, Association for Computational Linguistics, 979-8-89176-091-2. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
16 | Ge Luo 0002, Weisi Fan, Miaoran Li, Youbiao He, Yinfei Yang, Forrest Sheng Bao |
On the Intractability to Synthesize Factual Inconsistencies in Summarization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EACL (Findings) ![In: Findings of the Association for Computational Linguistics: EACL 2024, St. Julian's, Malta, March 17-22, 2024, pp. 1026-1037, 2024, Association for Computational Linguistics, 979-8-89176-093-6. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
16 | Sabine Nagel, Patrick Delfmann |
Exploring Cognitive Effects of Inconsistency Characteristics on Understanding Inconsistencies in Declarative Process Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 57th Hawaii International Conference on System Sciences, HICSS 2024, Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January 3-6, 2024, pp. 6012-6021, 2024, ScholarSpace, 978-0-9981331-7-1. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 1643 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|