2838 search results - page 220 / 568 » Verifying Controlled Components |
84
Voted
ENGL
2007
15 years 21 days ago
2007
— Using real mechanical controls, this experiment studied strength and reversibility of direction-of-motion stereotypes and response times for different configurations of digital...
105
Voted
AAAI
2012
13 years 3 months ago
2012
Widespread accounts of the harmful effects of invasive species have stimulated both practical and theoretical studies on how the spread of these destructive agents can be containe...
108
click to vote
SIGMETRICS
2009
ACM
15 years 7 months ago
2009
ACM
We consider the problem of admission control in resource sharing systems, such as web servers and transaction processing systems, when the job size distribution has high variabili...
93
Voted
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
Some auxiliary systems of next generation naval ships will utilize distributed automatic control. Such distributed control systems will use interconnected sensors, actuators, cont...
116
Voted
ITCC
2005
IEEE
15 years 6 months ago
2005
IEEE
Developing large multi-agent systems is a complex task involving the processes of the requirement, architecture, design and implementation of these systems. In particular, the arc...