4693 search results - page 583 / 939 » Verifying Hybrid Systems |
190
click to vote
IAJIT
2008
15 years 6 months ago
2008
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
147
click to vote
JCP
2008
15 years 6 months ago
2008
Implantable pacemaker is a battery operated real time embedded system, which includes software/hardware codesign strategy. As it is placed within the heart by surgery, battery life...
163
click to vote
AR
2005
15 years 6 months ago
2005
The authors have proposed a dynamic turning control system of a quadruped robot by using nonlinear oscillators. It is composed of a spontaneous locomotion controller and voluntary...
151
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with ot...
177
click to vote
INFFUS
2000
15 years 6 months ago
2000
The contribution of this paper is to compare paradigms coming from the classes of parametric, and non-parametric techniques to solve the decision fusion problem encountered in the...