1314 search results - page 59 / 263 » Validation of Object Oriented Models using Animation |
93
Voted
DSRT
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
107
Voted
IROS
2006
IEEE
15 years 6 months ago
2006
IEEE
Model-based recognition of an object typically involves matching dense 3D range data. The computational cost is directly affected by the amount of data of which a transformation n...
86
Voted
DATE
1999
IEEE
15 years 4 months ago
1999
IEEE
In the reuse domain, the necessity of finding a new, more suitable description language opposes the need to make reuse an accepted practice, and thus related to standards. This pa...
141
click to vote
SCAM
2002
IEEE
15 years 5 months ago
2002
IEEE
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains...
116
Voted
APSEC
2001
IEEE
15 years 4 months ago
2001
IEEE
With the rapid growth of the Internet and pervasive computing activities, the migration of back-end legacy systems to network centric environments has become a focal point for res...