9730 search results - page 244 / 1946 » Relating models of backtracking |
130
click to vote
RP
2009
Springer
15 years 11 months ago
2009
Springer
We describe the class of games with opacity condition, as an adequate model for security aspects of computing systems. We study their theoretical properties, relate them to reachab...
114
click to vote
ICMB
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper faults are processed and models of faults in telecommunications networks are proposed in relation to services and revenues. The probability of faults occurring is es...
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
We use a strong form of the tree model property to boost the performance of resolution-based first-order theorem provers on the so-called relational translations of modal formulas...
124
click to vote
OOIS
1997
Springer
15 years 8 months ago
1997
Springer
Subjects model di erent perspectives on a problem domain by collections of related class hierarchies. Subjects can be seen as the result of separate and possibly independent devel...
133
click to vote
CSREASAM
2006
15 years 5 months ago
2006
- In this paper, we propose a method to analyze the firewall policy or rule-set using Relational Algebra and Raining 2D-Box Model. It can discover all the anomalies in the firewall...