637 search results - page 62 / 128 » Inconsistency-Tolerant Integrity Checking |
119
click to vote
IEEEARES
2006
IEEE
16 years 3 days ago
2006
IEEE
— The three traditional objectives of computer security are confidentiality, integrity and availability [8]. Availability can be defined as the prevention of denial of service. C...
145
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
The integration of constraint solvers into proof planning has pushed the problem solving horizon. Proof planning benefits from the general functionalities of a constraint solver s...
134
click to vote
OOIS
1997
Springer
15 years 10 months ago
1997
Springer
Viewpoints are re ections of software systems from multiple perspectives. A number of consistency conditions apply to viewpoints and developers require a tool for each type of vie...
151
click to vote
OOPSLA
1992
Springer
15 years 10 months ago
1992
Springer
CACL is a protection scheme for objects that offers a simple and flexible model of protection and has an efficient, software-only implementation. The model, based on Access Contro...
175
click to vote
WSC
2007
15 years 8 months ago
2007
Using models in different contexts poses major integration challenges, ranging from technical to conceptual levels. Independently of each other developed model components cannot b...