4074 search results - page 436 / 815 » Abstract Graph Transformation |
167
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. We introduce a semi-automated proof system for basic category-theoretic reasoning. It is based on a first-order sequent calculus that captures the basic properties of cat...
172
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—With the wide support for serialization in objectoriented programming languages, persistent objects have become common place. Retrieving previously “persisted” objec...
164
click to vote
AUSAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper derives two new information theoretic linear regression criteria based on the minimum message length principle. Both criteria are invariant to full rank affine...
190
click to vote
ICWE
2009
Springer
16 years 1 months ago
2009
Springer
Model-driven engineering is a promising approach, but there are still many hurdles to overcome. The tool UWE4JSF solves the hurdles for the model-driven development of web applicat...
147
click to vote
MATES
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we describe the Agent World Editor, a tool for designing multi-agent systems and generating executable agent code. The tool also unifies the handling of different a...