982 search results - page 79 / 197 » Model Based Multi-Level Prototyping |
156
click to vote
ASIAMS
2007
IEEE
15 years 10 months ago
2007
IEEE
Composability, the capability to select and assemble offthe-shelf model components in various combinations to satisfy user requirements, is an appealing approach in reducing the t...
133
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
XML-based interchange formats for performance models provide a mechanism whereby performance model information may be transferred among modeling tools. For example, the PMIF allow...
164
click to vote
FM
2008
Springer
15 years 5 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
144
click to vote
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
158
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Skid-steered mobile robots have been widely used for terrain exploration and navigation. In this paper, we present an adaptive trajectory control design for a skid-steered whee...