1781 search results - page 39 / 357 » Visualizing program execution using user abstractions |
111
click to vote
ICLP
2007
Springer
15 years 5 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
139
click to vote
ACSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
In its most general form, an attack signature is a program that can correctly determine if an input network packet sequence can successfully attack a protected network application...
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
122
click to vote
CGA
1999
15 years 1 months ago
1999
displays to abstract network data and let users interactwithit.Wehaveimplementedafull-scaleSwift3D prototype, which generated the examples we present here. Swift-3D We developed Sw...
119
click to vote
IV
2000
IEEE
15 years 6 months ago
2000
IEEE
Desktop virtual reality (VR) offers a powerful environment for visualizing structure in large information sets. In well-designed virtual worlds, users can employ skills from wayfi...