DAGSTUHL
2003
13 years 6 months ago
2003
DAGSTUHL
2003
13 years 6 months ago
2003
In this contribution we consider the idea that successful evolutionary design is best achieved in a networked system. We exemplify this thought by a discussion of artificial regula...
DAGSTUHL
2003
13 years 6 months ago
2003
We embodied networks of cultured biological neurons in simulation and in robotics. This is a new research paradigm to study learning, memory, and information processing in real tim...
DAGSTUHL
2003
13 years 6 months ago
2003
DAGSTUHL
2001
13 years 6 months ago
2001
To understand the dynamics of a running program, it is often useful to examine its state at specific moments during its execution. We present memory graphs as a means to capture an...
DAGSTUHL
2001
13 years 6 months ago
2001
Planetary rovers are small unmanned vehicles equipped with cameras and a variety of sensors used for scientific experiments. They must operate under tight constraints over such res...
DAGSTUHL
2001
13 years 6 months ago
2001
GXL (Graph eXchange Language) is designed to be a standard exchange format for graph-based tools. GXL is defined as an XML sublanguage, which offers support for exchanging instanc...
DAGSTUHL
2001
13 years 6 months ago
2001
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
DAGSTUHL
2001
13 years 6 months ago
2001
DAGSTUHL
2001
13 years 6 months ago
2001
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...