4209 search results - page 511 / 842 » Abstract Dialectical Frameworks |
168
Voted
FASE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
124
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields a...
121
click to vote
DGCI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The notion of skeleton plays a major role in shape analysis. Some usually desirable characteristics of a skeleton are: sufficient for the reconstruction of the original o...
154
click to vote
DSOM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The goal of ontology-based management is to improve the manageability of network resources through the application of formal ontologies. Prior research work has studied t...
144
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Game theory is a widely used formal model for studying strategical interactions between agents. Boolean games [8] are two players, zero-sum static games where players...