Sciweavers

4209 search results - page 193 / 842
» Abstract Dialectical Frameworks
Sort
View
AIPS
2008
15 years 8 months ago
Structural Patterns Heuristics via Fork Decomposition
We consider a generalization of the PDB homomorphism abstractions to what is called "structural patterns". The bais in abstracting the problem in hand into provably trac...
Michael Katz, Carmel Domshlak
OOPSLA
1995
Springer
15 years 10 months ago
How and Why to Encapsulate Class Trees
eusable framework, pattern or module interface usually is represented by abstract They form an abstract design and leave the implementation to concrete subclasses. ract design is ...
Dirk Riehle
CSFW
2012
IEEE
13 years 9 months ago
Gran: Model Checking Grsecurity RBAC Policies
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
Michele Bugliesi, Stefano Calzavara, Riccardo Foca...
SMC
2007
IEEE
16 years 22 days ago
Evaluation of representations in AI problem solving
Abstract – We formalize the concept of domain representation in artificial intelligence, and propose a framework for evaluating representation and comparing alternative represen...
Eugene Fink
APSEC
2000
IEEE
15 years 11 months ago
Platforms for agent-oriented software engineering
of modelling abstractions to map from items in the real-world to objects in the computational domain is oth for the effective implementation of abstract problem solutions and for ...
Mariusz Nowostawski, Geoff Bush, Martin K. Purvis,...