Search results for "consistency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Kelvin J. Ross, Peter A. Lindsay	Maintaining Consistency Under Changes to Formal Specifications.	FME	1993	DBLP DOI BibTeX RDF	verification, formal methods, configuration management, VDM, change control
19	Kenneth P. Birman	Maintaining consistency in distributed systems.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
19	Raymond C. Chen, Partha Dasgupta	Implementing consistency control mechanisms in the Clouds distributed operating system.	ICDCS	1991	DBLP DOI BibTeX RDF
19	Uwe M. Borghoff	Voting and Relocation Strategies Preserving Consistency among Replicated Files.	ICDT	1990	DBLP DOI BibTeX RDF
19	Victor G. Ganzha, Sergey V. Meleshko, V. P. Shelest	Application of REDUCE System for Analyzing Consistency of Systems of P.D.E.'s.	ISSAC	1990	DBLP DOI BibTeX RDF	REDUCE
19	Bryan S. Rosenburg	Low-Synchronization Translation Lookaside Buffer Consistency in Large-Scale Shared-Memory Multiprocessors.	SOSP	1989	DBLP DOI BibTeX RDF
19	Toramatsu Shintani	A Consistency Maintenance Mechanism for Subjective Judgements and Its Application.	LP	1989	DBLP DOI BibTeX RDF
19	Per Stenström	A Cache Consistency Protocol for Multiprocessors with Multistage Networks.	ISCA	1989	DBLP DOI BibTeX RDF
19	David G. Lowe	The viewpoint consistency constraint.	Int. J. Comput. Vis.	1987	DBLP DOI BibTeX RDF
19	R. C. Hansdah, Lalit M. Patnaik	Weak Consistency Of Read-only Transactions: A Tool to Improve Concurrency in Heterogeneous Locking Protocols.	FSTTCS	1987	DBLP DOI BibTeX RDF
19	Jin Xiong, Jianyu Li, Rongfeng Tang, Yiming Hu	Improving data availability for a cluster file system through replication.	IPDPS	2008	DBLP DOI BibTeX RDF
19	Enrique Herrera-Viedma, Sergio Alonso, Francisco Chiclana, Francisco Herrera	A Consensus Model for Group Decision Making With Incomplete Fuzzy Preference Relations.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
19	Mohit Gambhir, Edward F. Gehringer, Yan Solihin	Animations of important concepts in parallel computer architecture.	WCAE	2007	DBLP DOI BibTeX RDF
19	Xiaofei Zhao, Zhiqiu Huang	A Formal Framework for Reasoning on Metadata Based on CWM.	ER	2006	DBLP DOI BibTeX RDF
19	Rosa Iglesias, Sara Casado, Teresa Gutiérrez, Alejandro García-Alonso, Kian Meng Yap, Wai Yu, Alan Marshall 0001	A Peer-to-peer Architecture for Collaborative Haptic Assembly.	DS-RT	2006	DBLP DOI BibTeX RDF
19	K. Rustan M. Leino, Peter Müller 0001	Modular Verification of Static Class Invariants.	FM	2005	DBLP DOI BibTeX RDF
19	Thomas Netsch, Arianne van Muiswinkel	Quantitative evaluation of image-based distortion correction in diffusion tensor imaging.	IEEE Trans. Medical Imaging	2004	DBLP DOI BibTeX RDF
19	Stefan Frenz, Michael Schöttner, Ralph Göckelmann, Peter Schulthess	Parallel ray-tracing with a transactional DSM.	CCGRID	2004	DBLP DOI BibTeX RDF
19	Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh	Disjoint, Partition and Intersection Constraints for Set and Multiset Variables.	CP	2004	DBLP DOI BibTeX RDF
19	Remco M. Dijkman, Dick A. C. Quartel, Luís Ferreira Pires, Marten van Sinderen	A Rigorous Approach to Relate Enterprise and Computational Viewpoints.	EDOC	2004	DBLP DOI BibTeX RDF
19	Kostas Stergiou 0001	On Algorithms for Decomposable Constraints.	SETN	2002	DBLP DOI BibTeX RDF
19	Dongyao Ji, Yuming Wang	Comments on "An approach to the formal verification of the two-party cryptographic protocols" by Zhang, Li and Xiao.	ACM SIGOPS Oper. Syst. Rev.	2001	DBLP DOI BibTeX RDF
19	Saïd Abdeddaïm, Burkhard Morgenstern	Speeding Up the DIALIGN Multiple Alignment Program by Using the 'Greedy Alignment of BIOlogical Sequences LIBrary' (GABIOS-LIB).	JOBIM	2000	DBLP DOI BibTeX RDF
19	Aki W. Tomita, Ken Sakamura	Improving Design Dependability by Exploiting an Open Model-Based Specification.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	formal specification, Software testing, Z, software fault tolerance, specification-based testing, on-line error detection
19	Hélène Collavizza, François Delobel, Michel Rueher	A Note on Partial Consistencies over Continuous Domains.	CP	1998	DBLP DOI BibTeX RDF
19	Mustaque Ahamad, Sumeer Bhola, Rammohan Kordale, Francisco J. Torres-Rojas	Scalable information sharing in large scale distributed systems.	ACM SIGOPS European Workshop	1996	DBLP DOI BibTeX RDF
19	Marcus Costa Sampaio, Stéphane Turc	Cooperative Transactions: A Data-Driven Approach.	HICSS (1)	1996	DBLP DOI BibTeX RDF	Cooperative transactions, cooperative atomicity, fault tolerance, distributed systems, concurrency control, persistency, nested transactions, correctness criteria
19	Arnold Neville Pears, Rhys S. Francis	Barrier Semantics in Very Weak Memory.	PARLE	1993	DBLP DOI BibTeX RDF
19	John B. Carter, John K. Bennett, Willy Zwaenepoel	Implementation and Performance of Munin.	SOSP	1991	DBLP DOI BibTeX RDF
19	Sang Hyuk Son	Reliable distributed database systems (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
19	Marc H. Graham, Alberto O. Mendelzon, Moshe Y. Vardi	Notions of dependency satisfaction.	J. ACM	1986	DBLP DOI BibTeX RDF
18	Peter Bodorik, Dawn N. Jutla, Mike Xuehai Wang	Consistent privacy preferences (CPP): model, semantics, and properties.	SAC	2008	DBLP DOI BibTeX RDF	P3P agent, rule-set consistency, semantic web privacy, user privacy control, consistency, P3P, privacy preferences
18	Salvador Petit, Julio Sahuquillo, Ana Pont	A Comparison Study of the HLRC-DU Protocol versus a HLRC Hardware Assisted Protocol.	PDP	2005	DBLP DOI BibTeX RDF	Shared Virtual Memory Systems, Memory Consistency Protocols, Asyncrhonous Communication, Memory Consistency Models
18	Fong Pong, Michel Dubois 0001	Formal Automatic Verification of Cache Coherence in Multiprocessors with Relaxed Memory Models.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	relaxed memory consistency models, delayed consistency, symbolic state model, verification, Shared-memory multiprocessor
18	Richard Lenz	Adaptive distributed data management with weak consistent replicated data.	SAC	1996	DBLP DOI BibTeX RDF	coherency control, consistency island, need-to-know principle, weak consistency replication, distributed data management
18	Nabil R. Adam	A New Dynamic Voting Algorithm for Distributed Database Systems.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	dynamic voting algorithm, communication link failure, dynamic-voting-consistency algorithm, algorithm correctness, read requests, read quorum, user requests, data object updating, majority partition, update rate, simple partitioning, data integrity, fault tolerant computing, distributed databases, software reliability, network topology, database theory, recovery, system recovery, data consistency, distributed database systems
17	Karim Dahman, François Charoy, Claude Godart	Towards Consistency Management for a Business-Driven Development of SOA.	EDOC	2011	DBLP DOI BibTeX RDF	Incremental Model Transformation, Structural Consistency Management, Business-IT Alignment
17	Khaleel W. Mershad, Hassan Artail	SSUM: Smart Server Update Mechanism for Maintaining Cache Consistency in Mobile Environments.	IEEE Trans. Mob. Comput.	2010	DBLP DOI BibTeX RDF	server-based approach, MANET, Data caching, cache consistency, invalidation
17	Xueyan Tang, Suiping Zhou	Update Scheduling for Improving Consistency in Distributed Virtual Environments.	IEEE Trans. Parallel Distributed Syst.	2010	DBLP DOI BibTeX RDF	time-space consistency, scheduling, Distributed virtual environment, state update
17	Yu Huang 0002, Jiannong Cao 0001, Beihong Jin, XianPing Tao, Jian Lu 0001, Yulin Feng	Flexible Cache Consistency Maintenance over Wireless Ad Hoc Networks.	IEEE Trans. Parallel Distributed Syst.	2010	DBLP DOI BibTeX RDF	Data dissemination and sharing, wireless ad hoc network, cache consistency
17	Scott Jensen, Beth Plale	Trading Consistency for Scalability in Scientific Metadata.	eScience	2010	DBLP DOI BibTeX RDF	Scientific Metadata, XML, e-Science, Eventual Consistency
17	Thorsten Höllrigl, Jochen Dinger, Hannes Hartenstein	FedWare: Middleware Services to Cope with Information Consistency in Federated Identity Management.	ARES	2010	DBLP DOI BibTeX RDF	Information Consistency, Middleware, Publish/Subscribe, Federated Identity Management
17	Wubin Li, Johan Tordsson, Erik Elmroth	An Aspect-Oriented Approach to Consistency-Preserving Caching and Compression of Web Service Response Messages.	ICWS	2010	DBLP DOI BibTeX RDF	response caching, consistency-preserving, Web Services, aspect-oriented programming, data compression, hashing
17	Yu-song Chen	The Generating Algorithm of Protocol Consistency Test Sequences Between Combined Control Flow and Data Flow.	MVHI	2010	DBLP DOI BibTeX RDF	protocol consistency test, data flow, control flow, test sequence, EFSM
17	Kinga Kiss Iakab, Oliver E. Theel	The Impact of Partial Orders among Strict and Probabilistic Quorums on the Data Consistency vs. Operation Availabilities Trade-Off.	ISPA	2010	DBLP DOI BibTeX RDF	probabilistic data replication, operation availabilities, distributed systems, data consistency
17	Fabiana Gomes Marinho	A proposal for consistency checking in dynamic software product line models using OCL.	ICSE (2)	2010	DBLP DOI BibTeX RDF	dynamic software product line models, consistency checking
17	Magnus Bordewich, Olivier Gascuel, Katharina T. Huber, Vincent Moulton	Consistency of Topological Moves Based on the Balanced Minimum Evolution Principle of Phylogenetic Inference.	IEEE ACM Trans. Comput. Biol. Bioinform.	2009	DBLP DOI BibTeX RDF	subtree prune and regraft (SPR), BSPR algorithm, Nearest Neighbor Interchange (NNI), BNNI algorithm, balanced minimum evolution principle (BME), tree-length, quartet-distance, Robinson Foulds distance, safety radius, topological move, consistency, phylogenetic tree
17	Changhua Liu, Yaqin Li, Zhensong Liao	A Novelty Approach for Checking Consistency of Security Policy.	IFITA (3)	2009	DBLP DOI BibTeX RDF	ATN, Hiding policy, checking policy, policy consistency, access control policy
17	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.	PEPM	2009	DBLP DOI BibTeX RDF	static array bounds checking, verilog elaboration, verilog wire width consistency, dependent types, dead code elimination
17	Kai Yu, Jiangqin Wu, Yueting Zhuang	Style-consistency calligraphy synthesis system in digital library.	JCDL	2009	DBLP DOI BibTeX RDF	structure determination, style evaluation model (SEM), style-consistency calligraphy synthesis
17	Yuelu Duan, Xiaobing Feng 0002, Lei Wang 0004, Chao Zhang, Pen-Chung Yew	Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs.	CGO	2009	DBLP DOI BibTeX RDF	delay set, fence, Sequential consistency, data race detection, relaxed memory model
17	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
17	Lei Wang, Hongyan Li 0002, Qiang Qu, Huaqiang Zhang, Bin Zhou	Verifying the Consistency between Business Process Model and Data Model.	JCAI	2009	DBLP DOI BibTeX RDF	information system construction, verification, consistency, business process, data model
17	Chao Song, Muyun Yang, Haoliang Qi, Sheng Li 0003	A Kappa Measurement of Query Consistency and Its Application.	IALP	2009	DBLP DOI BibTeX RDF	Kappa, query interest consistency, distribution, Dice
17	Rongwei Ye, Yinglin Wang, Jianmei Guo, Qi Xiong	A Method to Guarantee Ontology Consistency on Property Range Changes.	NPC Workshops	2008	DBLP DOI BibTeX RDF	Ontology change, Property range, Consistency, Ontology evolution
17	Hyontai Sug	Applying Rough Sets to Maintain Data Consistency for High Degree Relations.	NCM (2)	2008	DBLP DOI BibTeX RDF	rough sets, data consistency
17	René Wörzberger, Thomas Kurpick, Thomas Heer	On Correctness, Compliance and Consistency of Process Models.	WETICE	2008	DBLP DOI BibTeX RDF	models, consistency, process, correctness, compliance
17	Diego Rodríguez-Losada, Fernando Matía, Luis Pedraza, Agustín Jiménez, Ramón Galán	Consistency of SLAM-EKF Algorithms for Indoor Environments.	J. Intell. Robotic Syst.	2007	DBLP DOI BibTeX RDF	Linearization errors, Mobile robots, Consistency, Extended Kalman Filter, Simultaneous Localization And Mapping, Indoor environments
17	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	CheckFence: checking consistency of concurrent data types on relaxed memory models.	PLDI	2007	DBLP DOI BibTeX RDF	lock-free synchronization, shared-memory multiprocessors, multi-threading, software model checking, memory models, sequential consistency, concurrent data structures
17	Panagiotis Manolios, Marc Galceran Oms, Sergi Oliva Valls	Checking Pedigree Consistency with PCS.	TACAS	2007	DBLP DOI BibTeX RDF	Pedigree Consistency checking, bioinformatics, SAT, computational biology, Boolean satisfiability, genetics
17	Franz Weitl, Burkhard Freitag	Checking Content Consistency of Integrated Web Documents.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	document verification, content consistency, temporal description logics, model checking, CTL -
17	Ferdinand van der Heijden	Consistency Checks for Particle Filters.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	modeling errors, fault detection, Particle filtering, consistency checks, model validation
17	Yuanlin Zhang 0002, Roland H. C. Yap	Erratum: P. van Beek and R. Dechter's theorem on constraint looseness and local consistency.	J. ACM	2003	DBLP DOI BibTeX RDF	constraint satisfaction problems, relations, local consistency, constraint networks, Constraint-based reasoning
17	Christoph Lindemann, Oliver P. Waldhorst	Consistency mechanisms for a distributed lookup service supporting mobile applications.	MobiDE	2003	DBLP DOI BibTeX RDF	ad-hoc networked databases, consistency maintenance in weakly connected environments, epidemic algorithms for data dissemination, data caching
17	Young Chul Sohn, N. H. Jung, Seung Ryoul Maeng	Request Reordering to Enhance the Performance of Strict Consistency Models.	IEEE Comput. Archit. Lett.	2002	DBLP DOI BibTeX RDF	multiprocessor, ILP, memory consistency model
17	Anoop George Ninan, Purushottam Kulkarni, Prashant J. Shenoy, Krithi Ramamritham, Renu Tewari	Cooperative leases: scalable consistency maintenance in content distribution networks.	WWW	2002	DBLP DOI BibTeX RDF	pullC, world wide web, scalability, data dissemination, content distribution networks, data consistency, push, leases, dynamic data
17	Anurag Kahol, Sumit Khurana, Sandeep K. S. Gupta, Pradip K. Srimani	A Strategy to Manage Cache Consistency in a Disconnected Distributed Environment.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	mobile computing, performance analysis, Caching, data consistency, client-server computing
17	Jian Yin 0002, Lorenzo Alvisi, Michael Dahlin, Arun Iyengar	Engineering server-driven consistency for large scale dynamic Web services.	WWW	2001	DBLP DOI BibTeX RDF	Web cache consistency, volume lease, performance, scalability, dynamic content
17	Jonathan Furner, David Ellis, Peter Willett 0002	Inter-linker consistency in the manual construction of hypertext documents.	ACM Comput. Surv.	1999	DBLP DOI BibTeX RDF	inter-indexer consistency, link creation, topological indices, graph theory, similarity
17	Celso A. S. Santos, Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat	Revisiting the concept of hypermedia document consistency.	ACM Multimedia (2)	1999	DBLP DOI BibTeX RDF	internal and external non-determinism, formal verification, temporal consistency, RT-LOTOS, hypermedia documents
17	Markos Zaharioudakis, Michael J. Carey 0001	Hierarchical, Adaptive Cache Consistency in a Page Server OODBMS.	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF	Databases, client-server systems, cache consistency
17	Pei Cao, Chengjie Liu	Maintaining Strong Cache Consistency in the World Wide Web.	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF	invalidation protocols, performance analysis and measurements, distributed systems, World Wide Web, cache consistency
17	Martin S. Feather	Rapid Application of Lightweight Formal Methods for Consistency Analysis.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	interface checking, test-log checking, database-based analysis, formal methods, Consistency checking, NASA
17	Paul F. Reynolds Jr., Anand Natrajan, Sudhir Srinivasan	Consistency Maintenance in Multiresolution Simulations.	ACM Trans. Model. Comput. Simul.	1997	DBLP DOI BibTeX RDF	modeling maintenance, multiple resolution entity, multiresolution simulation, consistency, methodologies, multiresolution modeling
17	Chengzheng Sun, Yanchun Zhang, Xiaohua Jia, Yun Yang	A generic operation transformation scheme for consistency maintenance in real-time cooperative editing systems.	GROUP	1997	DBLP DOI BibTeX RDF	cooperative editing, CSCW, distributed computing, consistency maintenance, intention preservation
17	Joan Peckham, Fred J. Maryanski, Steven A. Demurjian	Towards the Correctness and Consistency of Update Semantics in Semantic Database Schema.	IEEE Trans. Knowl. Data Eng.	1996	DBLP DOI BibTeX RDF	schema checking, Data modeling, active databases, data consistency, database updates, constraint maintenance
17	Georg Heidenreich, Mark Minas, Detlef Kips	A New Approach to Consistency Control in Software Engineering.	ICSE	1996	DBLP BibTeX RDF	change tracking, computer-based software process management, high-level formalism, life cycle models, software representations, software engineering, compilers, standards, software quality, project management, software process, configuration management, quality assurance, version control, software development management, software project management, consistency control, ISO standards, ISO 9000
17	John Rieman, Clayton H. Lewis, Richard M. Young, Peter G. Polson	Why is a raven like a writing desk?: lessons in interface consistency and analogical reasoning from two cognitive architectures.	CHI	1994	DBLP DOI BibTeX RDF	user models, consistency, metaphor, analogy, exploratory learning
17	Danco Davcev, Walter A. Burkhard	Consistency and Recovery Control for Replicated Files.	SOSP	1985	DBLP DOI BibTeX RDF	Gemini, dynamic voting, mutual consistency, local area network, file system, quorum, replicated file
17	Zahari Zlatev	Consistency and convergence of general linear multistep variable stepsize variable formula methods.	Computing	1983	DBLP DOI BibTeX RDF	linear multistep formulae, variable stepsize variable formula methods, order of the method, zero-stability, convegence, one-leg methods, predictor-corrector schemes, consistency, Ordinary differential equations, numerical solution, initial value problems
17	Stefan Vijzelaar, Herbert Bos, Wan J. Fokkink	Brief announcement: a shared disk on distributed storage.	PODC	2010	DBLP DOI BibTeX RDF	probabilistic consensus, shared disk semantics, strict linearizability, consistency, redundancy, storage, atomic registers
17	Ted Wobber, Thomas L. Rodeheffer, Douglas B. Terry	Policy-based access control for weakly consistent replication.	EuroSys	2010	DBLP DOI BibTeX RDF	security logic, replication, eventual consistency
17	Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal	New filtering algorithms for combinations of among constraints.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Domain consistency, Polynomial time filtering, Car sequencing, Regular constraint, Sequence constraint
17	Dong San Kim, Wan Chul Yoon	A Method for Consistent Design of User Interaction with Multifunction Devices.	HCI (10)	2009	DBLP DOI BibTeX RDF	Interaction design method, constraint-based design, consistency
17	M. Motasem Nawaf, Zeina Torbey	Replica update strategy in mobile ad hoc networks.	MEDES	2009	DBLP DOI BibTeX RDF	ad hoc networks, data consistency, data accessibility, replica, data update
17	Viara Popova, Alexei Sharpanskykh	Constraint-based modelling and analysis of organisations.	SAC	2009	DBLP DOI BibTeX RDF	consistency of a specification, organisation design, validity of a specification, constraints, organisation modeling
17	Wenfei Fan, Floris Geerts	Relative information completeness.	PODS	2009	DBLP DOI BibTeX RDF	information completeness, master data, constraints, consistency
17	Bice Cavallo, Livia D'Apuzzo, Massimo Squillante	Building Consistent Pairwise Comparison Matrices over Abelian Linearly Ordered Groups.	ADT	2009	DBLP DOI BibTeX RDF	Pairwise comparison matrices, consistency index, abelian linearly ordered group
17	Liyin Xue, Mehmet A. Orgun, Kang Zhang 0001	A Multi-Versioning Scheme for Intention Preservation in Collaborative Editing Systems.	Comput. Support. Cooperative Work.	2008	DBLP DOI BibTeX RDF	distributed systems, real-time, CSCW, groupware, consistency maintenance, group editors, multi-versioning, intention preservation
17	Shangmin Luan, Guozhong Dai	An algebraic approach to revising propositional rule-based knowledge bases.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	knowledge base revision, rule-based knowledge base, Petri net, consistency check
17	Liangjia Zhu, Zongtan Zhou, Dewen Hu	Globally Consistent Reconstruction of Ripped-Up Documents.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF	Reconstruction of ripped-up documents, global consistency, compatibility, relaxation, gradient projection
17	Magdalena Balazinska, Hari Balakrishnan, Samuel Madden 0001, Michael Stonebraker	Fault-tolerance in the borealis distributed stream processing system.	ACM Trans. Database Syst.	2008	DBLP DOI BibTeX RDF	fault-tolerance, consistency, availability, Distributed stream processing
17	Matthias R. Brust	Dealing with Data Inconsistencies in Mobile Distributed Environments.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	ad hoc network, consistency, hybrid wireless network
17	Chih-Wei Lu, Chih-Hung Chang, William C. Chu, Ya-Wen Cheng, Hsin-Chien Chang	A Requirement Tool to Support Model-Based Requirement Engineering.	COMPSAC	2008	DBLP DOI BibTeX RDF	Requirement Editor, Reuse, Consistency, Completeness, Traceability, Maintainability
17	Donatella Gubiani, Angelo Montanari	A conceptual spatial model supporting topologically-consistent multiple representations.	GIS	2008	DBLP DOI BibTeX RDF	topological consistency, conceptual model, granularity, spatial data
17	Xavier Blanc 0001, Isabelle Mounier, Alix Mougenot, Tom Mens	Detecting model inconsistency through operation-based model construction.	ICSE	2008	DBLP DOI BibTeX RDF	model, consistency, logic, meta-model
17	Roy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal	Asynchronous Agreement and Its Relation with Error-Correcting Codes.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	erroneous value, fault tolerance, distributed computing, error-correcting code, consensus, Hamming distance, asynchronous distributed system, condition, crash failure, coding theory, Agreement problem, interactive consistency
17	Rui Li 0018, Du Li	A New Operational Transformation Framework for Real-Time Group Editors.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	groupware, operational transformation, group editors, Consistency control
17	Sibsankar Haldar, K. Vidyasankar	On specification of Read/Write shared variables.	J. ACM	2007	DBLP DOI BibTeX RDF	defining condition, defining relation, illegality, nonatomic operation execution, system execution, framework, multiprocessor, consistency, Atomicity, causality, partial order, linearization, axiom, shared variable, linear extension
17	Cheng-Ru Young, Ge-Ming Chiu	Efficient Dissemination of Transaction-Consistent Data in Broadcast Environments.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Broadcast environment, view consistency, concurrency control, transaction