10908 search results - page 431 / 2182 » Requirements Engineering Tasks |
152
click to vote
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Model driven development (MDD) tackles software complexity through the use of models. However, managing relationships and specifying transformations models at various levels of ab...
212
click to vote
CLEF
2009
Springer
15 years 2 months ago
2009
Springer
MedGIFT is a medical imaging research group of the Geneva University Hospitals and the University of Geneva, Switzerland. Since 2004, the medGIFT group has participated in the Ima...
150
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
137
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
143
click to vote
KDD
2004
ACM
16 years 4 months ago
2004
ACM
Pattern ordering is an important task in data mining because the number of patterns extracted by standard data mining algorithms often exceeds our capacity to manually analyze the...