Sciweavers

5255 search results - page 44 / 1051

» Formal Methods for Privacy

16

ICFCA
2009
Springer

113views Formal Methods» more ICFCA 2009»

The Logic of Learning

13 years 6 months ago

The Logic of Learning

Download www.fi.muni.cz

Luc De Raedt

claim paper

Read More »

28

SBMF
2010
Springer

125views Formal Methods» more SBMF 2010»

Simulating Truly Concurrent CSP

13 years 3 months ago

Simulating Truly Concurrent CSP

Download www.iist.unu.edu

Moritz Kleine, J. W. Sanders

claim paper

Read More »

60

FMSD
2011

236views Formal Methods» more FMSD 2011»

Automatic analysis of DMA races using model checking and k-induction

13 years 14 days ago

Automatic analysis of DMA races using model checking and k-induction

Download www.philipp.ruemmer.org

Alastair F. Donaldson, Daniel Kroening, Philipp R&...

claim paper

Read More »

51

TOCL
2012

241views Formal Methods» more TOCL 2012»

Model Checking of Recursive Probabilistic Systems

11 years 11 months ago

Model Checking of Recursive Probabilistic Systems

Download tocl.acm.org

Kousha Etessami, Mihalis Yannakakis

claim paper

Read More »

40

DBSEC
2010

113views Database» more DBSEC 2010»

A Logic of Privacy

13 years 9 months ago

A Logic of Privacy

Download www.di.unito.it

Abstract. We consider the problem of developing an abstract metamodel of access control in terms of which policies for protecting a principal's private information may be spec...

Steve Barker, Valerio Genovese

claim paper

Read More »

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