Sciweavers

1643 search results - page 1 / 329
» Consistability: Describing Usually Consistent Systems
Sort
View
HOTDEP
2008
113views Hardware» more  HOTDEP 2008»
13 years 7 months ago
Consistability: Describing Usually Consistent Systems
Current weak consistency semantics provide worst-case guarantees to clients. These guarantees fail to adequately describe systems that provide varying levels of consistency in the...
Amitanand S. Aiyer, Eric Anderson, Xiaozhou Li, Me...
DKE
2010
167views more  DKE 2010»
13 years 4 months ago
The consistency extractor system: Answer set programs for consistent query answering in databases
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
Mónica Caniupán Marileo, Leopoldo E....
ECMDAFA
2006
Springer
166views Hardware» more  ECMDAFA 2006»
13 years 8 months ago
Dynamic Logic Semantics for UML Consistency
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
Greg O'Keefe
IGIS
1994
118views GIS» more  IGIS 1994»
13 years 8 months ago
Surface Modelling with Guaranteed Consistency - An Object-Based Approach
There have been many interpolation methods developed over the years, each with their own problems. One of the biggest limitations in many applications is the non-correspondence of...
Christopher M. Gold, Thomas Roos
VLDB
1990
ACM
116views Database» more  VLDB 1990»
13 years 8 months ago
Triggered Real-Time Databases with Consistency Constraints
Real-time database systems incorporate the notion of a deadline into the database system model. USUally, deadlines are associated with transactions, and the system attempts to exe...
Henry F. Korth, Nandit Soparkar, Abraham Silbersch...