4209 search results - page 210 / 842 » Abstract Dialectical Frameworks |
177
click to vote
AMAST
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
193
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...
167
click to vote
AGP
1995
IEEE
15 years 10 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
152
click to vote
MKWI
2008
15 years 8 months ago
2008
: Multi-Agent systems follow a highly abstract programming paradigm. of this abstraction level, behaviours of the participants are not always clearly reproducible for humans. In th...
200
click to vote
CORR
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. The Eclipse Graphical Modeling (GMF) Framework provides the major approach for implementing visual languages on top of the Eclipse platform. GMF relies on a family of mod...