1353 search results - page 15 / 271 » Streamlined Constraint Reasoning |
IFIP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract The security of a network configuration is based not just on the security of its individual components and their direct interconnections, but also on the potential for sy...
DLOG
2004
14 years 11 months ago
2004
We show how a tableaux algorithm for SHIQ can be extended to support role boxes that include range and domain axioms, prove that the extended algorithm is still a decision procedur...
AIIA
2007
Springer
15 years 3 months ago
2007
Springer
APLAS
2006
ACM
15 years 3 months ago
2006
ACM
57
Voted
AIIA
2005
Springer
15 years 3 months ago
2005
Springer