123 search results - page 16 / 25 » Static Specification Mining Using Automata-Based Abstraction... |
103
Voted
PARMA
2004
15 years 1 months ago
2004
Abstract. We are designing new data mining techniques on gene expression data, more precisely inductive querying techniques that extract a priori interesting bi-sets, i.e., sets of...
118
Voted
CICLING
2009
Springer
16 years 6 days ago
2009
Springer
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
78
Voted
ECEASST
2008
14 years 11 months ago
2008
Abstract: In several rule-based applications using graph transformation as underlying modeling technique the following questions arise: How can one be sure that a specific sequence...
104
click to vote
KDD
2006
ACM
16 years 20 hour ago
2006
ACM
Motivation: In the field of bioinformatics there is an emerging need to integrate all knowledge discovery steps into a standardized modular framework. Indeed, component-based deve...
91
Voted
KBSE
1998
IEEE
15 years 3 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...