7075 search results - page 1191 / 1415 » Models and heterogeneous reasoning |
138
click to vote
TCS
2010
15 years 5 months ago
2010
We define a program semantics that is preserved by dependence-based slicing algorithms. It is a natural extension, to non-terminating programs, of the semantics introduced by Wei...
237
click to vote
TDP
2010
15 years 5 months ago
2010
Abstract. Several national statistical agencies are now releasing partially synthetic, public use microdata. These comprise the units in the original database with sensitive or ide...
210
click to vote
TOIT
2010
15 years 5 months ago
2010
The increasing demand for high-bandwidth applications such as video-on-demand and grid computing is reviving interest in bandwidth reservation schemes. Earlier attempts did not ca...
160
click to vote
TSE
2010
15 years 5 months ago
2010
This paper presents an innovative model of a program’s internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), that facilitates pr...
201
click to vote
ASIACRYPT
2010
Springer
15 years 4 months ago
2010
Springer
This paper investigates the Random Oracle Model (ROM) feature known as programmability, which allows security reductions in the ROM to dynamically choose the range points of an ide...