637 search results - page 62 / 128 » Inconsistency-Tolerant Integrity Checking |
91
Voted
IEEEARES
2006
IEEE
15 years 9 months 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...
118
Voted
ECAI
2000
Springer
15 years 8 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...
112
Voted
OOIS
1997
Springer
15 years 7 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...
126
Voted
OOPSLA
1992
Springer
15 years 7 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...
146
Voted
WSC
2007
15 years 6 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...