5200 search results - page 838 / 1040 » Symbolic models for control systems |
226
click to vote
PTS
2003
15 years 8 months ago
2003
UML models focus primarily on the definition of system structure and behaviour, but provide only limited means for describing test objectives and test procedures. However, with the...
216
click to vote
WSC
1997
15 years 8 months ago
1997
This paper discusses the design, development, and use of a performance monitoring tool for Distributed Interactive Simulations (DIS). A typical DIS environment consists of hundred...
193
click to vote
TCS
2008
15 years 7 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
186
click to vote
SAB
2010
Springer
15 years 5 months ago
2010
Springer
Playing table tennis is a difficult motor task which requires fast movements, accurate control and adaptation to task parameters. Although human beings see and move slower than mos...
197
click to vote
DAC
2007
ACM
15 years 11 months ago
2007
ACM
It is now widely believed that FlexRay will emerge as the predominant protocol for in-vehicle automotive communication systems. As a result, there has been a lot of recent interes...