4516 search results - page 100 / 904 » Automated System Design for Availability |
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
— The reported work advances the state-of-the-art in assistive technology for the blind by enhancing a low-cost automated tutor designed to teach braille writing skills to visual...
DELTA
2006
IEEE
15 years 4 months ago
2006
IEEE
A method for leveraging a communication protocol called Universal Plug and Play (UPnP) for workcell automation and integration is presented. By leveraging UPnP for automation equi...
DATE
2006
IEEE
15 years 4 months ago
2006
IEEE
Cutting-edge applications of future embedded systems demand highest processor performance with low power consumption to get acceptable battery-life times. Therefore, low power opt...
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
—Automated tests are important for Web applications as they grow more complex day by day. Web application testing frameworks have emerged to help satisfy this need. However, used...
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...