965 search results - page 11 / 193 » Predictions as Statements and Decisions |
BIBM
2009
IEEE
15 years 2 months ago
2009
IEEE
The primary objective of disparities research is to model the differences across multiple groups and identify the groups that behave significantly different from each other. Indep...
ESOP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...
IFM
2009
Springer
15 years 4 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
VLDB
1998
ACM
15 years 1 months ago
1998
ACM
Deterministic testing of SQL database systems is human intensive and cannot adequately cover the SQL input domain. A system (RAGS), was built to stochastically generate valid SQL ...
SP
1998
IEEE
15 years 1 months ago
1998
IEEE
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...