Search results for "consistency preservation"

Found 17 publication records. Showing 17 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2		Consistency Preservation.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
1	Chessman K. F. Corrêa	Towards automatic consistency preservation for model-driven software product lines.	SPLC Workshops	2011	DBLP DOI BibTeX RDF
1	Guillaume Aucher	Consistency Preservation and Crazy Formulas in BMS.	JELIA	2008	DBLP DOI BibTeX RDF
1	Najla Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira	Towards modelling and analysis of a coordination protocol for dynamic software adaptation.	CSTST	2008	DBLP DOI BibTeX RDF	consistency preservation, coordination protocol, modelling, analysis, self-adaptation, adaptation process
1	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
1	Daniel Lehmann	Connectives in Cumulative Logics.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
1	Adam J. Lee, Marianne Winslett	Safety and consistency in policy-based authorization systems.	ACM Conference on Computer and Communications Security	2006	DBLP DOI BibTeX RDF	distributed proving, consistency, credentials, trust negotiation
1	Haishui Xu, Xiufen Fu, Shixian Li	An Approach to Consistency Maintenance Based on Intention Context of Real-Time Group Editing Systems.	CSCWD	2006	DBLP DOI BibTeX RDF
1	Mohua Banerjee	Rough Belief Change.	T. Rough Sets	2006	DBLP DOI BibTeX RDF
1	Anthony Cleve, Jean-Luc Hainaut	Co-transformations in Database Applications Evolution.	GTTSE	2005	DBLP DOI BibTeX RDF
1	Baisheng Shi, Zongtian Liu, Yuqing Wang, Hong Yu, Meili Huang	The Lattice Approach to Ontology Language Interoperability.	CIT	2004	DBLP DOI BibTeX RDF
1	Mohua Banerjee	Rough Truth, Consequence, Consistency and Belief Revision.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF
1	Ragnhild Van Der Straeten, Viviane Jonckers, Tom Mens	Supporting Model Refactorings Through Behaviour Inheritance Consistencies.	UML	2004	DBLP DOI BibTeX RDF
1	Marcus Costa Sampaio, Stéphane Turc	Cooperative Transactions: A Data-Driven Approach. (PDF / PS)	HICSS	1996	DBLP DOI BibTeX RDF	Cooperative transactions, cooperative atomicity, fault tolerance, distributed systems, concurrency control, persistency, nested transactions, correctness criteria
1	Cees Witteveen, Wiebe van der Hoek	Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming.	ELP	1996	DBLP DOI BibTeX RDF
1	Mads Nygård, Sintef Delab	Article-Acquisition: A Scenario for Non-Serializability in a Distributed Database.	PARLE	1993	DBLP DOI BibTeX RDF
1	Marco A. Casanova, Antonio L. Furtado, Luiz Tucherman	A Software Tool for Modular Database Design.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	consistency preservation, logical database design, module constructors, abstract data types, integrity constraints, encapsulation, modular design