1415 search results - page 160 / 283 » Verified systems by composition from verified components |
172
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
178
click to vote
HASE
1999
IEEE
15 years 10 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
164
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
Design of iterative learning control (ILC) often requires some prior knowledge about a system's control matrix. In some applications, such as uncalibrated visual servoing, th...
197
click to vote
ECWEB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...
158
click to vote
IROS
2008
IEEE
16 years 22 days ago
2008
IEEE
— To achieve accurate and efficient interaction with humans, robot training is indispensable to make robot cooperate with different host. We are focusing on development of a huma...