Search results for "consistency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	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
24	Yehuda Afek, Adam Morrison 0001, Moran Tzafrir	Brief announcement: view transactions: transactional model with relaxed consistency checks.	PODC	2010	DBLP DOI BibTeX RDF	relaxed consistency checks, transactional memory, opacity
24	Alan Kenny, Seamus C. 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
24	Azlan B. Ismail, Jun Yan 0005, Jun Shen 0001	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
24	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
24	Toshihiro Matsui, Marius-Calin Silaghi, Katsutoshi Hirayama, Makoto Yokoo, Hiroshi Matsuo	Directed soft arc consistency in pseudo trees.	AAMAS (2)	2009	DBLP BibTeX RDF	distributed constraint optimization problem, soft arc consistency, multi-agent systems, constraint reasoning
24	Ho-Won Jung, Dennis R. Goldenson	The internal consistency and precedence of key process areas in the capability maturity model for software.	Empir. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Cronbach’s alpha, Convergent and discriminant validities, Internal consistency, SW-CMM, Factor analysis, Partial least squares, Dimensionality
24	Du Li, Rui Li 0018	An Approach to Ensuring Consistency in Peer-to-Peer Real-Time Group Editors.	Comput. Support. Cooperative Work.	2008	DBLP DOI BibTeX RDF	computer-supported cooperative work, groupware, operational transformation, consistency maintenance, group editing
24	Ming Xiong, Qiong Wang, Krithi Ramamritham	On earliest deadline first scheduling for temporal consistency maintenance.	Real Time Syst.	2008	DBLP DOI BibTeX RDF	Earliest deadline first, Real-time databases, Temporal consistency
24	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
24	Martin C. Cooper	Minimization of Locally Defined Submodular Functions by Optimal Soft Arc Consistency.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Valued constraint satisfaction problem, Majority operation, Optimal soft arc consistency, Linear programming, Soft constraints, Discrete optimization, Submodularity
24	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
24	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
24	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
24	Masakazu Takahashi, Satoru Takahashi, Yoshikatsu Fujita	A Method for Ensuring Consistency of Software Design Information in Retrospective Computer Validation.	KES (2)	2008	DBLP DOI BibTeX RDF	Retrospective Computer Validation, Pharmaceutical Production System, Design Information Database, Consistency
24	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
24	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
24	Lian Yu, Shuang Su, Shan Luo, Yu Su 0007	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
24	Simon M. Becker, Sebastian Herold, Sebastian Lohmann, Bernhard Westfechtel	A graph-based algorithm for consistency maintenance in incremental and interactive integration tools.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF	Incremental consistency maintenance, Graph transformation, Triple graph grammars
24	Jiannong Cao 0001, Yang Zhang 0017, Guohong Cao, Li Xie 0001	Data Consistency for Cooperative Caching in Mobile Environments.	Computer	2007	DBLP DOI BibTeX RDF	cache consistency protocol, mobile computing, data management
24	Fathi Taibi, Jacob Karikottu Daniel, Fouad Mohammed Abbou	On checking the consistency of Object-Z classes.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	model checking, formal specification, consistency, Object-Z, specification testing, model abstraction
24	Daniel Gâinâ, Andrei Popescu 0001	An Institution-Independent Proof of the Robinson Consistency Theorem.	Stud Logica	2007	DBLP DOI BibTeX RDF	Robinson consistency, elementary diagram, many-sorted first-order logic, institution, Craig interpolation
24	Ahamed AlTaboli, Mohammad Raafat Abou-Zeid	Effect of Physical Consistency of Web Interface Design on Users' Performance and Satisfaction.	HCI (4)	2007	DBLP DOI BibTeX RDF	Consistency of Web interfaces, performance and satisfaction
24	Yohei Sawai, Masako Shinohara, Akimitsu Kanzaki, Takahiro Hara, Shojiro Nishio	Quorum-based consistency management among replicas in ad hoc networks with data update.	SAC	2007	DBLP DOI BibTeX RDF	quorum-based consistency, ad hoc networks, flooding
24	Liping Gao, Ning Gu	Preserving Consistency Based on Wall-Time Precedence in P2P DVEs.	CIT	2007	DBLP DOI BibTeX RDF	Status- Retrace, wall-time precedence, consistency maintenance, DVEs
24	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
24	Xi Bai 0002, 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
24	Ahlem Ben Hassine, Tu Bao Ho, Takayuki Ito 0001	Meetings scheduling solver enhancement with local consistency reinforcement.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Meeting scheduling problems, Valued distributed constraint satisfaction problems, Local consistency enforcement, Multi-agent system
24	Xiangpeng Zhao, Quan Long, Zongyan Qiu	Model Checking Dynamic UML Consistency.	ICFEM	2006	DBLP DOI BibTeX RDF	Simulation, Algorithm, Model Checking, UML, Semantics, Consistency
24	Hugues Malgouyres, Gilles Motet	A UML model consistency verification approach based on meta-modeling formalization.	SAC	2006	DBLP DOI BibTeX RDF	UML verification, consistency rules, meta-modeling, constraint logic programming
24	Olena Medelyan, Ian H. Witten	Measuring inter-indexer consistency using a thesaurus.	JCDL	2006	DBLP DOI BibTeX RDF	controlled indexing, inter-indexer consistency
24	Lisa Higham, LillAnne Jackson, Jalal Kawash	Programmer-Centric Conditions for Itanium Memory Consistency.	ICDCN	2006	DBLP DOI BibTeX RDF	Programmer-centric memory consistency, Itanium multiprocessor
24	Lisa Higham, LillAnne Jackson, Jalal Kawash	Capturing Register and Control Dependence in Memory Consistency Models with Applications to the Itanium Architecture.	DISC	2006	DBLP DOI BibTeX RDF	Multiprocessor memory consistency, register and control dependency, process coordination, Itanium
24	Kai Richter, Jeffrey Nichols 0001, Krzysztof Gajos, Ahmed Seffah	The many faces of consistency in cross-platform design.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	cross-platform design, multi-device, classification, consistency, user interface design
24	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
24	Yin Hua Li, Hye-Young Paik, Boualem Benatallah	Formal consistency verification between BPEL process and privacy policy.	PST	2006	DBLP DOI BibTeX RDF	consistency verification, business process, graph transformation, privacy policy
24	Michaël Goffioul, Gerd Vandersteen, Joris Van Driessche, Björn Debaillie, Boris Come	Ensuring consistency during front-end design using an object-oriented interfacing tool called NETLISP.	DAC	2006	DBLP DOI BibTeX RDF	object-oriented design, design flow, front-end, model consistency
24	Takahiro Yasui, Yutaka Ishibashi, Tomohito Ikedo	Influences of network latency and packet loss on consistency in networked racing games.	NETGAMES	2005	DBLP DOI BibTeX RDF	causality control, networked racing game, fairness, consistency, dead-reckoning
24	Angie Chandler, Joe Finney	On the effects of loose causal consistency in mobile multiplayer games.	NETGAMES	2005	DBLP DOI BibTeX RDF	relevance filtering, collaborative, mobile, peer to peer, real-time, gaming, wireless, latency, consistency management, multiplayer
24	Dieu Donné Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquières	Consistency in UML and B Multi-view Specifications.	IFM	2005	DBLP DOI BibTeX RDF	UML, verification, consistency, operator, B, multi-view
24	Suiping Zhou, Wentong Cai 0001, Bu-Sung Lee, Stephen John Turner	Time-space consistency in large-scale distributed virtual environments.	ACM Trans. Model. Comput. Simul.	2004	DBLP DOI BibTeX RDF	dead reckoning algorithm, Consistency, distributed virtual environments
24	Peter Tabeling	Architectural Description with Integrated Data Consistency Models.	ECBS	2004	DBLP DOI BibTeX RDF	Fundamental Modeling Concepts, Software Architecture, Transaction, Data Consistency, Snapshot, STAGE, FMC
24	Frederick W. B. Li, Lewis W. F. Li, Rynson W. H. Lau	Supporting continuous consistency in multiplayer online games.	ACM Multimedia	2004	DBLP DOI BibTeX RDF	distributed virtual environments, consistency control, distributed synchronization, collaborative gaming
24	Ben Kao, Kam-yiu Lam, Brad Adelberg, Reynold Cheng, Tony S. H. Lee	Maintaining Temporal Consistency of Discrete Objects in Soft Real-Time Database Systems.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Updates, view maintenance, real-time database, temporal consistency, transaction scheduling
24	Nguyen Tran Sy, Yves Deville	Consistency techniques for interprocedural test data generation.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	software testing, consistency, constraint satisfaction, arrays, test data generation, procedures
24	Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy	A Hierarchy of Conditions for Asynchronous Interactive Consistency.	PaCT	2003	DBLP DOI BibTeX RDF	Erroneous Value, Fault-Tolerance, Error-Correcting Code, Hamming Distance, Condition, Crash Failure, Atomic Register, Interactive Consistency, Asynchronous Shared Memory System
24	Malek Mouhoub	Arc Consistency for Dynamic CSPs.	KES	2003	DBLP DOI BibTeX RDF	Dynamic Arc Consistency, Search, Constraint Satisfaction
24	Jesse D. Bingham, Anne Condon, Alan J. Hu	Toward a decidable notion of sequential consistency.	SPAA	2003	DBLP DOI BibTeX RDF	shared memory systems, memory model, sequential consistency
24	Farid Meziane, Yacine Rezgui	A Method for Maintaining Document Consistency Based on Similarity Contents.	NLDB	2002	DBLP DOI BibTeX RDF	Document Consistency, Ontology, Document indexation
24	Prateek Sarkar, George Nagy	Style-Consistency in Isogenous Patterns.	ICDAR	2001	DBLP DOI BibTeX RDF	style consistency, style-conscious classification, isogenous patterns, field classification, mixture models, Style
24	Hideaki Hirayama, Hiroki Honda, Toshitsugu Yuba	Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed Computing.	ICECCS	2000	DBLP DOI BibTeX RDF	scalable data mining, log based consistency DSM, Web based online distributed database mining, research problem, data mining techniques, scalable data mining problem, performance evaluation results, scalable data mining programs, association rule based data mining programs, count-up operations, LBC mechanism, count-up operation logs, multiple nodes, data mining, distributed shared memory, high performance distributed computing, software DSM, parallel computing environments
24	Rob Gerth	Sequential Consistency and the Lazy Caching Algorithm.	Distributed Comput.	1999	DBLP DOI BibTeX RDF	Weak memory models, Parallel program verification, Cache coherency, Sequential consistency
24	Lisa Higham, Jalal Kawash	Java: Memory Consistency and Process Coordination.	DISC	1998	DBLP DOI BibTeX RDF	process coordination, critical section problem, producer/consumer problem, non-terminating systems, Java, Java Virtual Machine, memory consistency models
24	Rohit Mahajan, Ben Shneiderman	Visual and Textual Consistency Checking Tools for Graphical User Interfaces.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	textual and visual style, metrics, Graphical User Interfaces, consistency, evaluation tools, assessment tools
24	Bradley R. Schmerl, Chris D. Marlin	Consistency Issues in Partially Bound Dynamically Composed Systems.	Australian Software Engineering Conference	1996	DBLP DOI BibTeX RDF	Dynamically Composed Systems, Consistency, Configuration Management
24	Pamela Drew, Calton Pu	Asynchronous consistency restoration under epsilon serializability.	HICSS (2)	1995	DBLP DOI BibTeX RDF	consistency restoration, epsilon serializability, data inconsistency, data integrity, concurrency control, object-oriented databases, inconsistency, concurrent processing
24	Daniel H. Linder, James C. Harden	Access Graphs: A Model for Investigating Memory Consistency.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	access pipelining, synchronization, caches, computer architecture, computer architectures, synchronisation, shared memory systems, memory consistency, massively parallel systems
24	Yingfei Xiong 0001, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei 0001	Supporting automatic model inconsistency fixing.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	beanbag, inconsistency fixing, ocl, model consistency
24	Rosa Iglesias, Sara Casado, Teresa Gutiérrez, Alejandro García-Alonso, Wai Yu, Alan Marshall 0001	Simultaneous remote haptic collaboration for assembling tasks.	Multim. Syst.	2008	DBLP DOI BibTeX RDF	Assembly simulation, Peer-to-peer, Consistency, Collaborative virtual environment, Haptic feedback
24	George A. Mihaila, Ioana Stanoi, Christian A. Lang	Anomaly-free incremental output in stream processing.	CIKM	2008	DBLP DOI BibTeX RDF	consistency, stream processing
24	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
24	Vincent Gramoli, Emmanuelle Anceaume, Antonino Virgillito	SQUARE: scalable quorum-based atomic memory with local reconfiguration.	SAC	2007	DBLP DOI BibTeX RDF	dynamic distributed systems, simulation, adaptiveness, scalability, performance analysis, consistency
24	Adam J. Lee, Kazuhiro Minami, Marianne Winslett	Lightweight cnsistency enforcement schemes for distributed proofs with hidden subtrees.	SACMAT	2007	DBLP DOI BibTeX RDF	distributed proving, pervasive computing, consistency
24	Thomas F. Wenisch, Anastassia Ailamaki, Babak Falsafi, Andreas Moshovos	Mechanisms for store-wait-free multiprocessors.	ISCA	2007	DBLP DOI BibTeX RDF	store buffer design, memory consistency models
24	Mahadevan Subramaniam, Zoltán Pap	Analyzing the Impact of Protocol Changes on Tests.	TestCom	2006	DBLP DOI BibTeX RDF	test consistency, protocol, evolution, Changes, communicating finite state machines
24	Zhen Yang, Huadong Ma	Providing Consistent Service for Structured P2P Streaming System.	PCM	2006	DBLP DOI BibTeX RDF	service consistency, peer-to-peer, streaming system
24	Stefan Brass, Christian Goldberg	Proving the Safety of SQL Queries.	QSIC	2005	DBLP DOI BibTeX RDF	Runtime Errors, SQL, Consistency
24	Simon S. Lam, Huaiyu Liu	Failure recovery for structured P2P networks: protocol design and performance evaluation.	SIGMETRICS	2004	DBLP DOI BibTeX RDF	hypercube routing, k-consistency, sustainable churn rate, peer-to-peer networks, failure recovery
24	Roy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal	Distributed Agreement and Its Relation with Error-Correcting Codes.	DISC	2002	DBLP DOI BibTeX RDF	Erroneous Value, Fault-Tolerance, Distributed Computing, Error-Correcting Code, Consensus, Hamming Distance, Asynchronous Distributed System, Condition, Crash Failure, Code Theory, Interactive Consistency
24	Vijaykumar Krishnaswamy, Ivan B. Ganev, Jaideep M. Dharap, Mustaque Ahamad	Distributed Object Implementations for Interactive Applications.	Middleware	2000	DBLP DOI BibTeX RDF	Remote Method Invocation(RMI), Quality of Service, Caching, Timeliness, Consistency Protocols
24	Junho Shim, Peter Scheuermann, Radek Vingralek	Proxy Cache Algorithms: Design, Implementation, and Performance.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	World Wide Web, caching, Proxy, cache replacement, cache consistency
24	Pierfrancesco Fusaro, Khaled El Emam, Bob Smith	The Internal Consistencies of the 1987 SEI Maturity Questionnaire and the SPICE Capability Dimension.	Empir. Softw. Eng.	1998	DBLP DOI BibTeX RDF	measurement reliability, internal consistency, organizational maturity, process assessment, process capability
24	Chengzheng Sun, Xiaohua Jia, Yanchun Zhang, Yun Yang, David Chen 0002	Achieving Convergence, Causality Preservation, and Intention Preservation in Real-Time Cooperative Editing Systems.	ACM Trans. Comput. Hum. Interact.	1998	DBLP DOI BibTeX RDF	causality preservation, cooperative editing, computer-supported cooperative work, convergence, REDUCE, operational transformation, consistency maintenance, intention preservation, groupware systems
24	Jerzy Brzezinski, Dariusz Wawrzyniak	Multi-Criterion Coherence Protocol for Distributed Shared Memory.	FTDCS	1997	DBLP DOI BibTeX RDF	distributed shared memory, coherence protocols, consistency models
24	Robert D. Blumofe, Matteo Frigo, Christopher F. Joerg, Charles E. Leiserson, Keith H. Randall	Dag-Consistent Distributed Shared Memory.	IPPS	1996	DBLP DOI BibTeX RDF	dag consistency, cactus stack, multithreading, distributed shared memory, dynamic scheduling, memory model, page faults
23	Adriana Szekeres, Irene Zhang	Making consistency more consistent: a unified model for coherence, consistency and isolation.	PaPoC@EuroSys	2018	DBLP DOI BibTeX RDF
23	Tim Coppieters, Wolfgang De Meuter, Sebastian Burckhardt	Serializable eventual consistency: consistency through object method replay.	PaPoC@EuroSys	2016	DBLP DOI BibTeX RDF
23	Theo S. H. Driessen, Cheng-Cheng Hu	A note on equivalence of consistency and bilateral consistency through converse consistency.	Games Econ. Behav.	2009	DBLP DOI BibTeX RDF
23	Qun Li, Hua Ji, Li Xie	Group Consistency Model Which Separates the Intra-Group Consistency Maintenance from the Inter-group Consistency Maintenance in Large Scale DSM Systems.	ACM SIGOPS Oper. Syst. Rev.	1997	DBLP DOI BibTeX RDF
23	Liviu Iftode, Jaswinder Pal Singh, Kai Li 0001	Scope Consistency: A Bridge Between Release Consistency and Entry Consistency.	SPAA	1996	DBLP DOI BibTeX RDF
23	Albert Meixner, Daniel J. Sorin	Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures.	IEEE Trans. Dependable Secur. Comput.	2009	DBLP DOI BibTeX RDF
23	José Maria Monteiro, Angelo Brayner, Sérgio Lifschitz	Using transaction isolation levels for ensuring replicated database consistency in mobile computing environments.	MobiDE	2009	DBLP DOI BibTeX RDF	mobile computing, concurrency control, data replication
23	Jéferson Campos Nobre, Lisandro Zambenedetti Granville	Consistency of States of Management Data in P2P-Based Autonomic Network Management.	DSOM	2009	DBLP DOI BibTeX RDF
23	Kilho Shin, Xian Ming Xu	Consistency-Based Feature Selection.	KES (1)	2009	DBLP DOI BibTeX RDF
23	Haewoon Kwak, Yoonchan Choi, Young-Ho Eom, Hawoong Jeong, Sue B. Moon	Mining communities in networks: a solution for consistency and its evaluation.	Internet Measurement Conference	2009	DBLP DOI BibTeX RDF	as graph, cnm, consistent community identification, louvain, wakita, community, social networks, modularity
23	Zhe Chen 0011, Gilles Motet	A Language-Theoretic View on Guidelines and Consistency Rules of UML.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
23	Ayon Basumallik, Rudolf Eigenmann	Incorporation of OpenMP Memory Consistency into Conventional Dataflow Analysis.	IWOMP	2008	DBLP DOI BibTeX RDF
23	David Lesaint, Deepak Mehta 0001, Barry O'Sullivan, Luis Quesada 0001, Nic Wilson	Consistency Techniques for Finding an Optimal Relaxation of a Feature Subscription.	ICTAI (1)	2008	DBLP DOI BibTeX RDF
23	Christoph Lofi, Wolf-Tilo Balke, Ulrich Güntzer	Efficiently performing consistency checks for multi-dimensional preference trade-offs.	RCIS	2008	DBLP DOI BibTeX RDF
23	Haiyang Sun, Jian Yang 0001	Enforcing Business Collaboration Consistency in Business Transaction Net.	CEC/EEE	2008	DBLP DOI BibTeX RDF
23	Mahadevan Subramaniam, Parvathi Chundi, Harvey P. Siy	Aggregating changes to efficiently check consistency.	IWPSE	2007	DBLP DOI BibTeX RDF
23	Tonny Kurniadi Satyananda, Danhyung Lee, Sungwon Kang	Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line.	ICSEA	2007	DBLP DOI BibTeX RDF
23	Sapna P. G., Hrushikesha Mohanty	Ensuring Consistency in Relational Repository of UML Models.	ICIT	2007	DBLP DOI BibTeX RDF
23	Jan Willem van den Brand, Marco Bekooij	Streaming consistency: a model for efficient MPSoC design.	DSD	2007	DBLP DOI BibTeX RDF
23	Albert Atserias, Andrei A. Bulatov, Víctor Dalmau	On the Power of k -Consistency.	ICALP	2007	DBLP DOI BibTeX RDF
23	Kouichi Ono, Yuichi Nakamura 0003, Fumiko Satoh, Takaaki Tateishi	Verifying the Consistency of Security Policies by Abstracting into Security Types.	ICWS	2007	DBLP DOI BibTeX RDF
23	Gero Decker, Mathias Weske	Behavioral Consistency for B2B Process Integration.	CAiSE	2007	DBLP DOI BibTeX RDF
23	Zhenyu Li 0001, Gaogang Xie, Zhongcheng Li	Locality-Aware Consistency Maintenance for Heterogeneous P2P Systems.	IPDPS	2007	DBLP DOI BibTeX RDF
23	Rajesh K. Thiagarajan, Markus Stumptner	Service Composition with Consistency-Based Matchmaking: A CSP-Based Approach.	ECOWS	2007	DBLP DOI BibTeX RDF
23	Lihi Zelnik-Manor, Moshe Machline, Michal Irani	Multi-body Factorization with Uncertainty: Revisiting Motion Consistency.	Int. J. Comput. Vis.	2006	DBLP DOI BibTeX RDF	multi-body factorization, dense segmentation, directional uncertainty