Sciweavers

5255 search results - page 121 / 1051
» Formal Methods for Privacy
Sort
View
106
Voted
MEMOCODE
2008
IEEE
15 years 9 months ago
H.264 Decoder: A Case Study in Multiple Design Points
Kermin Fleming, Chun-Chieh Lin, Nirav Dave, Arvind...
117
Voted
SAS
1999
Springer
107views Formal Methods» more  SAS 1999»
15 years 6 months ago
Abstract Interpretation of Mobile Ambients
René Rydhof Hansen, Jacob Grydholt Jensen, ...
AFP
1998
Springer
15 years 6 months ago
Generic Programming: An Introduction
Roland Carl Backhouse, Patrik Jansson, Johan Jeuri...
FTRTFT
1998
Springer
15 years 6 months ago
KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)
Marius Bozga, Conrado Daws, Oded Maler, Alfredo Ol...
SAS
1994
Springer
15 years 6 months ago
Estimating the Computational Cost of Logic Programs
Saumya K. Debray, Pedro López-García...