6704 search results - page 184 / 1341 » Testing Scenario-Based Models |
160
click to vote
SAC
2004
ACM
15 years 12 months ago
2004
ACM
1 This paper discusses the design and implementation details of MAST (Mobile Agent-based Security Tool), a new mobile agentbased network security approach. MAST has been designed t...
199
click to vote
SYNTHESE
2008
2008
How experimental algorithmics can benefit from Mayo's extensions to Neyman-Pearson theory of testing
15 years 6 months ago
Although theoretical results for several algorithms in many application domains were presented during the last decades, not all algorithms can be analyzed fully theoretically. Exp...
169
click to vote
JUCS
2010
15 years 5 months ago
2010
: Mobile banking has been considered to be one of the most value-added and important mobile services currently available. Considering the fact that the penetration of this technolo...
192
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This study focuses on determining a procedure to select effective negative examples for development of improved Support Vector Machine (SVM) based speaker recognition. Selection o...
208
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...