3765 search results - page 209 / 753 » Formal Methods for Systems Engineering Behavior Models |
152
click to vote
IROS
2007
IEEE
16 years 26 days ago
2007
IEEE
— Neurophysiology has revealed the existence of mirror neurons in brain of macaque monkeys and they shows similar activities during executing an observation of goal directed move...
206
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
We present a new design environment, called System Canvas, targeted at DSP and telecommunication system designs. Our environment uses an easy-to-use block-diagram syntax to specif...
157
click to vote
APSEC
1995
IEEE
15 years 10 months ago
1995
IEEE
Guaranteeiq reproducibility and minimizing probe effects are major issues in the parallel program debugging. This paper suggests a new debugging method, named Detect and Reproduce...
168
click to vote
IWSSD
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
162
click to vote
CCE
2004
15 years 6 months ago
2004
Bifurcation theory provides a powerful tool for analyzing the nonlinear dynamic behavior of process systems. However, although the theory in principle applies to lumped as well as...