Sciweavers

5255 search results - page 37 / 1051

» Formal Methods for Privacy

23

SAS
1992
Springer

104views Formal Methods» more SAS 1992»

Partial Evaluation of Interaction Nets

13 years 11 months ago

Partial Evaluation of Interaction Nets

Download repository.readscheme.org

Denis Béchet

claim paper

Read More »

27

SAS
1992
Springer

92views Formal Methods» more SAS 1992»

Minimal Function Graphs are not Instrumented

13 years 11 months ago

Minimal Function Graphs are not Instrumented

Download repository.readscheme.org

Alan Mycroft, Mads Rosendahl

claim paper

Read More »

34

WAGA
1990

113views Formal Methods» more WAGA 1990»

The Genesis of Attribute Grammars

13 years 11 months ago

The Genesis of Attribute Grammars

Download www.win.tue.nl

Donald E. Knuth

claim paper

Read More »

22

SFM
2010
Springer

202views Formal Methods» more SFM 2010»

Information Theory and Security: Quantitative Information Flow

13 years 11 months ago

Information Theory and Security: Quantitative Information Flow

Download www.sti.uniurb.it

Pasquale Malacaria, Jonathan Heusser

claim paper

Read More »

20

SFM
2010
Springer

162views Formal Methods» more SFM 2010»

Performance and Security Tradeoff

13 years 11 months ago

Performance and Security Tradeoff

Download www.sti.uniurb.it

Katinka Wolter, Philipp Reinecke

claim paper

Read More »

« Prev « First page 37 / 1051 Last » Next »