Search Sciweavers | Sciweavers

5255 search results - page 118 / 1051

» Formal Methods for Privacy

150

click to vote

FSKD
2008
Springer

136views Fuzzy Logic» more FSKD 2008»

k-Anonymity via Clustering Domain Knowledge for Privacy Preservation

15 years 7 months ago

Download teacher.scu.edu.cn

Preservation of privacy in micro-data release is a challenging task in data mining. The k-anonymity method has attracted much attention of researchers. Quasiidentifier is a key co...

Taiyong Li, Changjie Tang, Jiang Wu, Qian Luo, She...

claim paper

Read More »

134

click to vote

FM
2009
Springer

115views Formal Methods» more FM 2009»

Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study

16 years 26 days ago

Download symbolaris.com

André Platzer, Edmund M. Clarke

claim paper

Read More »

135

click to vote

FMICS
2007
Springer

111views Formal Methods» more FMICS 2007»

Automatic Interoperability Test Case Generation Based on Formal Definitions

16 years 14 days ago

Download www.irisa.fr

Alexandra Desmoulin, César Viho

claim paper

Read More »

128

click to vote

IFM
2007
Springer

98views Formal Methods» more IFM 2007»

Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System

16 years 13 days ago

Download www.jaist.ac.jp

Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

claim paper

Read More »

159

click to vote

SFM
2007
Springer

134views Formal Methods» more SFM 2007»

From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms

16 years 12 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers