5423 search results - page 740 / 1085 » Denial-of-service in automation systems |
170
Voted
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
157
Voted
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
There are many commercial software security assurance tools that claim to detect and prevent vulnerabilities in application software. However, a closer look at the tools often lea...
196
Voted
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
Motion detection and estimation are known to be important in many automated surveillance systems. It has drawn significant research interest in the field of computer vision. This ...
149
click to vote
QSIC
2007
IEEE
16 years 1 months ago
2007
IEEE
: Testing against natural language requirements is the standard approach for system and acceptance testing. This test is often performed by an independent test organization unfamil...
180
click to vote
ECSQARU
2007
Springer
16 years 1 months ago
2007
Springer
Problems of conceptual uncertainty have been dealt with in theories of formal logic. Such theories try to accommodate vagueness in two main ways. One is fuzzy logic that introduces...