Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

24

KDD
2009
ACM

favoriteEmaildiscussreport

161views Data Mining» more KDD 2009»

On formal models for social verification

14 years 5 months ago

On formal models for social verification

Download mmnet.iis.sinica.edu.tw

Chien-Ju Ho, Kuan-Ta Chen

Real-time Traffic

Data Mining | KDD 2009 |

claim paper

Related Content

» Discovering Concrete Attacks on Website Authorization by Formal Analysis

» Social Commitments in Time Satisfied or Compensated

» Organizing without formal organization group identification goal setting and social modeli...

» Do You Trust Your Model Checker

» Beyond verification leveraging formal for debugging

» A Formal Model of Memory Peculiarities for the Verification of LowLevel OperatingSystem Co...

» A Formal Verification Methodology for Checking Data Integrity

» Formal Verification of FIRE A Case Study

» Formal Property Verification by Abstraction Refinement with Formal Simulation and Hybrid E...

Post Info
More Details (n/a)

Added	20 May 2010
Updated	20 May 2010
Type	Conference
Year	2009
Where	KDD
Authors	Chien-Ju Ho, Kuan-Ta Chen

Comments (0)