Search results for "data integrity constraints"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Frédéric Gervais, Marc Frappier, Régine Laleau	Refinement of eb3 Process Patterns into B Specifications.	B	2007	DBLP DOI BibTeX RDF	data integrity constraints, eb3, process expressions, Information systems, refinement
2	Frédéric Gervais, Marc Frappier, Régine Laleau	Synthesizing B Specifications from EB3 Attribute Definitions.	IFM	2005	DBLP DOI BibTeX RDF	data integrity constraints, Information systems, pattern matching, attributes, B, recursive functions
1	Arjun Dasgupta, Vivek R. Narasayya, Manoj Syamala	A Static Analysis Framework for Database Applications.	ICDE	2009	DBLP DOI BibTeX RDF
1	Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu	Model-Checking the Linux Virtual File System.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Michael Huth, Orna Grumberg	Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification.	STTT	2009	DBLP DOI BibTeX RDF	Bounded reachability, Bit-vector arithmetic, Abstraction, Asynchronous systems, Decision diagrams, Memory models, Decision problems
1	Sukhamay Kundu	Using data-integrity constraints in model-based design.	SEDE	2007	DBLP BibTeX RDF
1	Johannes Osrael, Lorenz Froihofer, Norbert Chlaupek, Karl M. Goeschka	Availability and Performance of the Adaptive Voting Replication.	ARES	2007	DBLP DOI BibTeX RDF
1	Johannes Osrael, Lorenz Froihofer, Karl M. Göschka	Availability/Consistency Balancing Replication Model.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Lorenz Froihofer, Karl M. Goeschka, Johannes Osrael	Middleware Support for Adaptive Dependability.	Middleware	2007	DBLP DOI BibTeX RDF	constraint consistency, adaptivity, Middleware, dependability, replication, inconsistency
1	Rik Eshuis	Symbolic model checking of UML activity diagrams.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	Model checking, Unified Modeling Language, activity diagrams
1	Lorenz Froihofer, Johannes Osrael, Karl M. Göschka	Trading Integrity for Availability by Means of Explicit Runtime Constraints.	COMPSAC	2006	DBLP DOI BibTeX RDF
1	Johannes Osrael, Lorenz Froihofer, Matthias Gladt, Karl M. Göschka	Adaptive Voting for Balancing Data Integrity with Availability.	OTM Workshops	2006	DBLP DOI BibTeX RDF
1	Benoît Fraikin, Marc Frappier, Régine Laleau	State-based versus event-based specifications for information systems: a comparison of B and eb3.	Software and System Modeling	2005	DBLP DOI BibTeX RDF	State-based paradigm, Event-based paradigm, eb3, Formal specification, Information system, Process algebra, B
1	Sophie Cockcroft	The Design and Implementation of a Repository for the Management of Spatial Data Integrity Constraints.	GeoInformatica	2004	DBLP DOI BibTeX RDF	spatial data quality, user interface, repository, business rules, system development, database constraints
1	Ahmad Alsaadi	A performance analysis approach based on the UML class diagram.	WOSP	2004	DBLP DOI BibTeX RDF	QN performance model, data integrity constraints, data integrity model, performance values, UML class diagram
1	Michael Benedikt, Glenn Bruns	On Guard: Producing Run-Time Checks from Integrity Constraints.	AMAST	2004	DBLP DOI BibTeX RDF
1	Karla A. V. Borges, Alberto H. F. Laender, Clodoveu A. Davis	Spatial Data Integrity Constraints in Object Oriented Geographic Data Modeling.	ACM-GIS	1999	DBLP DOI BibTeX RDF	geographic data modeling, conceptual modeling
1	Sophie Cockcroft	A Taxonomy of Spatial Data Integrity Constraints.	GeoInformatica	1997	DBLP DOI BibTeX RDF
1	Hee Beng Kuan Tan, Tok Wang Ling	Recovery of Functional Dependencies from Data-Intensive Business Programs.	HICSS	1997	DBLP DOI BibTeX RDF
1	Paul Ammann, Sushil Jajodia, Catherine D. McCollum, Barbara T. Blaustein	Surviving information warfare attacks on databases.	IEEE Symposium on Security and Privacy	1997	DBLP DOI BibTeX RDF	information warfare attack survival, fault tolerance approach, damaged data, partially repaired data, snapshot algorithm, damage markings, consistency preserving normal transactions, countermeasure transactions, databases, protocol, security of data, integrity constraints, data security, database consistency
1	Lyman Do, Pamela Drew	Active Database Management of Global Data Integrity Constraints in Heterogeneous Database Environments.	ICDE	1995	DBLP DOI BibTeX RDF
1	Mary E. S. Loomis	The 78 CODASYL Database Model: A Comparison with Preceding Specifications.	SIGMOD Conference	1980	DBLP DOI BibTeX RDF	DBTG, data storage description language, database management system, data independence, database model, CODASYL, data definition language