4617 search results - page 872 / 924 » Automation of Diagrammatic Reasoning |
119
click to vote
RAID
2010
Springer
15 years 11 days 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...
118
click to vote
CP
2010
Springer
15 years 2 hour ago
2010
Springer
We present two heuristics based on constraint technology that solve the problem of generating air traffic management contingency plans, which are used in the case of a catastrophic...
151
click to vote
TACAS
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
121
click to vote
ICN
2009
Springer
14 years 11 months ago
2009
Springer
It is essential that a monitoring system is being designed with performance and scalability in mind. But due to the diversity and complexity of both the monitoring and the monitore...
131
click to vote
CONEXT
2010
ACM
14 years 11 months ago
2010
ACM
Abstract-- Network management and operations are complicated, tedious, and error-prone, requiring significant human involvement and domain knowledge. As the complexity involved ine...