18 search results - page 4 / 4 » ARTISST: An Extensible and Modular Simulation Tool for Real-... |
DFG
2004
Springer
13 years 9 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
AIED
2005
Springer
13 years 11 months ago
2005
Springer
SuperDuperWalker is a software-based framework for experiments on the evolution of locomotion. It simulates the behavior of evolving agents in a 3D physical simulation environment ...
ACSW
2007
13 years 7 months ago
2007
An infrastructure for remote instrument access, data acquisition and data management is being developed for e-Research. The Common Instrument Middleware Architecture (CIMA) is bei...