5423 search results - page 91 / 1085 » Denial-of-service in automation systems |
194
click to vote
ASE
2006
15 years 6 months ago
2006
Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences from finite state m...
161
click to vote
IANDC
2006
15 years 6 months ago
2006
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...
166
click to vote
NC
2006
15 years 6 months ago
2006
Previously, we described ways to implement the functions AND and OR in a DNA computer consisting of microreactors with attached heating elements that control annealing of DNA. Base...
164
click to vote
IJDE
2007
15 years 6 months ago
2007
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
176
click to vote
RAS
2000
15 years 6 months ago
2000
This paper presents the development of a miniaturized telemetered ambulatory monitoring device in a ring configuration. The device, called ring sensor, is worn by the patient at a...