Search Sciweavers | Sciweavers

5255 search results - page 120 / 1051

» Formal Methods for Privacy

195

click to vote

CIKM
2010
Springer

144views Information Technology» more CIKM 2010»

Preserving location and absence privacy in geo-social networks

15 years 4 months ago

Download homes.dsi.unimi.it

Online social networks often involve very large numbers of users who share very large volumes of content. This content is increasingly being tagged with geo-spatial and temporal c...

Dario Freni, Carmen Ruiz Vicente, Sergio Mascetti,...

claim paper

Read More »

149

click to vote

FMICS
2009
Springer

104views Formal Methods» more FMICS 2009»

Preemption Abstraction

16 years 26 days ago

Download www.cs.ru.nl

Erik Schierboom, Alejandro Tamalet, Hendrik Tews, ...

claim paper

Read More »

125

click to vote

FMICS
2009
Springer

121views Formal Methods» more FMICS 2009»

Model-Based Testing of Electronic Passports

16 years 26 days ago

Download www.cs.ru.nl

Wojciech Mostowski, Erik Poll, Julien Schmaltz, Ja...

claim paper

Read More »

128

click to vote

IFM
2009
Springer

95views Formal Methods» more IFM 2009»

Partial Order Reduction for State/Event LTL

16 years 26 days ago

Download www.memics.cz

Nikola Benes, Lubos Brim, Ivana Cerná, Jiri...

claim paper

Read More »

126

click to vote

SBMF
2009
Springer

93views Formal Methods» more SBMF 2009»

Towards Safe Design of Synchronous Bus Protocols in Event-B

16 years 25 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers