637 search results - page 43 / 128 » Inconsistency-Tolerant Integrity Checking |
151
click to vote
ESAW
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
156
click to vote
I3E
2001
15 years 3 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
ACSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Integrity measurement is a key issue in building trust in distributed systems. A good solution to integrity measurement has to provide both strong isolation between the ...
127
click to vote
APSEC
2006
IEEE
15 years 8 months ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...
100
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
We address the problem of minimal-change integrity maintenance in the context of integrity constraints in relational databases. We assume that integrity-restoration actions are li...