2623 search results - page 388 / 525 » tools 2010 |
138
click to vote
MMMACNS
2010
Springer
15 years 1 months ago
2010
Springer
Botnets have become the most powerful tool for attackers to victimize countless users across cyberspace. Previous work on botnet detection has mainly focused on identifying infecte...
147
click to vote
MODELS
2010
Springer
15 years 1 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
130
click to vote
MODELS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In recent years, OCL advanced from a language used to constrain UML models to a constraint language that is applied to various modelling languages. This includes Domain S...
155
click to vote
MODELS
2010
Springer
15 years 1 months ago
2010
Springer
Model-driven software development (MDSD) has been on the rise over the past few years and is becoming more and more mature. However, evaluation in real-life industrial context is s...
118
click to vote
MODELS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. A new trend in runtime system monitoring is to utilize MOFbased techniques in analyzing the runtime system data. Approaches and tools have been proposed to automatically ...