6014 search results - page 476 / 1203 » Structural Testing with Use Cases |
176
click to vote
IROS
2007
IEEE
16 years 22 days ago
2007
IEEE
— Standard methods to model multibody systems are aimed at systems with configuration spaces isomorphic to Rn . This limitation leads to singularities and other artifacts in cas...
223
click to vote
PAMI
2002
15 years 6 months ago
2002
This paper surveys the developments of the last 20 years in the area of vision for mobile robot navigation. Two major components of the paper deal with indoor navigation and outdoo...
163
click to vote
IAT
2007
IEEE
16 years 23 days ago
2007
IEEE
This paper introduces an executable coordination specification language, which is able to handle prespecified ways as well as more flexible and generic ways of specifying coordina...
188
click to vote
ETFA
2008
IEEE
16 years 27 days ago
2008
IEEE
This paper shows a model-based design trajectory for the development of real-time embedded control software using virtual prototyping. As a test case, a Cartesian plotter is desig...
161
click to vote
FORTE
2008
15 years 8 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...