1054 search results - page 131 / 211 » Models for automatic generation of safety-critical real-time... |
145
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
146
click to vote
ICST
2008
IEEE
16 years 20 days ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
172
click to vote
DEFORM
2000
15 years 7 months ago
2000
: Acquisition of various human body models is useful in many cases. In this paper, we present some of our recent work on body creation tools. Our goal is to enable rapid creation o...
168
click to vote
ISRR
2005
Springer
15 years 11 months ago
2005
Springer
A vision-based automatic tracking system for ocean animals in the midwater has been demonstrated in Monterey Bay, CA. Currently, the input to this system is a measurement of relati...
163
click to vote
LCPC
2005
Springer
15 years 11 months ago
2005
Springer
Compilers employ system models, sometimes implicitly, to make code optimization decisions. These models are analytic; they reflect their implementor’s understanding and beliefs ...