Sciweavers

305 search results - page 7 / 61
» A model for quantitative evaluation of an end-to-end questio...
Sort
View
WOSP
2000
ACM
14 years 28 days ago
Quantitative system evaluation with DSPNexpress 2000
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...
Christoph Lindemann, Axel Thümmler, Alexander...
ISSTA
2012
ACM
11 years 11 months ago
A quantitative study of accuracy in system call-based malware detection
Over the last decade, there has been a significant increase in the number and sophistication of malware-related attacks and infections. Many detection techniques have been propos...
Davide Canali, Andrea Lanzi, Davide Balzarotti, Ch...
QEST
2008
IEEE
14 years 2 months ago
A Tool Supporting Evaluation of Non-markovian Fault Trees
Giacomo Bucci, Laura Carnevali, Enrico Vicario
SIGIR
2008
ACM
13 years 8 months ago
Novelty and diversity in information retrieval evaluation
Evaluation measures act as objective functions to be optimized by information retrieval systems. Such objective functions must accurately reflect user requirements, particularly w...
Charles L. A. Clarke, Maheedhar Kolla, Gordon V. C...
IPPS
2005
IEEE
14 years 2 months ago
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
Jan Trowitzsch, Armin Zimmermann, Günter Homm...