103 search results - page 7 / 21 » Checking Violation Tolerance of Approaches to Database Integ... |
PRDC
1999
IEEE
13 years 11 months ago
1999
IEEE
Generally, applications employing Database Management Systems (DBMS) require that the integrity of the data stored in the database be preserved during normal operation as well as ...
SAFECOMP
2007
Springer
14 years 1 months ago
2007
Springer
In existing security model-checkers the intruder’s behavior is defined as a message deducibility rule base governing use of eavesdropped information, with the aim to find out a m...
ISCA
2006
IEEE
14 years 1 months ago
2006
IEEE
Thread-level speculation (TLS) has proven to be a promising method of extracting parallelism from both integer and scientific workloads, targeting speculative threads that range ...
TGC
2005
Springer
14 years 1 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
AI
2007
Springer
13 years 7 months ago
2007
Springer
Traditionally, consistency is the only criterion for the quality of a theory in logicbased approaches to reasoning about actions. This work goes beyond that and contributes to the...