4209 search results - page 286 / 842 » Abstract Dialectical Frameworks |
188
Voted
DIGRA
2005
Springer
16 years 4 days ago
2005
Springer
The Game Ontology Project (GOP) is creating a framework for describing, analyzing and games, by defining a hierarchy of concepts abstracted from an analysis of many specific games...
132
click to vote
ECOOP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Dependency injection is a hot topic among industrial developers using component frameworks. This paper first mentions that dependency injection and aspect-oriented progr...
124
click to vote
ICARIS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. This paper presents an immune-inspired adaptable error detection (AED) framework for Automated Teller Machines (ATMs). This framework two levels, one level is local to a ...
208
click to vote
ICLP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
153
click to vote
ITRUST
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Logic languages establish a formal framework to solve authorization and delegation conflicts. However, we consider that a visual representation is necessary since graphs...