1724 search results - page 296 / 345 » Abstract Interpreters for Free |
144
click to vote
SLP
1993
15 years 6 months ago
1993
In this paper we describe a method of programspecialisation and give an extended example of its application to specialisation of a refutation proof procedure for rst order logic. ...
139
click to vote
COLING
1992
15 years 6 months ago
1992
he more abstract term "relational morphology" in place of tile usual "two-level morphology" in order to emphasize an aspect of Koskenniemi's work which ha...
145
click to vote
VVEIS
2007
15 years 6 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
177
click to vote
CAISE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract As service-based Internet systems get increasingly complex they become harder to manage at design time as well as at runtime. Nowadays, many systems are described in terms...
152
click to vote
CCIA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This paper presents J-MADeM, a new market-based multi-agent approach devoted to perform social simulations with BDI agents. J-MADeM is available as an open-source library...