86 search results - page 3 / 18 » Thorough Checking Revisited |
CPAIOR
2010
Springer
13 years 10 months ago
2010
Springer
MEMICS
2010
13 years 16 days ago
2010
ICALP
2007
Springer
13 years 12 months ago
2007
Springer
We revisit the problem of memory checking considered by Blum et al. [3]. In this model, a checker monitors the behavior of a data structure residing in unreliable memory given an a...
EDBTW
2006
Springer
13 years 9 months ago
2006
Springer
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...
DEXAW
2006
IEEE
13 years 11 months ago
2006
IEEE
Traditional methods for integrity checking in relational or deductive databases heavily rely on the assumption that data have integrity before the execution of updates. In this wa...