Sciweavers

1610 search results - page 130 / 322
» Model generation issues in a simulation support environment
Sort
View
150
Voted
UML
2004
Springer
15 years 9 months ago
The AGEDIS Tools for Model Based Testing
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
Alan Hartman, Kenneth Nagin
AICCSA
2001
IEEE
65views Hardware» more  AICCSA 2001»
15 years 7 months ago
Taxonomy of Process Modeling Languages
: A software process is defined as a description of various steps that must be carried out by process agents to pursue the goals of software engineering. To support a software proc...
Kamal Zuhairi Zamli, Peter Lee
GPCE
2009
Springer
15 years 8 months ago
A generative programming approach to developing pervasive computing systems
Developing pervasive computing applications is a difficult task because it requires to deal with a wide range of issues: heterogeneous devices, entity distribution, entity coordi...
Damien Cassou, Benjamin Bertran, Nicolas Loriant, ...
ATAL
2008
Springer
15 years 6 months ago
OperettA: a prototype tool for the design, analysis and development of multi-agent organizations
OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specif...
Daniel Okouya, Virginia Dignum
118
Voted
IROS
2009
IEEE
154views Robotics» more  IROS 2009»
15 years 10 months ago
Consideration on robotic giant-swing motion generated by reinforcement learning
—This study attempts to make a compact humanoid robot acquire a giant-swing motion without any robotic models by using reinforcement learning; only the interaction with environme...
Masayuki Hara, Naoto Kawabe, Naoki Sakai, Jian Hua...