86 search results - page 16 / 18 » Automatic Generation of Propagation Rules for Finite Domains |
VIZSEC
2004
Springer
14 years 24 days ago
2004
Springer
We describe a framework for managing network attack graph complexity through interactive visualization, which includes hierarchical aggregation of graph elements. Aggregation coll...
ICML
1996
IEEE
14 years 8 months ago
1996
IEEE
Generating good, production-quality plans is an essential element in transforming planners from research tools into real-world applications, but one that has been frequently overl...
NOMS
2006
IEEE
14 years 1 months ago
2006
IEEE
Grids are distributed infrastructures that have been used as an important and powerful resource for distributed computing. Since the nodes of a grid can potentially be located in ...
SACMAT
2010
ACM
14 years 8 days ago
2010
ACM
Policy authors typically reconcile several different mental models and goals, such as enabling collaboration, securing information, and conveying trust in colleagues. The data un...
EKAW
2006
Springer
13 years 11 months ago
2006
Springer
As new semantic web standards evolve to allow quantified rules in FOL, we need new ways to capture them from end users. We show how to do this against a graphic view of entities an...