4276 search results - page 65 / 856 » Techniques for Empirical Validation |
104
click to vote
ANSS
2007
IEEE
15 years 6 months ago
2007
IEEE
As wireless networks have become more complex with packet services and sophisticated modulation techniques, validation using multidimensional Markov Chain models has become increa...
FC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this usability study of phishing attacks and browser antiphishing defenses, 27 users each classified 12 web sites as fraudulent or legitimate. By dividing these users...
HICSS
1997
IEEE
15 years 4 months ago
1997
IEEE
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...
INFSOF
1998
14 years 11 months ago
1998
We show how to combine program slicing and constraint solving in order to obtain better slice accuracy. The method is used in the VALSOFT slicing system. One particular applicatio...
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...