Search results for "consistency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo	A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF
19	Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel	Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks.	FASE	2007	DBLP DOI BibTeX RDF
19	Rong Su 0001, Walter Murray Wonham	Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency.	Discret. Event Dyn. Syst.	2006	DBLP DOI BibTeX RDF	Distributed fault daignosis, Multiresolutional computation, Discret-event systems, Hierarchical
19	Hong Pan, Huimin Lin, Yi Lv	Model Checking Data Consistency for Cache Coherence Protocols.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	value-passing, symbolic transition graphs, model checking, concurrent systems, cache coherence protocols
19	Chi-Hung Chi, Lin Liu 0001, Choon-Keng Chua	Content Consistency Model for Pervasive Internet Access.	Advances in Web Intelligence and Data Mining	2006	DBLP DOI BibTeX RDF
19	Raimar J. Scherer, Peter Katranuschkov	From Data to Model Consistency in Shared Engineering Environments.	EG-ICE	2006	DBLP DOI BibTeX RDF
19	Amitabha Roy 0002, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang	Fast and Generalized Polynomial Time Memory Consistency Verification.	CAV	2006	DBLP DOI BibTeX RDF
19	Roberto Baldoni, Rachid Guerraoui, Ron R. Levy, Vivien Quéma, Sara Tucci Piergiovanni	Unconscious Eventual Consistency with Gossips.	SSS	2006	DBLP DOI BibTeX RDF
19	Ana Maria Marques da Silva, Cecil Chow Robilotta	Attenuation correction in cardiac SPECT using consistency conditions.	ISBI	2006	DBLP DOI BibTeX RDF
19	Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppänen	Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols.	ISoLA	2006	DBLP DOI BibTeX RDF
19	Ruay-Shiung Chang, Jih-Sheng Chang	Adaptable Replica Consistency Service for Data Grids.	ITNG	2006	DBLP DOI BibTeX RDF
19	Jiajun Bu, Bo Jiang 0009, Chun Chen 0001, Jianxv Yang	On Demand Consistency Maintenance in Heterogeneous Collaborative Graphics Editing Systems.	CSCWD	2006	DBLP DOI BibTeX RDF
19	Zhenlong Du, Xueying Qin, Wei Hua, Hujun Bao	Salience-Preserving Image Composition with Luminance Consistency.	IWICPAS	2006	DBLP DOI BibTeX RDF
19	Yucheng Dong, Yinfeng Xu	Consistency Measures of Linguistic Preference Relations and Its Properties in Group Decision Making.	FSKD	2006	DBLP DOI BibTeX RDF
19	Yu Huang 0002, Jiannong Cao 0001, Beihong Jin	A predictive approach to achieving consistency in cooperative caching in MANET.	Infoscale	2006	DBLP DOI BibTeX RDF
19	Dimitris Magos, Ioannis Mourtos, Leonidas S. Pitsoulis	Consistency of the Matching Predicate.	SETN	2006	DBLP DOI BibTeX RDF
19	Sung-Jin Kim, Falko Kuester, K. H. Kim	A global timestamp-based approach to enhanced data consistency and fairness in collaborative virtual environments.	Multim. Syst.	2005	DBLP DOI BibTeX RDF	Global timestamp, Fairness, Online game, TMO, Real-time distributed systems
19	Georg Ringwelski	An Arc-Consistency Algorithm for Dynamic and Distributed Constraint Satisfaction Problems.	Artif. Intell. Rev.	2005	DBLP DOI BibTeX RDF	dynamic and distributed constraint processing, constraint propagation
19	Viktor Kuncak, Patrick Lam 0001, Karen Zee, Martin C. Rinard	Implications of a Data Structure Consistency Checking System.	VSTTE	2005	DBLP DOI BibTeX RDF
19	Derek Bruening, Saman P. Amarasinghe	Maintaining Consistency and Bounding Capacity of Software Code Caches.	CGO	2005	DBLP DOI BibTeX RDF
19	José-Antonio Alonso, María Teresa Lamata	A Statistical Criterion of Consistency in the Analytic Hierarchy Process.	MDAI	2005	DBLP DOI BibTeX RDF
19	Itsuki Noda	Consistency Management Framework for Database Used in Integrated Simulations.	RoboCup	2005	DBLP DOI BibTeX RDF
19	Christiane V. Pousa, Luís F. W. Góes, Dulcinéia Oliveira da Penha, Carlos Augusto Paiva da Silva Martins	Reconfigurable Sequential Consistency Algorithm.	IPDPS	2005	DBLP DOI BibTeX RDF
19	Yan Zhijun	Consistency Analysis of Interorganizational Processes Based on Activity Diagrams.	ICEBE	2005	DBLP DOI BibTeX RDF
19	Ling Chen 0001	An Adaptive Consistency Maintenance Approach for Replicated Continuous Applications.	ICPADS (1)	2005	DBLP DOI BibTeX RDF
19	Xin Chen 0034, Shansi Ren, Haining Wang, Xiaodong Zhang 0001	SCOPE: scalable consistency maintenance in structured P2P systems.	INFOCOM	2005	DBLP DOI BibTeX RDF
19	Jerzy Brzezinski, Cezary Sobaniec	Safety of an Object-Based Version Vector Consistency Protocol of Session Guarantees.	PPAM	2005	DBLP DOI BibTeX RDF
19	Josef Zlomek, Roman Barták	Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains.	CP	2005	DBLP DOI BibTeX RDF
19	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
19	Ewa Dönitz, Martin G. Möhrle	Consistency Matrices Within Scenario Technique: An Empirical Investigation.	OR	2005	DBLP DOI BibTeX RDF
19	Hubie Chen, Víctor Dalmau	From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction.	CSL	2005	DBLP DOI BibTeX RDF
19	Michel Abdalla, Mihir Bellare, Dario Catalano, Eike Kiltz, Tadayoshi Kohno, Tanja Lange 0001, John Malone-Lee, Gregory Neven, Pascal Paillier, Haixia Shi	Searchable Encryption Revisited: Consistency Properties, Relation to Anonymous IBE, and Extensions.	CRYPTO	2005	DBLP DOI BibTeX RDF
19	Jenny Ulriksson, Rassul Ayani	Consistency Overhead using HLA for Collaborative Work.	DS-RT	2005	DBLP DOI BibTeX RDF
19	John W. Bastian, Anton van den Hengel	Computing Surface-Based Photo-Consistency on Graphics Hardware.	DICTA	2005	DBLP DOI BibTeX RDF
19	Albert Meixner, Daniel J. Sorin	Dynamic Verification of Sequential Consistency.	ISCA	2005	DBLP DOI BibTeX RDF
19	Martin Mauve, Jürgen Vogel 0001, Volker Hilt, Wolfgang Effelsberg	Local-lag and timewarp: providing consistency for replicated continuous applications.	IEEE Trans. Multim.	2004	DBLP DOI BibTeX RDF
19	Nicolas Bouillot, Eric Gressier-Soudan	Consistency models for distributed interactive multimedia applications.	ACM SIGOPS Oper. Syst. Rev.	2004	DBLP DOI BibTeX RDF
19	Christoph Lüth, Markus Roggenbach, Lutz Schröder	CCC - The Casl Consistency Checker.	WADT	2004	DBLP DOI BibTeX RDF
19	Nguyen Truong Thang, Takuya Katayama	Handling Consistency of Software Evolution in an Efficient Way.	IWPSE	2004	DBLP DOI BibTeX RDF
19	Song Gao, Wee Siong Ng, Weining Qian	Preserving Consistency of Dynamic Data in Peer-Based Caching Systems.	DEXA	2004	DBLP DOI BibTeX RDF
19	Hae-Kyong Kang, Tae-wan Kim, Ki-Joune Li	Topological Consistency for Collapse Operation in Multi-scale Databases.	ER (Workshops)	2004	DBLP DOI BibTeX RDF
19	Victor C. S. Lee, Joseph Kee-Yin Ng, Jo Y. P. Chong, Kwok-Wa Lam	Maintaining Temporal Consistency in Broadcast Environments.	Mobile Data Management	2004	DBLP DOI BibTeX RDF
19	Jesús Acosta Elías, Leandro Navarro-Moldes	Performance Evaluation of the Fast Consistency Algorithms in Large Decentralized Systems.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
19	Mohamed G. Gouda, Alex X. Liu	Firewall Design: Consistency, Completeness, and Compactness.	ICDCS	2004	DBLP DOI BibTeX RDF
19	Francisco J. Torres-Rojas, Esteban Meneses	Analyzing Convergence in Consistency Models for Distributed Objects.	OPODIS	2004	DBLP DOI BibTeX RDF
19	Hansheng Lei, Venu Govindaraju	A Study on the Consistency of Features for On-Line Signature Verification.	SSPR/SPR	2004	DBLP DOI BibTeX RDF
19	Anne Condon, Alan J. Hu	Automatable Verification of Sequential Consistency.	Theory Comput. Syst.	2003	DBLP DOI BibTeX RDF
19	John Moses, Malcolm Farrow	A Procedure for Assessing the Influence of Problem Domain on Effort Estimation Consistency.	Softw. Qual. J.	2003	DBLP DOI BibTeX RDF	Hierarchical Bayesian inference, hyperparameters, interactions with random effects, model fit and checking, deviance statistic, informative and non-informative priors, dependence, effort estimates, COCOMO, linear regression models
19	Minglun Gong, Yee-Hong Yang	Fast Stereo Matching Using Reliability-Based Dynamic Programming and Consistency Constraints.	ICCV	2003	DBLP DOI BibTeX RDF
19	Joseph D. Pellegrino, Constantinos Dovrolis	Bandwidth requirement and state consistency in three multiplayer game architectures.	NETGAMES	2003	DBLP DOI BibTeX RDF
19	Carlos J. Alonso, Juan José Rodríguez, Belarmino Pulido Junquera	Enhancing Consistency Based Diagnosis with Machine Learning Techniques.	CAEPIA	2003	DBLP DOI BibTeX RDF
19	Jingfang Zheng, Michael C. Horsch	A Comparison of Consistency Propagation Algorithms in Constraint Optimization.	AI	2003	DBLP DOI BibTeX RDF
19	Jesús Acosta Elías, Leandro Navarro-Moldes	Generalization of the Fast Consistency Algorithm to a Grid with Multiple High Demand Zones.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
19	Wei-Yu Chen, Arvind Krishnamurthy, Katherine A. Yelick	Polynomial-Time Algorithms for Enforcing Sequential Consistency in SPMD Programs with Arrays.	LCPC	2003	DBLP DOI BibTeX RDF
19	Fabrizio Grandoni 0001, Giuseppe F. Italiano	Improved Algorithms for Max-restricted Path Consistency.	CP	2003	DBLP DOI BibTeX RDF
19	Igor Razgon, Amnon Meisels	Maintaining Dominance Consistency.	CP	2003	DBLP DOI BibTeX RDF
19	Claude-Guy Quimper, Peter van Beek, Alejandro López-Ortiz, Alexander Golynski, Sayyed Bashir Sadjad	An Efficient Bounds Consistency Algorithm for the Global Cardinality Constraint.	CP	2003	DBLP DOI BibTeX RDF
19	Zhijun Wang 0001, Sajal K. Das 0001, Hao Che, Mohan Kumar	SACCS: Scalable Asynchronous Cache Consistency Scheme for Mobile Environments.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
19	Boris Litvak, Shmuel S. Tyszberowicz, Amiram Yehudai	Behavioral Consistency Validation of UML Diagrams.	SEFM	2003	DBLP DOI BibTeX RDF
19	Bishnupriya Bhattacharya, Shuvra S. Bhattacharyya	Consistency Analysis of Reconfigurable Dataflow Specifications.	Embedded Processor Design Challenges	2002	DBLP DOI BibTeX RDF
19	Kenneth Baclawski, Mieczyslaw M. Kokar, Richard J. Waldinger, Paul A. Kogut	Consistency Checking of Semantic Web Ontologies.	ISWC	2002	DBLP DOI BibTeX RDF
19	Daniel Dui, Wolfgang Emmerich, Christian Nentwich, Bryan Thal	Consistency Checking of Financial Derivatives Transactions.	NetObjectDays	2002	DBLP DOI BibTeX RDF
19	Christopher Dabrowski, Kevin L. Mills, Jesse Elder	Understanding Consistency Maintenance in Service Discovery Architectures in Response to Message Loss.	Active Middleware Services	2002	DBLP DOI BibTeX RDF
19	Michael C. Horsch, William S. Havens, Aditya Ghose	Generalized Arc Consistency with Application to MaxCSP.	AI	2002	DBLP DOI BibTeX RDF
19	Peter Veelaert	Reestablishing Consistency of Uncertain Geometric Relations in Digital Images.	Theoretical Foundations of Computer Vision	2002	DBLP DOI BibTeX RDF
19	Martin Wirsing, Alexander Knapp	View Consistency in Software Development.	RISSEF	2002	DBLP DOI BibTeX RDF
19	Spiros Skiadopoulos, Manolis Koubarakis	Consistency Checking for Qualitative Spatial Reasoning with Cardinal Directions.	CP	2002	DBLP DOI BibTeX RDF
19	Marc R. C. van Dongen	Domain-Heuristics for Arc-Consistency Algorithms.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
19	Christopher Dabrowski, Kevin L. Mills, Jesse Elder	Understanding consistency maintenance in service discovery architectures during communication failure.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF
19	Silvio Giove, Salvatore Greco, Benedetto Matarazzo, Roman Slowinski	Variable Consistency Monotonic Decision Trees.	Rough Sets and Current Trends in Computing	2002	DBLP DOI BibTeX RDF
19	Sanny Gustavsson, Sten Andler	Self-stabilization and eventual consistency in replicated real-time databases.	WOSS	2002	DBLP DOI BibTeX RDF
19	Marsha Chechik, John D. Gannon	Automatic Analysis of Consistency between Requirements and Designs.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	SCR requirements, finite-state abstraction, formal specification, static analysis, data-flow analysis
19	Hachemi Bennaceur, Mohamed-Salah Affane	Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Consistency.	CP	2001	DBLP DOI BibTeX RDF
19	Marcelo Glusman, Shmuel Katz	Extending Memory Consistency of Finite Prefixes to Infinite Computations.	CONCUR	2001	DBLP DOI BibTeX RDF
19	A. Al-Khudair, W. A. Gray, John C. Miles	Dynamic Evolution and Consistency of Collaborative Configurations in Object-Oriented Databases.	TOOLS (39)	2001	DBLP DOI BibTeX RDF
19	Alex Gontmakher, Assaf Schuster	Java consistency: nonoperational characterizations for Java memory behavior.	ACM Trans. Comput. Syst.	2000	DBLP DOI BibTeX RDF	Java memory models, nonoperational specification, multithreading
19	Ricardo Galli, Yuhua Luo	Mu3D: a causal consistency protocol for a collaborative VRML editor.	Web3D	2000	DBLP DOI BibTeX RDF	architecture, multicasting, CAD, VRML, distributed virtual environments
19	Jelica Protic, Veljko M. Milutinovic	A Comparison of Three Protocols for Entry Consistency Maintenance Based on MVA Algorithm.	MASCOTS	2000	DBLP DOI BibTeX RDF
19	Lisa Higham, Jalal Kawash	Memory Consistency and Process Coordination for SPARC Multiprocessors.	HiPC	2000	DBLP DOI BibTeX RDF
19	Kurt Mehlhorn, Sven Thiel	Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint.	CP	2000	DBLP DOI BibTeX RDF
19	Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke, Amit Goel	A Theory of Consistency for Modular Synchronous Systems.	FMCAD	2000	DBLP DOI BibTeX RDF
19	Ed Brinksma	Cache Consistency by Design.	Distributed Comput.	1999	DBLP DOI BibTeX RDF	Caching protocols, Correctness preserving, Transformations, Process algebra, Reactive systems, Formal design
19	Howard J. Schultz, Dong-Min Woo, Frank Stolle, Edward M. Riseman	Error Detection and DEM Fusion using Self-Consistency.	ICCV	1999	DBLP DOI BibTeX RDF
19	Laurence Cholvy	Checking regulation consistency by using SOL-resolution.	ICAIL	1999	DBLP DOI BibTeX RDF
19	Pascal Fradet, Daniel Le Métayer, Michaël Périn	Consistency Checking for Multiple View Software Architectures.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
19	Kyung-Ah Chang, Byung-Rae Lee, Tai-Yun Kim	Proxy Agent Consistency Service Based on CORBA.	MDA	1999	DBLP DOI BibTeX RDF
19	Gabriel Girard, Hon Fung Li	Evaluation of Two Optimized Protocols for Sequential Consistency.	HICSS	1999	DBLP DOI BibTeX RDF
19	James B. Lim, Ali R. Hurson	Data Duplication and Consistency in a Mobile, Multidatabase Environment.	ICPADS	1998	DBLP DOI BibTeX RDF
19	Yves Deville, Micha Janssen, Pascal Van Hentenryck	Consistency Techniques in Ordinary Differential Equations.	CP	1998	DBLP DOI BibTeX RDF
19	Weisong Shi, Weiwu Hu, Zhimin Tang	An Interaction of Coherence Protocols and Memory Consistency Models in DSM Systems.	ACM SIGOPS Oper. Syst. Rev.	1997	DBLP DOI BibTeX RDF
19	Michael J. Franklin, Michael J. Carey 0001, Miron Livny	Transactional Client-Server Cache Consistency: Alternatives and Performance.	ACM Trans. Database Syst.	1997	DBLP DOI BibTeX RDF
19	Jae Bum Lee, Chu Shik Jhon	Hardware Support for Release Consistency with Queue-based Synchronization.	ICPADS	1997	DBLP DOI BibTeX RDF
19	Yuanyuan Zhou 0001, Liviu Iftode, Jaswinder Pal Singh, Kai Li 0001, Brian R. Toonen, Ioannis Schoinas, Mark D. Hill, David A. Wood 0001	Relaxed Consistency and Coherence Granularity in DSM Systems: A Performance Evaluation.	PPoPP	1997	DBLP DOI BibTeX RDF
19	Junpei Niwa, Tatsushi Inagaki, Takashi Matsumoto 0002, Kei Hiraki	Efficient Implementation of Software Release Consistency on Asymmetric Distributed Shared Memory.	ISPAN	1997	DBLP DOI BibTeX RDF
19	Stefan Brüning, Torsten Schaub	A Model-Based Approach to Consistency-Checking.	ISMIS	1996	DBLP DOI BibTeX RDF
19	Steven A. Battle	Establishing Arc Consistency for Multiple Database Views.	DEXA	1996	DBLP DOI BibTeX RDF
19	Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen	Consistency and Refinement for Partial Specification in Z.	FME	1996	DBLP DOI BibTeX RDF
19	Cynthia Dwork, Ching-Tien Ho, H. Raymond Strong	Collective Consistency.	WDAG	1996	DBLP DOI BibTeX RDF
19	André Postma, Thijs Krol	Interactive Consistency in Quasi-Asynchronous Systems.	ICECCS	1996	DBLP DOI BibTeX RDF
19	Christoph Lindemann, Friedrich Schön	Modeling Relaxed Memory Consistency Protocols.	MMB	1995	DBLP DOI BibTeX RDF