4835 search results - page 770 / 967 » Intelligent Selection Tools |
191
click to vote
MODELS
2010
Springer
15 years 5 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...
182
click to vote
RAID
2010
Springer
15 years 4 months ago
2010
Springer
Malware clustering and classification are important tools that enable analysts to prioritize their malware analysis efforts. The recent emergence of fully automated methods for ma...
221
click to vote
SMR
2010
15 years 4 months ago
2010
Usually, for a particular business process different variants exist. Each of them constitutes an adjustment of a reference process model to specific requirements building the proc...
225
click to vote
SPRINGSIM
2010
15 years 4 months ago
2010
Concise and reliable graph-theoretic analysis of complex networks today is a cumbersome task, consisting essentially of the adaptation of intricate libraries for each specific pr...
168
click to vote
WCRE
2010
IEEE
15 years 4 months ago
2010
IEEE
—Visualizations of actual run-time data support the comprehension of programs, like examples support the ion of abstract concepts and principles. Unfortunately, the required run-...