Search results for "consistency checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Xiaodong Zhu, Zhiqiu Huang, Guohua Shen	Description Logic Based Consistency Checking upon Data Mining Metadata.	RSKT	2008	DBLP DOI BibTeX RDF	Data mining, Metadata, Knowledge representation, Automated reasoning, Consistency checking
3	Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook, Marsha Chechik	Global consistency checking of distributed models with TReMer+.	ICSE	2008	DBLP DOI BibTeX RDF	consistency checking, distributed development, model merging
3	Xi Bai, Jigui Sun, Zehai Li, Xianrui Lu	Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer.	RR	2007	DBLP DOI BibTeX RDF	hierarchical clustering, consistency checking, Ontology learning, ontology reasoning
3	Tomohiro Kaizu, Tomoya Noro, Takehiro Tokuda	A state propagation method for consistency checking of web service function invocations in web applications.	ICWE Workshops	2006	DBLP DOI BibTeX RDF	Web services, semantic Web, Web applications, OWL-S, consistency checking
3	Susan Elias, K. S. Easwarakumar, Richard Chbeir	Dynamic consistency checking for temporal and spatial relations in multimedia presentations.	SAC	2006	DBLP DOI BibTeX RDF	authoring, multimedia presentation, consistency checking, spatial relations, temporal relations
3	Chang Xu, Shing-Chi Cheung, W. K. Chan	Incremental consistency checking for pervasive context.	ICSE	2006	DBLP DOI BibTeX RDF	incremental consistency checking, pervasive computing, context management
3	Jocelyn Simmonds, M. Cecilia Bastarrica	A tool for automatic UML model consistency checking.	ASE	2005	DBLP DOI BibTeX RDF	model consistency checking, software design verification, description logics
3	Zhengping Liang, Guoqing Wu	Consistency Checking of Multiviews Based on Agent.	CIT	2004	DBLP DOI BibTeX RDF	viewpoint agent, agent, Viewpoint, consistency checking
3	Xuan Liu, Shashi Shekhar, Sanjay Chawla	Consistency checking for Euclidean spatial constraints: a dimension graph approach.	ICTAI	2000	DBLP DOI BibTeX RDF	Euclidean spatial constraints, dimension graph approach, graph cycle detection, spatial predicates, two-dimensional space, computational complexity, computational geometry, transforms, polygons, consistency checking, intervals, space complexity, spatial objects
3	Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw	Automated Consistency Checking of Requirements Specifications.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	application-independent properties, formal requirements modeling, software cost reduction methodology, tabular notations, consistency checking
3	Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis	Consistency checking of SCR-style requirements specifications. (PDF / PS)	RE	1995	DBLP DOI BibTeX RDF	SCR-style requirements specifications, SCR tabular notation, application independent properties, domain coverage, formal requirements model, automated consistency checking, formal specification, data integrity, program verification, formal model, determinism, software development process, consistency checks, formal analysis, type correctness
3	Yao-Chou Cheng, Shin-Yee Lu	The Binary Consistency Checking Scheme and Its Applications to Seismic Horizon Detection.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	binary consistency checking, seismic horizon detection, loop tying, seismic interpretation, computerised pattern recognition, skeletonization, seismology, geophysics computing
2	Fabiana Gomes Marinho	A proposal for consistency checking in dynamic software product line models using OCL.	ICSE	2010	DBLP DOI BibTeX RDF	dynamic software product line models, consistency checking
2	Austin Parker, Guillaume Infantes, John Grant, V. S. Subrahmanian	SPOT Databases: Efficient Consistency Checking and Optimistic Selection in Probabilistic Spatial Databases.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
2	Jidi Zhao, Harold Boley, Weichang Du	Knowledge Representation and Consistency Checking in a Norm-Parameterized Fuzzy Description Logic.	ICIC	2009	DBLP DOI BibTeX RDF
2	Aline Deruyver, Yann Hodé	Arc-Consistency Checking with Bilevel Constraints: An Optimization.	GbRPR	2009	DBLP DOI BibTeX RDF
2	Matthias Biehl, Welf Löwe	Automated Architecture Consistency Checking for Model Driven Software Development.	QoSA	2009	DBLP DOI BibTeX RDF
2	Azlan Ismail, Jun Yan, Jun Shen	Verification of Composite Services with Temporal Consistency Checking and Temporal Satisfaction Estimation.	WISE	2009	DBLP DOI BibTeX RDF	temporal satisfaction, verification, temporal constraints, temporal consistency, composite service
2	Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam	L2C2: logic-based LSC consistency checking.	PPDP	2009	DBLP DOI BibTeX RDF	play-tree, logic programming, memoization, live sequence chart (lsc), scenario-based programming
2	Gabriele Weiler, Arnd Poetzsch-Heffter, Stephan Kiefer	Consistency Checking for Workflows with an Ontology-Based Data Perspective.	DEXA	2009	DBLP DOI BibTeX RDF
2	Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam	Consistency Checking for LSC Specifications.	TASE	2009	DBLP DOI BibTeX RDF
2	Peter Henderson, Matthew J. Henderson	Consistency Checking for Component Reuse in Open Systems.	ICSR	2009	DBLP DOI BibTeX RDF
2	Yu Huang 0002, Xiang Ma, XianPing Tao, Jiannong Cao, Jian Lu	A Probabilistic Approach to Consistency Checking for Pervasive Context.	EUC	2008	DBLP DOI BibTeX RDF
2	Carlos Müller, Antonio Ruiz Cortés, Manuel Resinas	An Initial Approach to Explaining SLA Inconsistencies.	ICSOC	2008	DBLP DOI BibTeX RDF	Quality of Service, Debugging, Service Level Agreement, Consistency Checking, WS-Agreement
2	Rolf Grütter, Thomas Scharrenbach, Bettina Bauer-Messmer	Improving an RCC-Derived Geospatial Approximation by OWL Axioms.	International Semantic Web Conference	2008	DBLP DOI BibTeX RDF	Geospatial approximation, Region Connection Calculus, Web Ontology Language, hypothesis testing, consistency checking
2	Neil Evans, Helen Treharne	Interactive tool support for CSP \|\| B consistency checking.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF	Formal method integration, Tool supported verification, Rely/guarantee techniques, CSP, B
2	Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff	Metamodel-based model conformance and multiview consistency checking.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	multiview consistency, formal methods, Metamodeling, automated verification
2	Changrui Yu, Yan Luo	Term Consistency Checking of Ontology Model Based on Description Logics.	KSEM	2007	DBLP DOI BibTeX RDF
2	Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos, Steve M. Easterbrook, Marsha Chechik	Consistency Checking of Conceptual Models via Model Merging.	RE	2007	DBLP DOI BibTeX RDF
2	Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng	Scenario-Based Timing Consistency Checking for Time Petri Nets.	FORTE	2006	DBLP DOI BibTeX RDF
2	Ken Kaneiwa, Ken Satoh	Consistency Checking Algorithms for Restricted UML Class Diagrams.	FoIKS	2006	DBLP DOI BibTeX RDF
2	Andreas Wombacher	Decentralized Consistency Checking in Cross-organizationalWorkflows.	CEC/EEE	2006	DBLP DOI BibTeX RDF
2	Kevin M. Greenan, Ethan L. Miller	Reliability mechanisms for file systems using non-volatile memory as a metadata store.	EMSOFT	2006	DBLP DOI BibTeX RDF	file system reliability, online consistency checking, metadata, error correcting codes, non-volatile memory
2	Johan Muskens, Reinder J. Bril, Michel R. V. Chaudron	Generalizing Consistency Checking between Software Views.	WICSA	2005	DBLP DOI BibTeX RDF
2	Alexander L. Tulupyev, Sergey I. Nikolenko	Directed Cycles in Bayesian Belief Networks: Probabilistic Semantics and Consistency Checking Complexity.	MICAI	2005	DBLP DOI BibTeX RDF
2	Andreas Wombacher	Issues on Decentralized Consistency Checking of Multi-lateral Collaborations.	WETICE	2005	DBLP DOI BibTeX RDF
2	Xiaoshan Li, Zhiming Liu, Jifeng He	Consistency Checking of UML Requirements.	ICECCS	2005	DBLP DOI BibTeX RDF	Formal Requirement Specification, UML, Requirement Analysis, Consistency Checking
2	Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng	Consistency Checking of Concurrent Models for Scenario-Based Specifications.	SDL Forum	2005	DBLP DOI BibTeX RDF
2	Dong Li, Linpeng Huang, Minglu Li	Dynamic Semantic Consistency Checking of Multiple Collaborative Ontologies in Knowledge Management System.	PDCAT	2004	DBLP DOI BibTeX RDF
2	Nuno Amálio, Susan Stepney, Fiona Polack	Formal Proof from UML Models.	ICFEM	2004	DBLP DOI BibTeX RDF	UML, Z, consistency checking, formal proof, model analysis
2	Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein, Ernst Ellmer	Flexible consistency checking.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	CASE tools, consistency management, multiple perspectives, constraint checking
2	Anthony Hunter	Probable Consistency Checking for Sets of Propositional Clauses.	ECSQARU	2003	DBLP DOI BibTeX RDF
2	Kenneth Baclawski, Mieczyslaw M. Kokar, Richard J. Waldinger, Paul A. Kogut	Consistency Checking of Semantic Web Ontologies.	International Semantic Web Conference	2002	DBLP DOI BibTeX RDF
2	Spiros Skiadopoulos, Manolis Koubarakis	Consistency Checking for Qualitative Spatial Reasoning with Cardinal Directions.	CP	2002	DBLP BibTeX RDF
2	Alexander Egyed	Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach.	ASE	2001	DBLP DOI BibTeX RDF
2	Oliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune, Hans-Dieter Ide	Library-Based Design and Consistency Checking of System-Level Industrial Test Cases.	FASE	2001	DBLP DOI BibTeX RDF
2	Anne Doucet, Stéphane Gançarski, Claudia León, Marta Rukoz	Checking Integrity Constraints in Multidatabase Systems with Nested Transactions.	CoopIS	2001	DBLP DOI BibTeX RDF	Integrity constraints, Consistency checking, Distributed transactions, Multidatabase systems, Nested transactions
2	Ans A. G. Steuten, Frank K. H. A. Dehne, Reind P. van de Riet	WordNet++: A Lexicon Supporting the Color-X Method.	NLDB	2000	DBLP DOI BibTeX RDF	Linguistic relations, Ontology, Object Orientation, Conceptual Modeling, WordNet, CASE tools, Consistency Checking
2	Chao-Tsun Chang, William C. Chu, Chung-Shyan Liu, Hongji Yang	A formal approach to software components classification and retrieval. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	software components classification, reuse-based software development, faceted scheme, programmer productivity, software quality, software libraries, consistency checking, predicates, keywords, formal approach, Predicate/Transition net, query specification, software components retrieval
2	Manos Theodorakis, Panos Constantopoulos	On Context-based Naming in Information Bases. (PDF / PS)	CoopIS	1997	DBLP DOI BibTeX RDF	context-based naming, information bases, logical names, external object identification, named object, name readability, name ambiguity resolution, redundant name substrings, update operations, systematic object naming, designer/end-user cooperation, query processing, natural language, consistency checking, semantic data models, object-oriented data models, naming services, structuring mechanisms
2	Bernard Coulette, S. Marcaillou-Ebersold	View based object oriented approach for complex system modelling.	ECBS	1997	DBLP DOI BibTeX RDF	view based object oriented approach, complex system modelling, object-oriented environments, VBOOL language, view definition, viewpoint declaration, dynamic viewpoint evolution, Ariane4 vehicle equipment bay, object-oriented programming, visibility, object-oriented model, viewpoints, consistency checking, Centaur
2	Stefan Brüning, Torsten Schaub	A Model-Based Approach to Consistency-Checking.	ISMIS	1996	DBLP DOI BibTeX RDF
2	Matthew S. Harelick, Thomas J. Marlowe, Alexander D. Stoyenko, Purnendu Sinha	A constraint function classification for complex systems development.	ICECCS	1995	DBLP DOI BibTeX RDF	knowledge verification, constraint function classification, constraint syntax, constraint management, implied constraints, distributed system, real-time systems, resource allocation, data integrity, distributed processing, knowledge based systems, requirements, systems analysis, consistency checking, large-scale systems, constraint handling, software modules, rule-based approach, resource allocation problem, REAL project, complex systems development
2	Hui Li, Yi-Tong Zhou	Automatic EO/IR sensor image registration. (PDF / PS)	ICIP	1995	DBLP DOI BibTeX RDF	electro-optical devices, automatic EO/IR sensor image registration algorithm, point feature image matching, electro-optical sensor, feature extraction, feature extraction, image registration, image matching, consistency checking, image sensors, feature matching, infrared imaging, infrared sensor
2	Xue Li, Zahir Tari	Consistency Checking of Evolving Methods.	DEXA	1994	DBLP DOI BibTeX RDF
2	Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein	A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	heterogeneous components, multiple ViewPoints, partial requirements specifications, inter-ViewPoint communication, ViewPoints framework, requirements specification method, computer-based ViewPoints support, The Viewer, formal specification, requirements specification, CORE, multiple views, consistency checking, inconsistency management
2	Anatoli N. Chebotarev, Marina K. Morokhobets	Consistency Checking of Automata Functional Specifications.	LPAR	1993	DBLP DOI BibTeX RDF
2	Yun-Cheng Ju, Vasant B. Rao, Resve A. Saleh	Consistency checking and optimization of macromodels.	IEEE Trans. on CAD of Integrated Circuits and Systems	1991	DBLP DOI BibTeX RDF
1	Wenbin Li, Jane Huffman Hayes, Miroslaw Truszczynski	Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements - (Preliminary Results).	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	Ioanna Lytra, Huy Tran, Uwe Zdun	Constraint-Based Consistency Checking between Design Decisions and Component Models for Supporting Software Architecture Evolution.	CSMR	2012	DBLP DOI BibTeX RDF
1	Arda Goknil, Ivan Kurtev, Klaas van den Berg, Jan-Willem Veldhuis	Semantics of trace relations in requirements models for consistency checking and inferencing.	Software and System Modeling	2011	DBLP DOI BibTeX RDF
1	Zef Hemel, Danny M. Groenewegen, Lennart C. L. Kats, Eelco Visser	Static consistency checking of web applications with WebDSL.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Aline Deruyver, Yann Hodé, Jean-Michel Jolion	Graph Consistency Checking: a Tool to Check the Semantic Consistency of a Segmentation.	Int. J. Semantic Computing	2011	DBLP DOI BibTeX RDF
1	Josef Adersberger, Michael Philippsen	ReflexML: UML-Based Architecture-to-Code Traceability and Consistency Checking.	ECSA	2011	DBLP DOI BibTeX RDF
1	Aline Deruyver, Yann Hodé	Semantic Graphs and Arc Consistency Checking - The Renewal of an Old Approach for Information Extraction from Images.	KDIR	2011	DBLP BibTeX RDF
1	Wenbin Li	Toward consistency checking of natural language temporal requirements.	ASE	2011	DBLP DOI BibTeX RDF
1	Zohaib Khai, Aamer Nadeem, Gang-soo Lee	A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams.	FGIT-ASEA/DRBC/EL	2011	DBLP DOI BibTeX RDF
1	Mauricio Alférez, Roberto E. Lopez-Herrejon, Ana Moreira, Vasco Amaral, Alexander Egyed	Supporting Consistency Checking between Features and Software Product Line Use Scenarios.	ICSR	2011	DBLP DOI BibTeX RDF
1	Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed	Cross-layer modeler: a tool for flexible multilevel modeling with consistency checking.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
1	Jiao-Li Lu, Jia-Heng Zheng, Hong-Ye Tan, Jian Sun	Chinese Chunking and Consistency Checking Using Rule-Based Method.	JCIT	2010	DBLP BibTeX RDF
1	Ken Kaneiwa, Ken Satoh	On the complexities of consistency checking for restricted UML class diagrams.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Ruixuan Li, Jianfeng Lu, Zhengding Lu, Xiaopu Ma	Consistency Checking of Safety and Availability in Access Control.	IEICE Transactions	2010	DBLP BibTeX RDF
1	Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam	L2C2: Logic-based LSC Consistency Checking	CoRR	2010	DBLP BibTeX RDF
1	Mark Strembeck, Jan Mendling	Generic Algorithms for Consistency Checking of Mutual-Exclusion and Binding Constraints in a Business Process Context.	OTM Conferences	2010	DBLP DOI BibTeX RDF
1	Michael Vierhauser, Paul Grünbacher, Alexander Egyed, Rick Rabiser, Wolfgang Heider	Flexible and scalable consistency checking on product line variability models.	ASE	2010	DBLP DOI BibTeX RDF
1	S. Salunkhe Satish, S. Radke Shashikant, V. K. Sambhe, Rahul B. Shelke, Ganesh Kocharekar	A minimum cardinality consistency-checking algorithm for UML class diagrams.	ICWET	2010	DBLP DOI BibTeX RDF
1	Takashi Hamaguchi, Kazuhiro Takeda, Hideyuki Matsumoto, Yoshihiro Hashimoto	Consistency Checking Method of Inventory Control for Countermeasures Planning System.	KES	2010	DBLP DOI BibTeX RDF
1	Iris Groher, Alexander Reder, Alexander Egyed	Incremental Consistency Checking of Dynamic Constraints.	FASE	2010	DBLP DOI BibTeX RDF
1	Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki	Specifying Overlaps of Heterogeneous Models for Global Consistency Checking.	MoDELS Workshops	2010	DBLP DOI BibTeX RDF
1	Ahmed Awad, Matthias Weidlich, Mathias Weske	Consistency Checking of Compliance Rules.	BIS	2010	DBLP DOI BibTeX RDF
1	Christoph P. Neumann, Thomas Fischer, Richard Lenz	OXDBS: extension of a native XML database system with validation by consistency checking of OWL-DL ontologies.	IDEAS	2010	DBLP DOI BibTeX RDF
1	Michael Vierhauser, Deepak Dhungana, Wolfgang Heider, Rick Rabiser, Alexander Egyed	Tool Support for Incremental Consistency Checking on Variability Models.	VaMoS	2010	DBLP BibTeX RDF
1	Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski	Timed I/O automata: a complete specification theory for real-time systems.	HSCC	2010	DBLP DOI BibTeX RDF	specification theory, timed i/o automata, real-time, interfaces, refinement
1	Cherif 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.	PEPM	2009	DBLP DOI BibTeX RDF	static array bounds checking, verilog elaboration, verilog wire width consistency, dependent types, dead code elimination
1	Yu Huang 0002, Xiaoxing Ma, Jiannong Cao, XianPing Tao, Jian Lu	Concurrent Event Detection for Asynchronous Consistency Checking of Pervasive Context.	PerCom	2009	DBLP DOI BibTeX RDF
1	Eduardo Valle, David Picard, Matthieu Cord	Geometric consistency checking for local-descriptor based document retrieval.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	geometric consistency, retrieval by voting, image retrieval, cbir, local descriptors
1	Olivier Sarrouy, Eric Totel, Bernard Jouga	Application Data Consistency Checking for Anomaly Based Intrusion Detection.	SSS	2009	DBLP DOI BibTeX RDF
1	Xin-lin Zhang, Huai-kou Miao, Hong-wei Zeng	Modeling and Consistency Checking Based on Category for Web Navigation Behavior.	ICCMS	2009	DBLP DOI BibTeX RDF
1	Aytekin Vargun	Consistency checking for automatic software generation.	ISCIS	2009	DBLP DOI BibTeX RDF
1	Dharmalingam Ganesan, Mikael Lindvall, Christopher Ackermann, David McComas, Maureen Bartholomew	Verifying architectural design rules of the flight software product line.	SPLC	2009	DBLP DOI BibTeX RDF	architectural rules, flight software, implemented architecture, business goals
1	Marcílio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki	SAT-based analysis of feature models is easy.	SPLC	2009	DBLP DOI BibTeX RDF
1	Gerhard Weikum	Harvesting, searching, and ranking knowledge on the web: invited talk.	WSDM	2009	DBLP DOI BibTeX RDF	information retrieval, scalability, knowledge management, Information extraction
1	E. F. Codd	Derivability, redundancy and consistency of relations stored in large data banks.	SIGMOD Record	2009	DBLP DOI BibTeX RDF
1	Jie Wang, Michael S. Brown, Chew Lim Tan	Automatic Corresponding Control Points Selection for Historical Document Image Registration.	ICDAR	2009	DBLP DOI BibTeX RDF
1	Sudheendra Hangal, Monica S. Lam	Automatic dimension inference and checking for object-oriented programs.	ICSE	2009	DBLP DOI BibTeX RDF
1	Shazia Wasim Sadiq, Ke Deng, Xiaofang Zhou, Xiaochun Yang, Walid G. Aref, Alex Delis, Qing Liu, Kai Xu 0003	Workshop Organizers' Message.	DASFAA Workshops	2009	DBLP DOI BibTeX RDF
1	Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M. Simmonds	XMI2USE: A Tool for Transforming XMI to USE Specifications.	ER Workshops	2009	DBLP DOI BibTeX RDF	MDA, Model Transformation, OCL, USE, Modeling Tool, XMI
1	José M. Juárez, Patricia Martinez, Manuel Campos, José Palma	Step-Guided Clinical Workflow Fulfilment Measure for Clinical Guidelines.	EUROCAST	2009	DBLP DOI BibTeX RDF
1	Jos de Bruijn, Stijn Heymans	Complexity of the Stable Model Semantics for Queries on Incomplete Databases.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Man-Kit Leung, Thomas Mandl 0002, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly	Scalable Semantic Annotation Using Lattice-Based Ontologies.	MoDELS	2009	DBLP DOI BibTeX RDF