217 search results - page 3 / 44 » Conflict analysis |
ICCAD
1996
IEEE
13 years 11 months ago
1996
IEEE
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), an integrated algorithmic framework for SAT that unifies several previously proposed searchp...
POLICY
2005
Springer
14 years 1 months ago
2005
Springer
Policy-based management provides the ability to (re-)configure differentiated services networks so that desired Quality of Service (QoS) goals are achieved. Relevant configuration...
COMPSAC
2000
IEEE
13 years 12 months ago
2000
IEEE
Brewer and Nash, and immediately updated by this author, introduced Chinese Wall security policy models for commercial security. Applying Pawlak's idea of conflict analysis, ...
FLAIRS
2004
13 years 9 months ago
2004
There exists no methodical standard for conflict analysis in the selection of optimal rule refinements. Current rule base refinement systems select the best rule refinements out o...
ASPDAC
2007
ACM
13 years 11 months ago
2007
ACM
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...