5423 search results - page 934 / 1085 » Denial-of-service in automation systems |
190
click to vote
ISBI
2008
IEEE
16 years 28 days ago
2008
IEEE
Neurobiologists are collecting large amounts of electron microscopy image data to gain a better understanding of neuron organization in the central nervous system. Image analysis ...
145
click to vote
IWPC
2008
IEEE
16 years 27 days ago
2008
IEEE
Modern software systems are typically large and complex, making comprehension of these systems extremely difficult. Experienced programmers comprehend code by seamlessly processi...
174
click to vote
LICS
2008
IEEE
16 years 27 days ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
159
click to vote
RTSS
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
163
click to vote
ACNS
2008
Springer
16 years 26 days ago
2008
Springer
File-sharing worms have been terrorizing Peer-to-peer (P2P) systems in recent years. Existing defenses relying on users’ individual recoveries or limiting users’ file-sharing ...