1353 search results - page 15 / 271 » Streamlined Constraint Reasoning |
IFIP
2004
Springer
14 years 1 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
13 years 9 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
14 years 1 months ago
2007
Springer
APLAS
2006
ACM
14 years 1 months ago
2006
ACM
AIIA
2005
Springer
14 years 1 months ago
2005
Springer