Sciweavers

1347 search results - page 115 / 270
» A Web-based requirements analysis tool
Sort
View
PLDI
2010
ACM
15 years 5 months ago
Mixing type checking and symbolic execution
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Fos...
ICECCS
2002
IEEE
93views Hardware» more  ICECCS 2002»
15 years 5 months ago
Mnemosyne: Designing and Implementing Network Short-Term Memory
Network traffic logs play an important role in incident analysis. With the increasing throughput of network links, maintaining a complete log of all network activity has become a...
Giovanni Vigna, Andrew Mitchel
WWW
2011
ACM
14 years 7 months ago
Prophiler: a fast filter for the large-scale detection of malicious web pages
Malicious web pages that host drive-by-download exploits have become a popular means for compromising hosts on the Internet and, subsequently, for creating large-scale botnets. In...
Davide Canali, Marco Cova, Giovanni Vigna, Christo...
SAC
2005
ACM
15 years 6 months ago
AOP for software evolution: a design oriented approach
In this paper, we have briefly explored the aspect-oriented approach as a tool for supporting the software evolution. The aim of this analysis is to highlight the potentiality an...
Walter Cazzola, Sonia Pini, Massimo Ancona
95
Voted
ACSD
2001
IEEE
74views Hardware» more  ACSD 2001»
15 years 4 months ago
From Code to Models
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
Gerard J. Holzmann