4209 search results - page 344 / 842 » Abstract Dialectical Frameworks |
201
Voted
SAMOS
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. In this work we present CoDeL (Controller Description Language), a framework for rapidly prototyping policy specific controllers for routers in interconnection networks....
180
click to vote
TAL
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. We define Probabilistic Constrained W-grammars (PCWgrammars), a two-level formalism capable of capturing grammatical frameworks used in two state of the art parsers, nam...
219
click to vote
WLP
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
174
click to vote
WLP
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of ...
225
click to vote
IRI
2003
IEEE
16 years 21 days ago
2003
IEEE
- Middleware technologies change so rapidly that designers must adapt existing software architectures to incorporate new emerging ones. This paper proposes tectural pattern and gui...