1376 search results - page 128 / 276 » Generating UML Models from Domain Patterns |
181
Voted
GCB
2007
Springer
15 years 9 months ago
2007
Springer
: There are several models for the evolutionary process forming a species tree. We examine the Birth-and-Death model (BDM), the Proportional-to-Distinguishable Arrangements (PDA) m...
141
click to vote
KDID
2004
15 years 4 months ago
2004
We are designing new data mining techniques on boolean contexts to identify a priori interesting bi-sets (i.e., sets of objects or transactions associated to sets of attributes or ...
123
click to vote
FM
2005
Springer
15 years 9 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
125
click to vote
CONSTRAINTS
2007
15 years 3 months ago
2007
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...
138
Voted
ICDM
2007
IEEE
15 years 7 months ago
2007
IEEE
Many databases will not or can not be disclosed without strong guarantees that no sensitive information can be extracted. To address this concern several data perturbation techniq...