5423 search results - page 24 / 1085 » Denial-of-service in automation systems |
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Transformation-based verification has been proposed to synergistically leverage various transformations to successively simplify and decompose large problems to ones whic...
107
click to vote
ASPDAC
2008
ACM
15 years 3 months ago
2008
ACM
The information about the run-time behavior of software applications is crucial for enabling system level optimizations for embedded systems. This embedded Software Metadata inform...
116
Voted
ITP
2010
15 years 9 days ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
111
click to vote
ANLP
2000
15 years 3 months ago
2000
We present an algorithm and a tool for automatically revising grammars for natural language processing (NLP) systems to disallow specifically identified sentences or sets of sente...
134
Voted
AAAI
1994
15 years 3 months ago
1994
The ability to answer prediction questions is crucial to reasoning about physical systems. A prediction question poses a hypothetical scenario and asks for the resulting behavior ...