1314 search results - page 59 / 263 » Validation of Object Oriented Models using Animation |
DSRT
2008
IEEE
14 years 2 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...
IROS
2006
IEEE
14 years 1 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...
DATE
1999
IEEE
13 years 12 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...
SCAM
2002
IEEE
14 years 17 days 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...
APSEC
2001
IEEE
13 years 11 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...