2838 search results - page 495 / 568 » Verifying Controlled Components |
EXACT
2007
13 years 11 months ago
2007
In order to assist a power plant operator to face unusual situations, we have developed an intelligent assistant that explains the suggested commands generated by an MDP-based pla...
NSDI
2008
13 years 11 months ago
2008
We present the design and evaluation of two forms of power management schemes that reduce the energy consumption of networks. The first is based on putting network components to s...
WSC
2007
13 years 11 months ago
2007
Often the process and effort in building interoperable Command and Control (C2) systems and simulations can be arduous. Invariably the difficulty is in understanding what is inten...
WSC
2008
13 years 11 months ago
2008
Despite that simulation possesses an establish background and offers tremendous promise for designing and analyzing complex production systems, manufacturing industry has been les...
ANTSW
2008
Springer
13 years 11 months ago
2008
Springer
Design and development of routing protocols for Mobile Ad Hoc Networks (MANETs) is an active area of research. The standard practice among researchers working in this emerging doma...