4061 search results - page 482 / 813 » Framework Evolution Tool |
150
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...
181
click to vote
CISS
2008
IEEE
15 years 8 months ago
2008
IEEE
Inference of the network structure (e.g., routing topology) and dynamics (e.g., traffic matrices, link performance) is an important component in many network design and management ...
152
click to vote
ACL
2008
15 years 8 months ago
2008
In this type-II demo, we introduce SIDE1 (the Summarization Integrated Development Environment), an infrastructure that facilitates construction of summaries tailored to the needs...
154
click to vote
IM
2007
15 years 8 months ago
2007
Abstract— The deployment of converged services of TV, telephony, and Internet access over IP entails a significant initial investment for service providers. This investment is n...
188
click to vote
PST
2008
15 years 8 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...