4731 search results - page 395 / 947 » Securing Interactive Programs |
184
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
183
click to vote
DMDW
2001
15 years 8 months ago
2001
The problem of data cleaning, which consists of removing inconsistencies and errors from original data sets, is well known in the area of decision support systems and data warehou...
177
click to vote
PDCN
2004
15 years 8 months ago
2004
Computational steering environments (CSEs) allow users to interact with applications executing in batch mode. Interaction with an application includes viewing intermediate results...
168
click to vote
CPP
2011
14 years 6 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
193
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a framework based on a user driven methodology to obtain analytical models of MPI applications on parallel systems in a systematic and easy to use way. This me...