1353 search results - page 15 / 271 » Streamlined Constraint Reasoning |
174
click to vote
IFIP
2004
Springer
16 years 4 days 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...
150
click to vote
DLOG
2004
15 years 8 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...
140
Voted
AIIA
2007
Springer
16 years 29 days ago
2007
Springer
122
Voted
AIIA
2005
Springer
16 years 9 days ago
2005
Springer