5423 search results - page 70 / 1085 » Denial-of-service in automation systems |
181
click to vote
IJAIT
2006
15 years 6 months ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
160
click to vote
IJDST
2011
14 years 9 months ago
2011
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...
149
click to vote
FLAIRS
2010
15 years 7 months ago
2010
There is a growing demand for automated reasoning with world knowledge. SPASS-XDB is an automated reasoning system that incorporates world knowledge from multiple external sources...
196
click to vote
USENIX
2008
15 years 8 months ago
2008
A common approach to benchmarking a server is to measure its behavior under load from a workload generator. Often a set of such experiments is required-perhaps with different serv...
163
click to vote
LREC
2008
15 years 7 months ago
2008
We report the results of an experiment to assess the ability of automated MT evaluation metrics to remain sensitive to variations in MT quality as the average quality of the compa...