655 search results - page 40 / 131 » Naturalistic Decision Making for Power System Operators |
JVA
2006
IEEE
14 years 2 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—This paper considers a broadband cellular orthogonal frequency-division multiple-access (OFDMA) system with relay nodes operating in decode-and-forward and half-duplex m...
SOUPS
2006
ACM
14 years 2 months ago
2006
ACM
Security software is often difficult to use thus leading to poor adoption and degraded security. This paper describes a usability study that was conducted on the software ‘Polar...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
- Monitoring and controlling a large number of geographically distributed scientific instruments is a challenging task. Some operations on these instruments require real-time (or q...
HICSS
2000
IEEE
14 years 13 days ago
2000
IEEE
: Successfully incorporating utility engineering functions into business decisions requires integrating the numeric-intensive world of the engineer with business systems that are d...