5423 search results - page 327 / 1085 » Denial-of-service in automation systems |
162
click to vote
JCS
2011
15 years 1 months ago
2011
In this paper we consider the problem of verifying trace-based information flow properties for different classes of system models. We begin by proposing an automata-theoretic te...
175
click to vote
JSW
2008
15 years 6 months ago
2008
Increasing traffic density enforces development of Advanced Driver Assistance Systems to cope with safety aspects. Such systems require serious amount of sensor data to deduce spat...
189
click to vote
COMPLIFE
2006
Springer
15 years 10 months ago
2006
Springer
. OSCAR3 is an open extensible system for the automated annotation of chemistry in scientific articles, which can process thousands of articles per hour. This XML annotation suppor...
153
click to vote
FLAIRS
2010
15 years 9 months ago
2010
A novel `play-by-play' based procedure learning system has been successfully applied to automate Web tasks. In the transition to a non-Web domain, for a system widely used at...
159
click to vote
EVOW
2008
Springer
15 years 8 months ago
2008
Springer
We investigate the automatic construction of visual scenes via a hybrid evolutionary/hill-climbing approach using a correlationbased fitness function. This forms part of The Painti...