Search results for "consistency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	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
28	Hideya Ochiai, Hiroshi Esaki	Accuracy-Based Cache Consistency Management for Numerical Object Replication.	SAINT	2008	DBLP DOI BibTeX RDF	Numerical Object, Replication, Consistency
28	Maciej Zurawski, Alan Smaill, Dave Robertson 0001	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
28	Yuhua Qian, Jiye Liang, Wei Wei 0018, Feng Wang 0038	Consistency and Fuzziness in Ordered Decision Tables.	RSKT	2008	DBLP DOI BibTeX RDF	Ordered decision table, Consistency, Fuzziness
28	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
28	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
28	Yisong Wang, Mingyi Zhang 0002, 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
28	Matteo Brunelli, Michele Fedrizzi	Fair Consistency Evaluation in Fuzzy Preference Relations and in AHP.	KES (2)	2007	DBLP DOI BibTeX RDF	Pairwise Comparison Matrices, Consistency Indices, Fuzzy Preference Relations
28	Mihir K. Chakraborty, Pulak Samanta	Consistency-Degree Between Knowledges.	RSEISP	2007	DBLP DOI BibTeX RDF	elementary category, dependency degree, consistency degree, Rough Sets, knowledge
28	Salvador Petit, Julio Sahuquillo, Ana Pont, David R. Kaeli	Addressing a workload characterization study to the design of consistency protocols.	J. Supercomput.	2006	DBLP DOI BibTeX RDF	Memory consistency protocols, Performance evaluation, Workload characterization, Asynchronous communication, Shared virtual memory
28	Sayan Mukherjee 0001, Partha Niyogi, Tomaso A. Poggio, Ryan M. Rifkin	Learning theory: stability is sufficient for generalization and necessary and sufficient for consistency of empirical risk minimization.	Adv. Comput. Math.	2006	DBLP DOI BibTeX RDF	uniform Glivenko-Cantelli, stability, consistency, generalization, inverse problems, empirical risk minimization
28	Jun Yang 0003, Alexander G. Hauptmann	Exploring temporal consistency for video analysis and retrieval.	Multimedia Information Retrieval	2006	DBLP DOI BibTeX RDF	active learning, video retrieval, interactive search, temporal consistency, semantic concept detection
28	Jessica Feng, Lewis Girod, Miodrag Potkonjak	Consistency-Based On-line Localization in Sensor Networks.	DCOSS	2006	DBLP DOI BibTeX RDF	Consistency, Statistical Modeling, Location Discovery
28	Ksenia Ryndina, Jochen Malte Küster, Harald C. Gall	Consistency of Business Process Models and Object Life Cycles.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	UML, consistency, business process model, state machine, activity diagram, object life cycle
28	Gabriel Antoniu, Loïc Cudennec, Sébastien Monnet	A Practical Evaluation of a Data Consistency Protocol for Efficient Visualization in Grid Applications.	VECPAR	2006	DBLP DOI BibTeX RDF	code-coupling applications, visualization, grid, Data consistency
28	Ning Gu, Jiangming Yang, Qiwei Zhang	Consistency maintenance based on the mark & retrace technique in groupware systems.	GROUP	2005	DBLP DOI BibTeX RDF	address space transformation, mark & retrace, CSCW, concurrency control, consistency, undo, group editors
28	Alberto Belussi, Barbara Catania, Paola Podestà	Towards topological consistency and similarity of multiresolution geographical maps.	GIS	2005	DBLP DOI BibTeX RDF	GIS, consistency, topology, similarity, multiresolution
28	Zhijun Wang 0001, Sajal K. Das 0001, Hao Che, Mohan Kumar	A Scalable Asynchronous Cache Consistency Scheme (SACCS) for Mobile Environments.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	stale cache hit, Mobile environments, cache consistency, disconnection, bandwidth utilization
28	Xueyan Tang, Samuel T. Chanson	The Minimal Cost Distribution Tree Problem for Recursive Expiration-Based Consistency Management.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	Expiration-based consistency management, optimization, performance analysis, caching, graph theory, replication, NP-complete
28	Amit M. Paradkar, Tim Klinger	Automated Consistency and Completeness Checking of Testing Models for Interactive Systems.	COMPSAC	2004	DBLP DOI BibTeX RDF	Completeness Checking, Reachability, Consistency Checking
28	Kam-yiu Lam, Ming Xiong, BiYu Liang, Yang Guo	Statistical Quality of Service Guarantee for Temporal Consistency of Real-Time Data Objects.	RTSS	2004	DBLP DOI BibTeX RDF	probabilistic temporal consistency, Quality of Service (QoS), real-time database
28	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
28	Meinolf Sellmann	Approximated Consistency for Knapsack Constraints.	CP	2003	DBLP DOI BibTeX RDF	approximation algorithms, global constraints, optimization constraints, relaxed consistency, cost-based filtering
28	Christian Nentwich, Licia Capra, Wolfgang Emmerich, Anthony Finkelstein	xlinkit: a consistency checking and smart link generation service.	ACM Trans. Internet Techn.	2002	DBLP DOI BibTeX RDF	XML, Consistency management, constraint checking, automatic link generation
28	Ahlem Ben Hassine, Khaled Ghédira	Distributed Reinforcement of Arc-Consistency.	PRICAI	2002	DBLP DOI BibTeX RDF	Constraint Satisfaction Problems (CSP), Multi-Agent System, Arc-Consistency
28	Paulo S. C. Alencar, Donald D. Cowan, Douglas W. Mulholland, Toacy Cavalcante de Oliveira	Towards Monitored Data Consistency and Business Processing Based on Declarative Software Agents.	SELMAS	2002	DBLP DOI BibTeX RDF	Web-based user interfaces, e-commerce, monitoring, distributed databases, business process, Software agents, data management, software design, events, events, e-business, data consistency
28	Anne Condon, Alan J. Hu	Automatable verification of sequential consistency.	SPAA	2001	DBLP DOI BibTeX RDF	model checking, memory model, sequential consistency
28	Jian Yin 0002, Lorenzo Alvisi, Michael Dahlin, Calvin Lin	Volume Leases for Consistency in Large-Scale Systems.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	scalable server, fault tolerance, file system, Cache consistency, volume, lease
28	Sharad Mehrotra, Rajeev Rastogi, Henry F. Korth, Abraham Silberschatz	Ensuring Consistency in Multidatabases by Preserving Two-Level Serializability.	ACM Trans. Database Syst.	1998	DBLP DOI BibTeX RDF	beyond serializability, concurrency control, multidatabases, database consistency
28	Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen	Viewpoint Consistency in Z and LOTOS: A Case Study.	FME	1997	DBLP DOI BibTeX RDF	Consistency, Z, Viewpoints, LOTOS, ODP
28	Cristiana Bentes Seidel, Ricardo Bianchini, Claudio Luis de Amorim	The Affinity Entry Consistency Protocol.	ICPP	1997	DBLP DOI BibTeX RDF	Distributed Shared Memory, Coherence Protocols, Relaxed Consistency
28	Martin C. Rinard	An Integrated Synchronization and Consistency Protocol for the Implementation of a High-Level Parallel Programming Language.	IPPS	1996	DBLP DOI BibTeX RDF	Synchronization and Consistency Protocols, parallel programming languages
28	Marios Mavronicolas, Michael Merritt, Gadi Taubenfeld	Sequentially consistent versus linearizable counting networks.	Distributed Comput.	2008	DBLP DOI BibTeX RDF	Balancing networks, Inconsistency fractions, Sequential consistency, Linearizability, Counting networks
28	Dominik Lücke, Till Mossakowski, Diedrich Wolter	Qualitative Reasoning about Convex Relations.	Spatial Cognition	2008	DBLP DOI BibTeX RDF	Qualitative spatio-temporal reasoning, relative orientation calculi, consistency
28	Abdellah Idrissi, Ahlem Ben Hassine	Circuit Consistencies.	PRICAI	2004	DBLP DOI BibTeX RDF	Circuit Consistency, Constraint Satisfaction
26	Jean-Charles Régin	Simpler and Incremental Consistency Checking and Arc Consistency Filtering Algorithms for the Weighted Spanning Tree Constraint.	CPAIOR	2008	DBLP DOI BibTeX RDF
26	Akio Shiibashi, Tsuyoshi Nakaniwa, Motoharu Yamana, Kinji Mori	Multi-layered Data Consistency Technology, An Enhanced Autonomous Decentralized Data Consistency Technology for IC Card Ticket System.	HASE	2007	DBLP DOI BibTeX RDF
26	Gregor Engels, Reiko Heckel, Jochen Malte Küster	The Consistency Workbench: A Tool for Consistency Management in UML-Based Development.	UML	2003	DBLP DOI BibTeX RDF
26	Takahiro Hara, Sanjay Kumar Madria	Consistency Management Strategies for Data Replication in Mobile Ad Hoc Networks.	IEEE Trans. Mob. Comput.	2009	DBLP DOI BibTeX RDF
26	Francisco Chiclana, Enrique Herrera-Viedma, Sergio Alonso, Francisco Herrera	Cardinal Consistency of Reciprocal Preference Relations: A Characterization of Multiplicative Transitivity.	IEEE Trans. Fuzzy Syst.	2009	DBLP DOI BibTeX RDF
26	Amir Hossein Tamjidi, Hamid D. Taghirad, Ali Akbar Aghamohammadi	On the consistency of EKF-SLAM: Focusing on the observation models.	IROS	2009	DBLP DOI BibTeX RDF
26	Yunji Chen, Yi Lv, Weiwu Hu, Tianshi Chen 0002, Haihua Shen, Pengyu Wang, Hong Pan	Fast complete memory consistency verification.	HPCA	2009	DBLP DOI BibTeX RDF
26	Sai Kit Yeung, Chi-Keung Tang, Pengcheng Shi, Josien P. W. Pluim, Max A. Viergever, Albert C. S. Chung, Helen C. Shen	Enforcing stochastic inverse consistency in non-rigid image registration and matching.	CVPR	2008	DBLP DOI BibTeX RDF
26	Xiaomei Hu, Wenhua Zhu, Tao Yu	A New Consistency Maintenance Algorithm based on Prediction and Compensation Scheme in CVE Systems.	ICNSC	2008	DBLP DOI BibTeX RDF
26	Guoping Long, Nan Yuan, Dongrui Fan	Location Consistency Model Revisited: Problem, Solution and Prospects.	PDCAT	2008	DBLP DOI BibTeX RDF
26	Paolo Liberatore	Consistency Defaults.	Stud Logica	2007	DBLP DOI BibTeX RDF	artificial intelligence, knowledge representation, nonmonotonic reasoning, default logic
26	Abdul Malik Khan, Sophie Chabridon, Antoine Beugnard	Synchronization medium: a consistency maintenance component for mobile multiplayer games.	NETGAMES	2007	DBLP DOI BibTeX RDF	multiplayer mobile games, latency hiding, data synchronization, communication abstraction, medium
26	Francisco Chiclana, Enrique Herrera-Viedma, Sergio Alonso, Francisco Herrera	Consistency of Reciprocal Preference Relations.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
26	Chao-Tung Yang, Wen-Chi Tsai, Tsui-Ting Chen, Ching-Hsien Hsu	A One-Way File Replica Consistency Model in Data Grids.	APSCC	2007	DBLP DOI BibTeX RDF
26	Taki Kanda	Judgment on Consistency of Human Feelings in Paired Comparison.	KES (3)	2007	DBLP DOI BibTeX RDF
26	Assef Chmeiss, Vincent Krawczyk, Lakhdar Sais	Light Integration of Path Consistency for Solving CSPs.	ICTAI (1)	2007	DBLP DOI BibTeX RDF
26	Kewei Sha, Weisong Shi	Modeling Data Consistency in Wireless Sensor Networks.	ICDCS Workshops	2007	DBLP DOI BibTeX RDF
26	Qinghua Hu, Hui Zhao, Zongxia Xie, Daren Yu	Consistency Based Attribute Reduction.	PAKDD	2007	DBLP DOI BibTeX RDF
26	Morteza Abbaszadeh Meinagh, Ayaz Isazadeh, Bager Zarei, Mehdi Zarei	Database Replication: AvailAbility aind Consistency Astsrance via Stream Processing.	AICCSA	2007	DBLP DOI BibTeX RDF
26	Zhijun Wang 0001, Mohan Kumar, Sajal K. Das 0001, Huaping Shen	Dynamic cache consistency schemes for wireless cellular networks.	IEEE Trans. Wirel. Commun.	2006	DBLP DOI BibTeX RDF
26	Colin Ryan, Donal Heffernan, Gabriel Leen	Interactive Consistency on a Time-Triggered Real-Time Control Network.	IEEE Trans. Ind. Informatics	2006	DBLP DOI BibTeX RDF
26	Bo Jiang 0009, Jiajun Bu, Chun Chen 0001	On Demand Consistency Control for Collaborative Graphics Editing Systems in Heterogeneous Environments.	CSCWD (Selected Papers)	2006	DBLP DOI BibTeX RDF
26	Zhijun Wang 0001, Mohan Kumar, Sajal K. Das 0001, Huaping Shen	File Consistency Maintenance Through Virtual Servers in P2P Systems.	ISCC	2006	DBLP DOI BibTeX RDF
26	Gregory de Fombelle, Xavier Blanc 0001, Laurent Rioux, Marie-Pierre Gervais	Finding a Path to Model Consistency.	ECMDA-FA	2006	DBLP DOI BibTeX RDF
26	Vijay Shivshanker Gupta	Trust and accountability issues in scalable invalidation-based web cache consistency.	ACM SIGOPS Oper. Syst. Rev.	2005	DBLP DOI BibTeX RDF
26	Gilles Chabert, Gilles Trombettoni, Bertrand Neveu	Box-set consistency for interval-based constraint problems.	SAC	2005	DBLP DOI BibTeX RDF
26	Johan Muskens, Reinder J. Bril, Michel R. V. Chaudron	Generalizing Consistency Checking between Software Views.	WICSA	2005	DBLP DOI BibTeX RDF
26	Andreas Wombacher	Issues on Decentralized Consistency Checking of Multi-lateral Collaborations.	WETICE	2005	DBLP DOI BibTeX RDF
26	Amir Kamil, Jimmy Su, Katherine A. Yelick	Making Sequential Consistency Practical in Titanium.	SC	2005	DBLP DOI BibTeX RDF
26	Trent Jaeger, Antony Edwards, Xiaolan Zhang 0001	Consistency analysis of authorization hook placement in the Linux security modules framework.	ACM Trans. Inf. Syst. Secur.	2004	DBLP DOI BibTeX RDF	authorization mechanisms, role-based access control, access control models
26	Soon-Kyeong Kim, David A. Carrington	A Formal Object-Oriented Approach to defining Consistency Constraints for UML Models.	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF
26	Nikos Samaras, Kostas Stergiou 0001	Arc Consistency in Binary Encodings of Non-binary CSPs: Theoretical and Experimental Evaluation.	SETN	2004	DBLP DOI BibTeX RDF	Search, Constraint Satisfaction, Constraint Programming
26	Ragnhild Van Der Straeten, Tom Mens, Jocelyn Simmonds, Viviane Jonckers	Using Description Logic to Maintain Consistency between UML Models.	UML	2003	DBLP DOI BibTeX RDF
26	Anthony Hunter	Probable Consistency Checking for Sets of Propositional Clauses.	ECSQARU	2003	DBLP DOI BibTeX RDF
26	Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen	The Complexity of Checking Consistency of Pedigree Information and Related Problems.	ICTCS	2003	DBLP DOI BibTeX RDF
26	Holger Rasch, Heike Wehrheim	Checking Consistency in UML Diagramms: Classes and State Machines.	FMOODS	2003	DBLP DOI BibTeX RDF
26	Marcelo Arenas, Wenfei Fan, Leonid Libkin	On Verifying Consistency of XML Specifications. (PDF / PS)	PODS	2002	DBLP DOI BibTeX RDF	XML
26	Gabriel Antoniu, Luc Bougé	DSM-PM2: A Portable Implementation Platform for Multithreaded DSM Consistency Protocols.	HIPS	2001	DBLP DOI BibTeX RDF
26	Andrea Zisman, Adamantia Athanasopoulou	Consistency Management of Financial XML Documents.	CAiSE	2001	DBLP DOI BibTeX RDF
26	Jerzy Brzezinski, Dariusz Wawrzyniak	Consistency Requirements of Peterson's Algorithm for Mutual Exclusion of {n} Processes in a Distributed Shared Memory System.	PPAM	2001	DBLP DOI BibTeX RDF
26	Francisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal	Real-Time Based Strong Consistency for Distributed Objects.	WORDS	2001	DBLP DOI BibTeX RDF
26	Carsten Griwodz, Michael Liepert, Abdulmotaleb El-Saddik, Giwon On, Michael Zink, Ralf Steinmetz	Perceived Consistency.	AICCSA	2001	DBLP DOI BibTeX RDF
26	Lisa Higham, Jalal Kawash	Bounds for Mutual Exclusion with only Processor Consistency.	DISC	2000	DBLP DOI BibTeX RDF
26	Khaled El Emam	The Internal Consistency of the ISO/IEC 15504 Software Process Capability Scale.	IEEE METRICS	1998	DBLP DOI BibTeX RDF
26	Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman	Consistency of Partial Process Specifications.	AMAST	1998	DBLP DOI BibTeX RDF
26	Jerry James, Ambuj K. Singh	Fault Tolerance Bounds for Memory Consistency.	WDAG	1997	DBLP DOI BibTeX RDF
26	Jerry James, Ambuj K. Singh	The Impact of Hardware Models on Shared Memory Consistency Conditions.	CONCUR	1996	DBLP DOI BibTeX RDF
26	Hagit Attiya, Jennifer L. Welch	Sequential Consistency versus Linearizability.	ACM Trans. Comput. Syst.	1994	DBLP DOI BibTeX RDF
26	James M. Conrad, Dennis R. Bahler, James Bowen	Static Parallel Arc Consistency in Constraint Satisfaction.	ISMIS	1991	DBLP DOI BibTeX RDF
26	Shensheng Zhao, Stewart N. T. Shen	The Consistency Problem of Knowledge Bases.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF
26	V. Srinivasan, Jeffrey C. Mogul	Spritely NFS: Experiments with Cache-Consistency Protocols.	SOSP	1989	DBLP DOI BibTeX RDF
26	Klaus R. Dittrich, Angelika M. Kotz, Jutta A. Mülle	An Event/Trigger Mechanism to Enforce Complex Consistency Constraints in Design Databases.	SIGMOD Rec.	1986	DBLP DOI BibTeX RDF
26	Eric A. Brewer	A certain freedom: thoughts on the CAP theorem.	PODC	2010	DBLP DOI BibTeX RDF	cap theorem
26	Jan Sablatnig, Jiehua Chen 0001, Ruedi Seiler, Sven Grottke, Andreas Köpke, Adam Wolisz	Adam A Testbed for Distributed Virtual Environments.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
26	Stefania Verachi, Steven D. Prestwich	Bounds-Consistent Local Search.	CP	2005	DBLP DOI BibTeX RDF
26	Gurdip Singh	Specifying Synchronization in Distributed Shared Memory Programs.	ICPP Workshops	2002	DBLP DOI BibTeX RDF
26	Jochen Malte Küster, Joachim Stroop	Consistent Design of Embedded Real-Time Systems with UML-RT.	ISORC	2001	DBLP DOI BibTeX RDF
26	Marc H. Graham, Moshe Y. Vardi	On the Complexity and Axiomatizability of Consistent Database States.	PODS	1984	DBLP DOI BibTeX RDF
26	Sanjiang Li	On Topological Consistency and Realization.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	Region Connection Calculus, RCC8 constraint language, Consistency, Qualitative spatial reasoning, Realization, Path-consistency
26	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
26	Audrey Dupont, Eric Alvernhe, Michel Vasquez	Efficient Filtering and Tabu Search on a Consistent Neighbourhood for the Frequency Assignment Problem with Polarisation.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	path-inverse-consistency, Consistent Neighbourhood, Tabu Search, arc-consistency, frequency assignment problem
26	Jae-Heung Yeo, Heon Young Yeom, Taesoon Park	An Asynchronous Protocol for Release Consistent Distributed Shared Memory Systems.	J. Supercomput.	2003	DBLP DOI BibTeX RDF	lazy release consistency, asynchronous release consistency, distributed shared memory, page fault
26	Michael Schrefl, Markus Stumptner	Behavior-consistent specialization of object life cycles.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	invocation consistency, observation consistency, refinement, Conceptual modeling, inheritance, extension, object behavior
26	Chanjung Park, Seog Park	A multiversion locking protocol for real-time databases with multilevel security.	RTCSA	1996	DBLP DOI BibTeX RDF	multiversion locking protocol, processes transactions, explicit timing constraints, logical data consistency, compatibility matrix, version selection algorithm, data integrity, timing constraints, multilevel security, real-time databases, temporal consistency
24	Alexandre Goldsztejn, Frédéric Goualard	Box consistency through adaptive shaving.	SAC	2010	DBLP DOI BibTeX RDF	constraint programming, local consistency, Newton method