3281 search results - page 386 / 657 » An Approach to use Executable Models for Testing |
145
click to vote
ECBS
2007
IEEE
15 years 8 months ago
2007
IEEE
Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy sys...
158
click to vote
STTT
2010
15 years 3 months ago
2010
Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable f...
160
click to vote
WSC
1998
15 years 6 months ago
1998
The High Level Architecture (HLA) for distributed simulations was proposed by the Defense Modeling and Simulation Office of the Department of Defense (DOD) in order to support int...
129
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present an approach to obstacle avoidance and local path planning for polygonal robots. It decomposes the task into a model stage and a planning stage. The model ...
163
click to vote
DBPL
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...