967 search results - page 80 / 194 » Automated benchmarking and analysis tool |
133
Voted
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Usability analysis is an important step in software development in order to improve certain aspects of the system. However, it is often a challenge especially when it comes to e...
124
click to vote
TFM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
101
Voted
ISBI
2008
IEEE
16 years 4 months ago
2008
IEEE
We propose a Bayesian approach to incorporate anatomical information in the clustering of fiber trajectories. An expectationmaximization (EM) algorithm is used to cluster the traj...
120
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...
144
Voted
SAS
1999
Springer
15 years 8 months ago
1999
Springer
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...