752 search results - page 65 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
129
click to vote
TAP
2008
Springer
15 years 3 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
136
Voted
WOSP
2004
ACM
15 years 9 months ago
2004
ACM
Performance characteristics, such as response time, throughput and scalability, are key quality attributes of distributed applications. Current practice, however, rarely applies s...
122
Voted
EUROSEC
2010
ACM
15 years 8 months ago
2010
ACM
The prevalent use of the signature-based approach in modern intrusion detection systems (IDS) emphasizes the importance of the efficient management of the employed signature sets....
125
Voted
SPEECH
1998
15 years 3 months ago
1998
We present the theory for heteroscedastic discriminant analysis (HDA), a model-based generalization of linear discriminant analysis (LDA) derived in the maximum-likelihood framewo...
135
Voted
CHI
1999
ACM
15 years 7 months ago
1999
ACM
Models of learning and performing by exploration assume that the semantic distance between task descriptions and screen labels controls in part the usersÕ search strategies. Neve...