637 search results - page 55 / 128 » Inconsistency-Tolerant Integrity Checking |
159
Voted
ICOODB
2009
15 years 1 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
173
Voted
TOG
2012
13 years 6 months ago
2012
We introduce tailored displays that enhance visual acuity by decomposing virtual objects and placing the resulting anisotropic pieces into the subject’s focal range. The goal is...
244
Voted
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
The skyline operator returns from a set of multi-dimensional objects a subset of superior objects that are not dominated by others. This operation is considered very important in ...
162
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
137
Voted
HOST
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Rapid advances in integrated circuit (IC) development predicted by Moore’s Law lead to increasingly complex, hard to verify IC designs. Design insiders or adversaries ...