6149 search results - page 372 / 1230 » Revealing the programming process |
201
click to vote
PADL
2004
Springer
16 years 4 days ago
2004
Springer
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...
172
click to vote
IPPS
2003
IEEE
16 years 2 days ago
2003
IEEE
Percolation has recently been proposed as a key component of an advanced program execution model for future generation high-end machines featuring adaptive data/code transformatio...
183
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present the first private information retrieval (PIR) scheme which is both, deterministically correct and has poly-logarithmic communication complexity. Our PIR proto...
183
click to vote
CRYPTO
1994
Springer
15 years 11 months ago
1994
Springer
We give cryptographic schemes that help trace the source of leaks when sensitive or proprietary data is made available to a large set of parties. A very relevant application is in ...
166
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents results from a survey of Vancouver secondary school students on their interests and perceived abilities in a range of subjects, the factors they felt would inf...