Sciweavers

1610 search results - page 130 / 322
» Model generation issues in a simulation support environment
Sort
View
UML
2004
Springer
15 years 10 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 9 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 10 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 7 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
134
Voted
IROS
2009
IEEE
154views Robotics» more  IROS 2009»
16 years 2 days 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...