5775 search results - page 243 / 1155 » A Rationale-based Analysis Tool |
144
click to vote
HICSS
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract— This paper presents a summary of university research performed on honeypot techniques and summarizes the results Honeypots are computing resources that serve no other p...
234
click to vote
VALUETOOLS
2006
ACM
16 years 18 days ago
2006
ACM
In this paper we describe the design, implementation, and analytical background of the DISCO Network Calculator. The DISCO Network Calculator is an open-source toolbox written in ...
171
click to vote
FM
2005
Springer
16 years 5 days ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
182
click to vote
SPC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
184
click to vote
HYBRID
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...