5423 search results - page 936 / 1085 » Denial-of-service in automation systems |
165
click to vote
KBSE
2007
IEEE
16 years 24 days ago
2007
IEEE
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
152
click to vote
NCA
2007
IEEE
16 years 24 days ago
2007
IEEE
In this paper, we present an approach for software rejuvenation based on automated self-healing techniques that can be easily applied to off-the-shelf Application Servers and Inte...
194
click to vote
SOCA
2007
IEEE
16 years 24 days ago
2007
IEEE
The emerging ubiquitous computing vision is characterized by decentralized and ad hoc interoperation among devices and networks for access to services. Interacting devices or grou...
161
click to vote
QSIC
2007
IEEE
16 years 22 days ago
2007
IEEE
The success of a software project is largely dependent upon the quality of the Software Requirements Specification (SRS) document, which serves as a medium to communicate user req...
167
click to vote
CSL
2007
Springer
16 years 21 days ago
2007
Springer
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...