293 search results - page 55 / 59 » Formal Security Analysis with Interacting State Machines |
84
Voted
RAID
2009
Springer
15 years 4 months ago
2009
Springer
Because of the ad hoc nature of web applications, intrusion detection systems that leverage machine learning techniques are particularly well-suited for protecting websites. The re...
118
click to vote
FDL
2004
IEEE
15 years 1 months ago
2004
IEEE
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
DT
2000
14 years 9 months ago
2000
f abstraction as applicable to break the problem's complexity, and innovating better techniques to address complexity of new microarchitectural features. Validation techniques...
OOPSLA
2004
Springer
15 years 2 months ago
2004
Springer
Java workloads are becoming more and more prominent on various computing devices. Understanding the behavior of a Java workload which includes the interaction between the applicat...
106
click to vote
MBEES
2008
14 years 11 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...