Sciweavers

1011 search results - page 88 / 203
» Exception Analysis for Java
Sort
View
ICAI
2004
13 years 11 months ago
Mixed-Initiative Ontology Learning
This paper presents a mixed-initiative assistant that supports a subject matter expert to extend the ontology of a learning agent, in order to express the subtle distinctions he ma...
Cristina Boicu, Gheorghe Tecuci
USS
2008
14 years 14 days ago
Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
Michael C. Martin, Monica S. Lam
POPL
2006
ACM
14 years 10 months ago
Modular set-based analysis from contracts
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
Philippe Meunier, Robert Bruce Findler, Matthias F...
VISUALIZATION
1998
IEEE
14 years 2 months ago
Hierarchical volume analysis and visualization based on morphological operators
One common problem in the practical application of volume visualization is the proper choice of transfer functions in order to color different parts of the volume meaningfully. Th...
Christoph Lürig, Thomas Ertl
CORR
2010
Springer
88views Education» more  CORR 2010»
13 years 10 months ago
Dynamic and Transparent Analysis of Commodity Production Systems
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
Aristide Fattori, Roberto Paleari, Lorenzo Martign...