Search Sciweavers | Sciweavers

5255 search results - page 121 / 1051

» Formal Methods for Privacy

145

click to vote

MEMOCODE
2008
IEEE

107views Formal Methods» more MEMOCODE 2008»

H.264 Decoder: A Case Study in Multiple Design Points

16 years 21 days ago

Download people.csail.mit.edu

Kermin Fleming, Chun-Chieh Lin, Nirav Dave, Arvind...

claim paper

Read More »

154

click to vote

SAS
1999
Springer

107views Formal Methods» more SAS 1999»

Abstract Interpretation of Mobile Ambients

15 years 10 months ago

Download www-i2.informatik.rwth-aachen.de

René Rydhof Hansen, Jacob Grydholt Jensen, ...

claim paper

Read More »

115

click to vote

AFP
1998
Springer

98views Formal Methods» more AFP 1998»

Generic Programming: An Introduction

15 years 10 months ago

Download www.itee.uq.edu.au

Roland Carl Backhouse, Patrik Jansson, Johan Jeuri...

claim paper

Read More »

175

click to vote

FTRTFT
1998
Springer

123views Formal Methods» more FTRTFT 1998»

KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)

15 years 10 months ago

Download www-verimag.imag.fr

Marius Bozga, Conrado Daws, Oded Maler, Alfredo Ol...

claim paper

Read More »

145

click to vote

SAS
1994
Springer

77views Formal Methods» more SAS 1994»

Estimating the Computational Cost of Logic Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers