Search results for "Consistency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
6	Franz Huber	The Consistency Argument for Ranking Functions.	Studia Logica	2007	DBLP DOI BibTeX RDF	Conditionalization, Conditional Consistency, Consistency Argument, Consistency Theorem, Deductive Closure, Dutch Book Argument, Ranking Functions, Probability Measures, Spohn, Consistency, Revision, Update Rule
6	Nishith Krishna, Marc Shapiro, Karthikeyan Bhargavan	Brief announcement: exploring the consistency problem space.	PODC	2005	DBLP DOI BibTeX RDF	pessimistic replication, semantic consistency, consistency, replicated data, optimistic replication, weak consistency, strong consistency, partial replication
5	Vadim Iosevich, Assaf Schuster	A comparison of sequential consistency with home-based lazy release consistency for software distributed shared memory.	ICS	2004	DBLP DOI BibTeX RDF	home-based lazy release consistency, sequencial consistency, distributed shared memory, consistency model
5	Haifeng Yu, Amin Vahdat	Design and evaluation of a conit-based continuous consistency model for replicated services.	ACM Trans. Comput. Syst.	2002	DBLP DOI BibTeX RDF	Conit, continuous consistency, replication, network services, consistency model, relaxed consistency
5	Guang R. Gao, Vivek Sarkar	Location Consistency-A New Memory Model and Cache Consistency Protocol.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	location consistency, cache consistency protocols, Memory consistency
5	Assef Chmeiss, Lakhdar Sais	About the use of local consistency in solving CSPs.	ICTAI	2000	DBLP DOI BibTeX RDF	constraint satisfaction problem solving, filtering techniques, singleton arc consistency, problem solving, search problems, pruning, search algorithms, constraint handling, local consistency, path consistency
4	Edya Ladan-Mozes, Charles E. Leiserson	A consistency architecture for hierarchical shared caches.	SPAA	2008	DBLP DOI BibTeX RDF	mapping collision, message race, progressive protocol, memory hierarchy, deadlock, sequential consistency, cache consistency, shared caches, fat-tree
4	Xueyan Tang, Huicheng Chi, Samuel T. Chanson	Optimal Replica Placement under TTL-Based Consistency.	IEEE Trans. Parallel Distrib. Syst.	2007	DBLP DOI BibTeX RDF	TTL-based consistency, Replication, data consistency, replica placement
4	Lisa Higham, LillAnne Jackson, Jalal Kawash	Specifying memory consistency of write buffer multiprocessors.	ACM Trans. Comput. Syst.	2007	DBLP DOI BibTeX RDF	Memory consistency framework, partial store order, relaxed memory order, sparc multiprocessors, total store order, write-buffer architectures, coherence, sequential consistency, alpha
4	Luis Ceze, James Tuck, Pablo Montesinos, Josep Torrellas	BulkSC: bulk enforcement of sequential consistency.	ISCA	2007	DBLP DOI BibTeX RDF	bulk, chip multiprocessors, programmability, sequential consistency, memory consistency models
4	Di-Rong Chen, Dao-Hong Xiang	The consistency of multicategory support vector machines.	Adv. Comput. Math.	2006	DBLP DOI BibTeX RDF	universal consistency, classification, support vector machine, consistency, reproducing kernel Hilbert space, Bayes rule, misclassification error
4	Matthias Zytnicki, Christine Gaspin, Thomas Schiex	A new local consistency for weighted CSP dedicated to long domains.	SAC	2006	DBLP DOI BibTeX RDF	bound arc consistency, weighted constraint satisfaction problem, local consistency
4	Claude-Guy Quimper, Alexander Golynski, Alejandro López-Ortiz, Peter van Beek	An Efficient Bounds Consistency Algorithm for the Global Cardinality Constraint.	Constraints	2005	DBLP DOI BibTeX RDF	domain consistency, global constraints, bounds consistency
4	Irit Katriel, Sven Thiel	Complete Bound Consistency for the Global Cardinality Constraint.	Constraints	2005	DBLP DOI BibTeX RDF	global cardinality constraint, matching, graph algorithms, flow, constraint propagation, global constraints, arc consistency, filtering algorithms, bound consistency
4	Luo Guangchun, Xianliang Lu, Ting Yang	The research on consistency of space/time of IDS.	Operating Systems Review	2005	DBLP DOI BibTeX RDF	consistency of space, consistency of time, intrude detection, performance
4	Anne-Marie Bosneag, Monica Brockmeyer	A Unified Formal Specification for a Multi-Consistency Replication System for DHTs.	ECBS	2005	DBLP DOI BibTeX RDF	replica consistency, multi-consistency replication, reliability, formal specification, distributed hash table
4	Chaiyasit Manovit, Sudheendra Hangal	Efficient algorithms for verifying memory consistency.	SPAA	2005	DBLP DOI BibTeX RDF	multiprocessor verification, total store order, sequential consistency, memory consistency models, vector clocks
4	Michel Raynal, Matthieu Roy	Allowing Atomic Objects to Coexist with Sequentially Consistent Objects.	PaCT	2005	DBLP DOI BibTeX RDF	Atomic Consistency, Combination of consistency criteria, Shared Memory Abstraction, Message Passing, NP-Completeness, Asynchronous System, Sequential Consistency, Linearizability
4	Robert C. Steinke, Gary J. Nutt	A unified theory of shared memory consistency.	J. ACM	2004	DBLP DOI BibTeX RDF	memory consistency model lattice, memory consistency models, Distributed shared memory systems
4	Sudheendra Hangal, Durgam Vahia, Chaiyasit Manovit, Juin-Yeu Joseph Lu, Sridhar Narayanan	TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model.	ISCA	2004	DBLP DOI BibTeX RDF	Multiprocessor verification, Total Store Order, Sequential Consistency, Memory consistency models
4	Sergio Alonso, Francisco Chiclana, Francisco Herrera, Enrique Herrera-Viedma	A Learning Procedure to Estimate Missing Values in Fuzzy Preference Relations Based on Additive Consistency.	MDAI	2004	DBLP DOI BibTeX RDF	additive consistency, consistency, Decision-making, incomplete information, missing values, fuzzy preference relations
4	Venkata Duvvuri, Prashant J. Shenoy, Renu Tewari	Adaptive Leases: A Strong Consistency Mechanism for the World Wide Web.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	Web proxy servers, Web caching, cache consistency, leases, strong consistency
4	Gabriel Antoniu, Luc Bougé, Sébastien Lacour	Making a DSM Consistency Protocol Hierarchy-Aware: an Efficient Synchronization Scheme.	CCGRID	2003	DBLP DOI BibTeX RDF	hierarchical interconnection, home-based release consistency, cluster, grid, multithreading, DSM, consistency protocol
4	Jaejin Lee, David A. Padua	Hiding Relaxed Memory Consistency with a Compiler.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	relaxed memory consistency, fence, compiler, synchronization, NP-hard, dominator, Sequential consistency
4	Vijaykumar Krishnaswamy, Mustaque Ahamad, Michel Raynal, David E. Bakken	Shared State Consistency for Time-Sensitive Distributed Applications.	ICDCS	2001	DBLP DOI BibTeX RDF	Caching, Ordering, Timeliness, Consistency model, Consistency protocol
4	Hengming Zou, Nandit Soparkar, Farnam Jahanian	Probabilistic Data Consistency for Wide-Area Applications.	ICDE	2000	DBLP DOI BibTeX RDF	wide-area applications, probabilistic consistency, replication, temporal consistency, deterministic guarantees
4	Jean-Michel Hélary, Robert H. B. Netzer, Michel Raynal	Consistency Issues in Distributed Checkpoints.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	transitlessness, fault-tolerance, distributed systems, consistency, Checkpointing, rollback recovery, strong consistency
4	Philip L. Worthington, Edwin R. Hancock	New Constraints on Data-Closeness and Needle Map Consistency for Shape-from-Shading.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	hard constraints, curvature consistency, gradient consistency, Shape-from-shading, robust statistics
4	JaeWoong Chung, Byeong Hag Seong, Kyu Ho Park, Daeyeon Park	Moving Home-Based Lazy Release Consistency for Shared Virtual Memory Systems. (PDF / PS)	ICPP	1999	DBLP DOI BibTeX RDF	software DSM system, parallel processing, distributed computing, shared memory, memory consistency, Shared Virtual Memory, Release Consistency
4	Peter J. Stuckey, Vincent Tam	Extending EGENET with Lazy Constraint Consistency. (PDF / PS)	ICTAI	1997	DBLP DOI BibTeX RDF	extended EGENET, lazy constraint consistency, neural network simulator, min-conflict heuristic, hard graph-colouring problems, complete search methods, stochastic search methods, convergence behaviour, scheduling, planning (artificial intelligence), planning, constraint satisfaction problems, bin-packing, arc consistency, search behaviour
4	John B. Carter, John K. Bennett, Willy Zwaenepoel	Techniques for Reducing Consistency-Related Communication in Distributed Shared-Memory Systems	ACM Trans. Comput. Syst.	1995	DBLP DOI BibTeX RDF	cache consistency protocols, distributed shared memory, memory models, virtual shared memory, release consistency
4	Aline Deruyver, Yann Hodé	Semantic graph and arc consistency in "true" three dimensional image labeling. (PDF / PS)	ICIP	1995	DBLP DOI BibTeX RDF	semantic graph consistency, true three dimensional image labelling, over-segmented objects, nuclear resonance magnetic cerebral images, algorithm, image segmentation, graph theory, object recognition, image recognition, object, medical image processing, transitivity, brain, brain, biomedical NMR, arc consistency
4	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
4	Christoph F. Eick, Paul Werstein	Rule-Based Consistency Enforcement for Knowledge-Based Systems.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	rule-based consistency enforcement, exception handlers, consistency constraints, rule entities, activation pattern controlled rule, data integrity, knowledge-based systems, knowledge based systems, system performance, consistency checks, application programs, production rule, forward chaining, knowledge-base management system
4	Sushil Jajodia, David Mutchler	A Pessimistic Consistency Control Algorithm for Replicated Files which Achieves High Availability.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	pessimistic consistency control algorithm, communication link failures, mutual consistency, dynamic voting algorithm, fresh reads, one-copy serializable, data integrity, distributed databases, concurrency control, high availability, network partitioning, replicated files
3	Jingzhi Guo, Iok Ham Lam, Chun Chan, Guangyi Xiao	Collaboratively maintaining semantic consistency of heterogeneous concepts towards a common concept set.	EICS	2010	DBLP DOI BibTeX RDF	semantic consistency maintenance, collaborative editing, electronic business
3	Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. Sorin	Specifying and dynamically verifying address translation-aware memory consistency.	ASPLOS	2010	DBLP DOI BibTeX RDF	virtual memory, memory consistency, address translation, dynamic verification
3	Alexandre Goldsztejn, Frédéric Goualard	Box consistency through adaptive shaving.	SAC	2010	DBLP DOI BibTeX RDF	constraint programming, local consistency, Newton method
3	Sander Vermolen, Jozef Hooman, Peter Gorm Larsen	Proving consistency of VDM models using HOL.	SAC	2010	DBLP DOI BibTeX RDF	verification, theorem proving, VDM, HOL, model consistency
3	Yvette Teiken, Stefan Brüggemann, Hans-Jürgen Appelrath	Interchangeable consistency constraints for public health care systems.	SAC	2010	DBLP DOI BibTeX RDF	consistency constraints, knowledge representation, medical informatics, domain ontologies, domain specific modeling
3	Yehuda Afek, Adam Morrison, Moran Tzafrir	Brief announcement: view transactions: transactional model with relaxed consistency checks.	PODC	2010	DBLP DOI BibTeX RDF	relaxed consistency checks, transactional memory, opacity
3	Gianluigi Greco, Francesco Scarcello	The power of tree projections: local consistency, greedy algorithms, and larger islands of tractability.	PODS	2010	DBLP DOI BibTeX RDF	structural decomposition methods, tree projections, local consistency
3	Abdelkrim Nemra, Nabil Aouf	Robust Airborne 3D Visual Simultaneous Localization and Mapping with Observability and Consistency Analysis.	Journal of Intelligent and Robotic Systems	2009	DBLP DOI BibTeX RDF	EKF SLAM, NH? SLAM, Loop closure, Map management, Consistency, Observability, Stereo vision, Unmanned aerial vehicle, Simultaneous localization and mapping
3	Alan Kenny, Séamus McLoone, Tomás Ward	Controlling entity state updates to maintain remote consistency within a distributed interactive application.	ACM Trans. Internet Techn.	2009	DBLP DOI BibTeX RDF	distributed interactive applications (DIAs), prediction mechanisms, remote feedback, dead reckoning, Consistency maintenance, multiplayer games
3	GuoJun Wang, QiaoLin Duan	Theory of (n) truth degrees of formulas in modal logic and a consistency theorem.	Science in China Series F: Information Sciences	2009	DBLP DOI BibTeX RDF	(n) truth degrees, consistency theorem, (n) modality similarity degrees, (n) modality logic metric space, temporal logic, modal logic, approximate reasoning
3	Honglong Chen, Wei Lou, Zhi Wang	A Consistency-Based Secure Localization Scheme against Wormhole Attacks in WSNs.	WASA	2009	DBLP DOI BibTeX RDF	wireless sensor networks, Consistency, wormhole attack, secure localization
3	Javier García-García, Carlos Ordonez	Consistency-aware evaluation of OLAP queries in replicated data warehouses.	DOLAP	2009	DBLP DOI BibTeX RDF	replica consistency, set reconciliation, distributed databases
3	Justin Yip, Pascal Van Hentenryck	Length-lex bound consistency for knapsack constraints.	SAC	2009	DBLP DOI BibTeX RDF	length-lex, set variable, knapsack, bound consistency
3	Wonsun Ahn, Shanxiang Qi, M. Nicolaides, Josep Torrellas, J.-W. Lee, Xing Fang, Samuel P. Midkiff, David Wong	BulkCompiler: high-performance sequential consistency through cooperative compiler and hardware support.	MICRO	2009	DBLP DOI BibTeX RDF	atomic region, chunk-based architecture, compiler optimization, sequential consistency
3	Peijun Du, Guangli Li, Wei Zhang, Xiaomei Wang, Hao Sun	Consistency Measure of Multiple Classifiers for Land Cover Classification by Remote Sensing Image.	MCS	2009	DBLP DOI BibTeX RDF	weighted count of errors and correct results (WCEC), remote sensing, multiple classifier combination, land cover classification, consistency measure
3	Qin Gao, Yusen Dai, Kai Fu	Improving Personal Tagging Consistency through Visualization of Tag Relevancy.	HCI	2009	DBLP DOI BibTeX RDF	collaborative tagging systems, information visualization, consistency, tagging, tag cloud
3	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
3	Andreas Holzinger, Christian Stickel, Markus Fassold, Martin Ebner	Seeing the System through the End Users' Eyes: Shadow Expert Technique for Evaluating the Consistency of a Learning Management System.	USAB	2009	DBLP DOI BibTeX RDF	Shadow Expert Technique, Performance, Measurement, Consistency, Usability Test, Methods
3	Christian Eichinger, Michael Schrefl	Navigation consistency in web site families.	iiWAS	2009	DBLP DOI BibTeX RDF	navigation consistency, conceptual design, hypertext/hypermedia
3	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
3	Thanh Dang, Nirupama Bulusu, Wu-chi Feng, Seungweon Park	DHV: A Code Consistency Maintenance Protocol for Multi-hop Wireless Sensor Networks.	EWSN	2009	DBLP DOI BibTeX RDF	Code consistency, sensor networks, network reprogramming
3	Toshihiro Matsui, Marius-Calin Silaghi, Katsutoshi Hirayama, Makoto Yokoo, Hiroshi Matsuo	Directed soft arc consistency in pseudo trees.	AAMAS	2009	DBLP DOI BibTeX RDF	distributed constraint optimization problem, soft arc consistency, multi-agent systems, constraint reasoning
3	Gerhard Gröger, Lutz Plümer	Updating 3D city models: how to preserve geometric-topological consistency.	GIS	2009	DBLP DOI BibTeX RDF	2-manifolds, handles, transaction rules, consistency, 3D models, surfaces
3	Doha Elsharief, Hamidah Ibrahim, Ali Mamat, Mohamed Othman	A survey of methods for maintaining mobile cache consistency.	MoMM	2009	DBLP DOI BibTeX RDF	mobile cache consistency, stateful approach, stateless broadcasting approach, invalidation reports
3	Du Li, Rui Li	An Approach to Ensuring Consistency in Peer-to-Peer Real-Time Group Editors.	Computer Supported Cooperative Work	2008	DBLP DOI BibTeX RDF	computer-supported cooperative work, groupware, operational transformation, consistency maintenance, group editing
3	Martin C. Cooper	Minimization of Locally Defined Submodular Functions by Optimal Soft Arc Consistency.	Constraints	2008	DBLP DOI BibTeX RDF	Valued constraint satisfaction problem, Majority operation, Optimal soft arc consistency, Linear programming, Soft constraints, Discrete optimization, Submodularity
3	Yann Thierry-Mieg, Lom-Messan Hillah	UML behavioral consistency checking using instantiable Petri nets.	ISSE	2008	DBLP DOI BibTeX RDF	Behavioral consistency, Model checking, UML, Petri nets, Formal verification
3	Ho-Won Jung, Dennis Goldenson	The internal consistency and precedence of key process areas in the capability maturity model for software.	Empirical Software Engineering	2008	DBLP DOI BibTeX RDF	Cronbach’s alpha, Convergent and discriminant validities, Internal consistency, SW-CMM, Factor analysis, Partial least squares, Dimensionality
3	Pulak Samanta, Mihir K. Chakraborty	On Extension of Dependency and Consistency Degrees of Two Knowledges Represented by Covering.	T. Rough Sets	2008	DBLP DOI BibTeX RDF	elementary category(partition and covering of knowledge), dependency degree, consistency degree, Rough sets
3	Ming Xiong, Qiong Wang, Krithi Ramamritham	On earliest deadline first scheduling for temporal consistency maintenance.	Real-Time Systems	2008	DBLP DOI BibTeX RDF	Earliest deadline first, Real-time databases, Temporal consistency
3	Marcelo Arenas, Leonid Libkin	XML data exchange: Consistency and query answering.	J. ACM	2008	DBLP DOI BibTeX RDF	computing certain answers, XML, consistency, Data exchange
3	Zusong Li, Dandan Huan, Weiwu Hu, Zhimin Tang	Chip Multithreaded Consistency Model.	J. Comput. Sci. Technol.	2008	DBLP DOI BibTeX RDF	Godson-2, computer architecture, multithreading, memory consistency model, event ordering
3	Adam J. Lee, Marianne Winslett	Enforcing Safety and Consistency Constraints in Policy-Based Authorization Systems.	ACM Trans. Inf. Syst. Secur.	2008	DBLP DOI BibTeX RDF	distributed proving, consistency, credentials, trust negotiation
3	Antonio Arauzo-Azofra, José Manuel Benítez, Juan Luis Castro	Consistency measures for feature selection.	J. Intell. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Attribute evaluation, Feature selection, Measures, Consistency
3	Michel de Rougemont, Adrien Vieilleribière	Approximate schemas, source-consistency and query answering.	J. Intell. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Approximate schemas, Source-consistency, Complexity, Distances, Query answering
3	Tallat M. Shafaat, Thorsten Schütt, Monika Moser, Seif Haridi, Ali Ghodsi, Alexander Reinefeld	Key-based consistency and availability in structured overlay networks.	HPDC	2008	DBLP DOI BibTeX RDF	key-availability, lookup consistency, peer-to-peer systems, structured overlay networks
3	Alek Radjenovic, Richard F. Paige	The Role of Dependency Links in Ensuring Architectural View Consistency.	WICSA	2008	DBLP DOI BibTeX RDF	view consistency, dependency links, architecture description languages
3	Masakazu Takahashi, Satoru Takahashi, Yoshikatsu Fujita	A Method for Ensuring Consistency of Software Design Information in Retrospective Computer Validation.	KES	2008	DBLP DOI BibTeX RDF	Retrospective Computer Validation, Pharmaceutical Production System, Design Information Database, Consistency
3	Jiangming Yang, Haixun Wang, Ning Gu, Yiming Liu, Chunsong Wang, Qiwei Zhang	Lock-free consistency control for web 2.0 applications.	WWW	2008	DBLP DOI BibTeX RDF	concurrency control, xml, consistency maintenance
3	Marek Kopel, Aleksander Zgrzywa	The Consistency and Conformance of Web Document Collection Based on Heterogeneous DAC Graph.	IEA/AIE	2008	DBLP DOI BibTeX RDF	Web document collection, heterogeneous graph, consistency, relationship, conformance
3	Maciej Zurawski, Alan Smaill, Dave Robertson	Bounded Ontological Consistency for Scalable Dynamic Knowledge Infrastructures.	ASWC	2008	DBLP DOI BibTeX RDF	Semantic autonomy, rule-based process modelling, phase transition, ontology evolution, ontology management, bounded consistency
3	Yuhua Qian, Jiye Liang, Wei Wei, Feng Wang	Consistency and Fuzziness in Ordered Decision Tables.	RSKT	2008	DBLP DOI BibTeX RDF	Ordered decision table, Consistency, Fuzziness
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	Johann Eder, Amirreza Tahamtan	Temporal Consistency of View Based Interorganizational Workflows.	UNISCON	2008	DBLP DOI BibTeX RDF	Interorganizational Workflow, Workflow View, Consistency, Temporal Constraints, Conformance
3	Chao-Tung Yang, Chun-Pin Fu, Chien-Jung Huang, Ching-Hsien Hsu	FRCS: A File Replication and Consistency Service in Data Grids.	MUE	2008	DBLP DOI BibTeX RDF	Consistency, Data Grids, File Replication
3	Tsung-Han Tsai, Chih-Lun Fang	Structural Videotext Regions Completion with Temporal-Spatial Consistency.	SUTC	2008	DBLP DOI BibTeX RDF	Video completion, edge completion, spatial-temporal consistency, videotext removal
3	Surender Baswana, Shashank K. Mehta, Vishal Powar	Implied Set Closure and Its Application to Memory Consistency Verification.	CAV	2008	DBLP DOI BibTeX RDF	Memory consistency model verification, Incremental transitive closure, Total store order, Shared memory multi-processor
3	Akimitsu Kanzaki, Yohei Sawai, Masako Shinohara, Takahiro Hara, Shojiro Nishio	Quorum-Based Consistency Management for Data Replication in Mobile Ad Hoc Networks.	SAINT	2008	DBLP DOI BibTeX RDF	Ad Hoc Network, Quorum System, Consistency Management, Replica Allocation
3	Hideya Ochiai, Hiroshi Esaki	Accuracy-Based Cache Consistency Management for Numerical Object Replication.	SAINT	2008	DBLP DOI BibTeX RDF	Numerical Object, Replication, Consistency
3	Ghalem Belalem	Economic Model for Consistency Management of Replicas in Data Grids with OptorSim Simulator.	GridNets	2008	DBLP DOI BibTeX RDF	OptorSim, Optimistic approach, Pessimistic approach, Replication, Consistency, Data Grid, Economics models
3	Chi-Hung Chi, Choon-Keng Chua, Weihong Song	A Novel Ownership Scheme to Maintain Web Content Consistency.	GPC	2008	DBLP DOI BibTeX RDF	Performance, Web, Consistency, Content Distribution
3	Lian Yu, Shuang Su, Shan Luo, Yu Su	Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems.	TASE	2008	DBLP DOI BibTeX RDF	Completeness and consistency analysis, requirement-related faults, formal scenario model, inconsistency elimination, event-driven systems
3	Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca	Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets.	ARES	2008	DBLP DOI BibTeX RDF	consistency, diagnosis, firewall, conflict, acl, rule set
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	Hans-Juergen Boehm, Sarita V. Adve	Foundations of the C++ concurrency memory model.	PLDI	2008	DBLP DOI BibTeX RDF	trylock, c++, memory model, data race, sequential consistency, memory consistency
3	Simon M. Becker, Sebastian Herold, Sebastian Lohmann, Bernhard Westfechtel	A graph-based algorithm for consistency maintenance in incremental and interactive integration tools.	Software and System Modeling	2007	DBLP DOI BibTeX RDF	Incremental consistency maintenance, Graph transformation, Triple graph grammars
3	Xin Chen, Haining Wang, Shansi Ren, Xiaodong Zhang	Maintaining Strong Cache Consistency for the Domain Name System.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	middleware, cache consistency, Domain name system, lease
3	Konstantin Artiouchine, Philippe Baptiste	Arc-B-consistency of the Inter-distance Constraint.	Constraints	2007	DBLP DOI BibTeX RDF	Inter-distance constraint, Arc-B-consistency, Edge-finding
3	Daniel Gâinâ, Andrei Popescu	An Institution-Independent Proof of the Robinson Consistency Theorem.	Studia Logica	2007	DBLP DOI BibTeX RDF	Robinson consistency, elementary diagram, many-sorted first-order logic, institution, Craig interpolation
3	Joel Hass, Rida T. Farouki, Chang Yong Han, Xiaowen Song, Thomas W. Sederberg	Guaranteed consistency of surface intersections and trimmed surfaces using a coupled topology resolution and domain decomposition scheme.	Adv. Comput. Math.	2007	DBLP DOI BibTeX RDF	curve topology, ambient isotopy, tensor-product surfaces, surface perturbations, topological consistency, domain decomposition, trimmed surfaces, surface intersections
3	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
3	Jiannong Cao, Yang Zhang, Guohong Cao, Li Xie	Data Consistency for Cooperative Caching in Mobile Environments.	IEEE Computer	2007	DBLP DOI BibTeX RDF	cache consistency protocol, mobile computing, data management
3	Yisong Wang, Mingyi Zhang, Yu-Ping Shen	Consistency Property of Finite FC-Normal Logic Programs.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	consistency property, FC-normality, artificial intelligence, logic programs, stable model
3	Fathi Taibi, Jacob K. Daniel, Fouad Mohammed Abbou	On checking the consistency of Object-Z classes.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	model checking, formal specification, consistency, Object-Z, specification testing, model abstraction
3	Takeshi Mishima, Hiroshi Nakamura	A Proposal of New Dependable Database Middleware with Consistency and Concurrency Control.	PRDC	2007	DBLP DOI BibTeX RDF	black box method, concurrency, dependability, consistency, database server