DAGSTUHL
2003
14 years 27 days ago
2003
DAGSTUHL
2003
14 years 27 days 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
14 years 27 days 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
14 years 27 days ago
2003
DAGSTUHL
2001
14 years 28 days 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
14 years 28 days 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
14 years 28 days 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
14 years 28 days 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
14 years 28 days ago
2001
DAGSTUHL
2001
14 years 28 days 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 ...