5423 search results - page 192 / 1085 » Denial-of-service in automation systems |
154
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
Structured light is one of the well-known methods in part dimensional inspection that have been successfully employed in various applications in the past decades. In this method, ...
162
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
Developing automatable methods for proving termination of term rewrite systems that resist traditional techniques based on simplification orders has become an active research area ...
137
click to vote
PPAM
2001
Springer
15 years 11 months ago
2001
Springer
We present an automated deduction system for equational reasoning combining two different parallelization/distribution schemes: Strategy-compliant parallelization on the level of ...
187
click to vote
EICS
2010
ACM
15 years 11 months ago
2010
ACM
Web applications such as web-based email, spreadsheets and form filling applications have become ubiquitous. However, many of the tasks that users try to accomplish with such web ...
178
click to vote
AUTOMOTIVEUI
2009
ACM
15 years 11 months ago
2009
ACM
The increasing traffic volume confronts the road user with a challenging task. The high number of traffic deaths might not be reducible with passive safety alone. However systems ...