686 search results - page 67 / 138 » Automatic Model Generation Strategies for Model Transformati... |
110
click to vote
JSS
2002
15 years 2 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
110
click to vote
FM
2005
Springer
15 years 8 months ago
2005
Springer
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
158
click to vote
ISCAS
2007
IEEE
15 years 9 months ago
2007
IEEE
Due to the development of high speed circuits beyond the 2-GHz mark, the significance of automatic test pattern generation for Path Delay Faults (PDFs) drastically increased in t...
131
click to vote
BMVC
2002
15 years 5 months ago
2002
Recently, there have been several attempts at creating `video textures', that is, synthesising new (potentially infinitely long) video clips based on existing ones. One way t...
149
click to vote
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
— In this article a new method is presented to obtain a full and precise calibration of camera-robot systems with eyein-hand cameras. It achieves a simultaneous and numerically s...