Sciweavers

5255 search results - page 27 / 1051

» Formal Methods for Privacy

20

SAS
2005
Springer

117views Formal Methods» more SAS 2005»

The PER Model of Abstract Non-interference

14 years 1 months ago

The PER Model of Abstract Non-interference

Download www.soi.city.ac.uk

Sebastian Hunt, Isabella Mastroeni

claim paper

Read More »

17

SAS
2005
Springer

92views Formal Methods» more SAS 2005»

Exploiting Sparsity in Polyhedral Analysis

14 years 1 months ago

Exploiting Sparsity in Polyhedral Analysis

Download www.cs.kent.ac.uk

Axel Simon, Andy King

claim paper

Read More »

22

ZUM
2005
Springer

143views Formal Methods» more ZUM 2005»

Using B as a High Level Programming Language in an Industrial Project: Roissy VAL

14 years 1 months ago

Using B as a High Level Programming Language in an Industrial Project: Roissy VAL

Download www.clearsy.com

Frédéric Badeau, Arnaud Amelot

claim paper

Read More »

18

SAS
2004
Springer

84views Formal Methods» more SAS 2004»

Closed and Logical Relations for Over- and Under-Approximation of Powersets

14 years 1 months ago

Closed and Logical Relations for Over- and Under-Approximation of Powersets

Download people.cis.ksu.edu

David A. Schmidt

claim paper

Read More »

21

SAS
2004
Springer

104views Formal Methods» more SAS 2004»

Abstract Interpretation of Combinational Asynchronous Circuits

14 years 1 months ago

Abstract Interpretation of Combinational Asynchronous Circuits

Download www.cl.cam.ac.uk

Sarah Thompson, Alan Mycroft

claim paper

Read More »

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