5200 search results - page 951 / 1040 » Symbolic models for control systems |
PRDC
2009
IEEE
14 years 3 months ago
2009
IEEE
—With ever-growing complexity of computer and communication systems analytical methods do not scale, especially with respect to dependability assessment of information technology...
SAGA
2007
Springer
14 years 3 months ago
2007
Springer
The line-of-sight networks is a network model introduced recently by Frieze et al. (SODA’07). It considers scenarios of wireless networks in which the underlying environment has...
GPCE
2009
Springer
14 years 1 months ago
2009
Springer
User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by us...
REFLECTION
2001
Springer
14 years 1 months ago
2001
Springer
, are to address what we perceive as the most pressing shortcomings of current reflective middleware platforms. First, performance: in the worst case, this needs to be on a par wit...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Off-line robot dynamic identification methods are mostly based on the use of the inverse dynamic model, which is linear with respect to the dynamic parameters. This model is sample...