2560 search results - page 223 / 512 » Analysis Tool for Honeypot Systems |
175
click to vote
LCPC
2007
Springer
16 years 25 days ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
179
click to vote
ICAPR
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Software analysis techniques, and in particular software “design recovery”, have been highly successful at both technical and businesslevel semantic markup of large s...
140
click to vote
DEXAW
2002
IEEE
15 years 11 months ago
2002
IEEE
The World Wide Web, due to its sheer size and dynamics, has turned into one of the most fascinating and important data sources for large-scale analysis and investigation, ranging ...
195
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
178
click to vote
IMECS
2007
15 years 8 months ago
2007
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...