5423 search results - page 52 / 1085 » Denial-of-service in automation systems |
106
click to vote
VVG
2003
15 years 3 months ago
2003
We report a novel method for logging and annotating video footage specifically for professional post-production and archivist end users. SALSA – Semi-Automated Logging with Sema...
119
click to vote
ENTCS
2008
15 years 2 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
115
click to vote
MVA
2008
15 years 1 months ago
2008
The problem of automated visual surveillance has spawned a lively research area, with 2005 seeing three conferences or workshops and special issues of two major journals devoted to...
100
click to vote
USENIX
2007
15 years 4 months ago
2007
Most computer defense systems crash the process that they protect as part of their response to an attack. Although recent research explores the feasibility of selfhealing to autom...
179
Voted
AIPT
1993
15 years 3 months ago
1993
OSI provides a powerful object-oriented management model that is infinitely scalable and extensible but is only now beginning to see widespread support. The Internet model has fo...