Sciweavers

DAGSTUHL
2007
14 years 1 months ago
Exploiting the ASM method within the Model-driven Engineering paradigm
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
DAGSTUHL
2007
14 years 1 months ago
07471 Abstracts Collection - Equilibrium Computation
P. Jean-Jacques Herings, Marcin Jurdzinski, Peter ...
DAGSTUHL
2007
14 years 1 months ago
Programming self developing blob machines for spatial computing.
: This is a position paper introducing blob computing: A Blob is a generic primitive used to structure a uniform computing substrate into an easier-to-program parallel virtual mach...
Frédéric Gruau, Christine Eisenbeis
DAGSTUHL
2007
14 years 1 months ago
Programming Manifolds
Jacob Beal, Jonathan Bachrach
DAGSTUHL
2007
14 years 1 months ago
Equilibrium Tracing in Bimatrix Games
Abstract. We analyze the relations of the van den Elzen-Talman algorithm, the Lemke-Howson algorithm and the global Newton method introduced by Govindan and Wilson. It is known tha...
Anne Balthasar
DAGSTUHL
2007
14 years 1 months ago
07091 Abstracts Collection - Mobility, Ubiquity and Security
Gilles Barthe, Heiko Mantel, Peter Müller, An...
DAGSTUHL
2007
14 years 1 months ago
07112 Abstracts Collection - Cutting, Packing, Layout and Space Allocation
Edmund K. Burke, Karen M. Daniels, Graham Kendall