5200 search results - page 678 / 1040 » Symbolic models for control systems |
209
click to vote
MODELLIERUNG
2004
15 years 9 months ago
2004
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...
165
click to vote
WSC
2001
15 years 9 months ago
2001
Small-sized and micro-robots will soon be available for deployment in large-scale forces. Consequently, the ability of a human operator to coordinate and interact with largescale ...
227
click to vote
HASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
206
click to vote
FTEDA
2006
15 years 7 months ago
2006
As IC technologies scale to finer feature sizes, it becomes increasingly difficult to control the relative process variations. The increasing fluctuations in manufacturing process...
180
click to vote
ECAL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In psychology the ‘A not B’ error, whereby infants perseverate in reaching to the location where a toy was previously hidden after it has been moved to a new location...