5423 search results - page 934 / 1085 » Denial-of-service in automation systems |
207
click to vote
ISBI
2008
IEEE
16 years 1 months 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 ...
169
click to vote
IWPC
2008
IEEE
16 years 1 months 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...
199
Voted
LICS
2008
IEEE
16 years 1 months 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...
182
Voted
RTSS
2008
IEEE
16 years 1 months 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...
185
Voted
ACNS
2008
Springer
16 years 1 months 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 ...