637 search results - page 44 / 128 » Inconsistency-Tolerant Integrity Checking |
110
click to vote
CISIS
2010
IEEE
15 years 8 months ago
2010
IEEE
— The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production aut...
113
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
133
click to vote
ENTCS
2006
15 years 2 months ago
2006
To broaden the scope of decision procedures for linear arithmetic, they have to be integrated into theorem provers. Successful approaches e.g. in NQTHM or ACL2 suggest a close int...
130
click to vote
PVLDB
2008
15 years 13 days ago
2008
Modern Internet communities need to integrate and query structured information. Employing current information integration infrastructure, data integration is still a very costly e...
108
click to vote
IJDST
2011
14 years 5 months ago
2011
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...