6040 search results - page 688 / 1208 » Generating Instance Models from Meta Models |
163
click to vote
ENTCS
2007
15 years 7 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
192
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— By combining a low-order model of forecast errors, the extended Kalman filter, and classical continuous optimization, we develop an integrated methodology for planning mobile ...
179
click to vote
FDL
2005
IEEE
16 years 20 days ago
2005
IEEE
This paper outlines some fundamental concepts for the development of a system design framework based on standard notations and common CASE tools. We describe an environment for HW...
180
Voted
DATE
1997
IEEE
15 years 11 months ago
1997
IEEE
In digital circuit simulation hidden opportunities for concurrent execution of models often exist, arising from the propagation delay associated with the generation of output even...
193
click to vote
CAV
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...