Sciweavers

591 search results - page 49 / 119
» A UML tool for an automatic generation of simulation program...
Sort
View
FAABS
2004
Springer
14 years 1 months ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang
WOA
2007
13 years 9 months ago
ELDATool: A Statecharts-based Tool for Prototyping Multi-Agent Systems
— This paper briefly describes the ELDATool, a Statecharts-based visual tool for the rapid prototyping of MultiAgent Systems based on the Event-driven Lightweight Distilled State...
Giancarlo Fortino, Alfredo Garro, Samuele Mascilla...
AAAI
1998
13 years 9 months ago
Multimodal Reasoning for Automatic Model Construction
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
Reinhard Stolle, Elizabeth Bradley
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
14 years 2 months ago
An MDE methodology for the development of high-integrity real-time systems
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
Silvia Mazzini, Stefano Puri, Tullio Vardanega
SIMULATION
1998
177views more  SIMULATION 1998»
13 years 7 months ago
Simulation and Planning of an Intermodal Container Terminal
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
Luca Maria Gambardella, Andrea Emilio Rizzoli, Mar...