2838 search results - page 117 / 568 » Verifying Controlled Components |
GI
2009
Springer
13 years 8 months ago
2009
Springer
: In this paper a new approach for a control and safety architecture for a modular task adaptable medical robot is described. The concept has been evaluated with the MINARO robot, ...
EJWCN
2010
13 years 5 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
TIP
2010
13 years 5 months ago
2010
We propose the concept of a generalized assorted pixel (GAP) camera, which enables the user to capture a single image of a scene and, after the fact, control the tradeoff between s...
ICIP
2004
IEEE
14 years 12 months ago
2004
IEEE
This paper presents an efficient multiplexing and error control system to improve streaming video performance over path aggregates. While providing the application with increased ...
HICSS
2010
IEEE
14 years 5 months ago
2010
IEEE
Different classes of information system stakeholders depend on different values to be successful. Understanding stakeholders’ value dependencies is critical for developing softw...