Sciweavers

5255 search results - page 120 / 1051
» Formal Methods for Privacy
Sort
View
161
Voted
CIKM
2010
Springer
15 years 2 months ago
Preserving location and absence privacy in geo-social networks
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,...
FMICS
2009
Springer
15 years 10 months ago
Preemption Abstraction
Erik Schierboom, Alejandro Tamalet, Hendrik Tews, ...
97
Voted
FMICS
2009
Springer
15 years 10 months ago
Model-Based Testing of Electronic Passports
Wojciech Mostowski, Erik Poll, Julien Schmaltz, Ja...
103
Voted
IFM
2009
Springer
15 years 10 months ago
Partial Order Reduction for State/Event LTL
Nikola Benes, Lubos Brim, Ivana Cerná, Jiri...
SBMF
2009
Springer
15 years 10 months ago
Towards Safe Design of Synchronous Bus Protocols in Event-B
Ricardo Bedin França, Leandro Buss Becker, ...