Sciweavers

2687 search results - page 50 / 538

» Formal Analysis of PKCS

28

KI
1998
Springer

86views Artificial Intelligence» more KI 1998»

Distributive Concept Exploration - A Knowledge Acquisition Tool in Formal Concept Analysis

14 years 3 months ago

Distributive Concept Exploration - A Knowledge Acquisition Tool in Formal Concept Analysis

Download www.kde.cs.uni-kassel.de

Gerd Stumme

claim paper

Read More »

31

PKDD
1998
Springer

126views Data Mining» more PKDD 1998»

Conceptual Knowledge Discovery in Databases Using Formal Concept Analysis Methods

14 years 3 months ago

Conceptual Knowledge Discovery in Databases Using Formal Concept Analysis Methods

Download www.kde.cs.uni-kassel.de

Gerd Stumme, Rudolf Wille, Uta Wille

claim paper

Read More »

31

COMPSAC
2001
IEEE

98views Software Engineering» more COMPSAC 2001»

Formal and Use-Case Driven Requirement Analysis in UML

14 years 2 months ago

Formal and Use-Case Driven Requirement Analysis in UML

Download www.iist.unu.edu

Xiaoshan Li, Zhiming Liu, Jifeng He

claim paper

Read More »

30

FPCA
1995

132views Programming Languages» more FPCA 1995»

Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation

14 years 2 months ago

Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

23

ASPDAC
2005
ACM

115views Hardware» more ASPDAC 2005»

Automatic assume guarantee analysis for assertion-based formal verification

14 years 29 days ago

Automatic assume guarantee analysis for assertion-based formal verification

Download www-2.cs.cmu.edu

Dong Wang, Jeremy R. Levitt

claim paper

Read More »

« Prev « First page 50 / 538 Last » Next »