5423 search results - page 66 / 1085 » Denial-of-service in automation systems |
141
click to vote
COLING
2010
15 years 1 months ago
2010
We introduce the novel problem of automatic related work summarization. Given multiple articles (e.g., conference/journal papers) as input, a related work summarization system cre...
124
click to vote
JSC
2006
15 years 6 months ago
2006
This paper presents some fundamental aspects of the design and the implementation of an automated prover for Zermelo-Fraenkel set theory within the well-known Theorema system. The...
211
click to vote
RTA
2010
Springer
15 years 9 months ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...
111
click to vote
FECS
2007
15 years 7 months ago
2007
- Neurologic Music Therapy (NMT) can improve deficiencies in speech, motor, and cognitive skills. This paper introduces the field to computer scientists by explaining the rationale...
157
click to vote
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...