134 search results - page 10 / 27 » Visual and algorithmic tooling for system trace analysis: a ... |
VIZSEC
2004
Springer
14 years 25 days ago
2004
Springer
Most visualizations of security-related network data require large amounts of finely detailed, high-dimensional data. However, in some cases, the data available can only be coars...
ENTCS
2007
13 years 7 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
TSE
2010
13 years 2 months ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
IEEEIAS
2009
IEEE
14 years 2 months ago
2009
IEEE
: Threats to information security for healthcare information system increased tremendously. There are various factors that contribute to information security threats, many research...
QEST
2009
IEEE
14 years 2 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...