1324 search results - page 204 / 265 » Automation Controller for Operational IT Management |
HYBRID
2010
Springer
14 years 3 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
CEC
2008
IEEE
14 years 3 months ago
2008
IEEE
— The high-level synthesis process involves three interdependent and NP-complete optimization problems: (i) the operation scheduling, (ii) the resource allocation, and (iii) the ...
DSN
2008
IEEE
14 years 3 months ago
2008
IEEE
This research investigates the automation of security assessment of the static and dynamic properties of cyberinfrastructures, with emphasis on the electrical power grid. We descr...
HAPTICS
2006
IEEE
14 years 2 months ago
2006
IEEE
Conventional cell manipulation techniques do not have the ability to provide force feedback to an operator. Poor control of cell injection force is one of the primary reasons for l...
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
— On a scene of a natural disaster, rescuers require heavy duty hydraulic machines to answer their need of large forces, or to approach an unreachable spot. Those industrial vehi...