Sciweavers

5255 search results - page 44 / 1051

» Formal Methods for Privacy

102

ICFCA
2009
Springer

113views Formal Methods» more ICFCA 2009»

The Logic of Learning

15 years 23 days ago

The Logic of Learning

Download www.fi.muni.cz

Luc De Raedt

claim paper

Read More »

111

SBMF
2010
Springer

125views Formal Methods» more SBMF 2010»

Simulating Truly Concurrent CSP

14 years 9 months ago

Simulating Truly Concurrent CSP

Download www.iist.unu.edu

Moritz Kleine, J. W. Sanders

claim paper

Read More »

196

FMSD
2011

236views Formal Methods» more FMSD 2011»

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

14 years 6 months 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 »

199

TOCL
2012

241views Formal Methods» more TOCL 2012»

Model Checking of Recursive Probabilistic Systems

13 years 5 months ago

Model Checking of Recursive Probabilistic Systems

Download tocl.acm.org

Kousha Etessami, Mihalis Yannakakis

claim paper

Read More »

145

DBSEC
2010

113views Database» more DBSEC 2010»

A Logic of Privacy

15 years 3 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 »