Sciweavers

525 search results - page 80 / 105
» Static Interpretation of Modules
Sort
View
EDO
2005
Springer
15 years 3 months ago
Using parse tree validation to prevent SQL injection attacks
An SQL injection attack targets interactive web applications that employ database services. Such applications accept user input, such as form fields, and then include this input ...
Gregory Buehrer, Bruce W. Weide, Paolo A. G. Sivil...
RT
2005
Springer
15 years 3 months ago
Real-Time Multiple Scattering in Participating Media with Illumination Networks
This paper proposes a real-time method to compute multiple scattering in non-homogeneous participating media having general phase functions. The volume represented by a particle s...
László Szirmay-Kalos, Mateu Sbert, T...
IFL
2003
Springer
167views Formal Methods» more  IFL 2003»
15 years 2 months ago
A Functional Shell That Dynamically Combines Compiled Code
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
Arjen van Weelden, Rinus Plasmeijer
97
Voted
VL
2002
IEEE
144views Visual Languages» more  VL 2002»
15 years 2 months ago
Interactive Visualization of Java Programs
The design and implementation of a novel visual interactive execution environment for Java is described. This system displays both the run-time object structure as well as the int...
Paul V. Gestwicki, Bharat Jayaraman
MMMACNS
2001
Springer
15 years 2 months ago
Typed MSR: Syntax and Examples
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
Iliano Cervesato