1759 search results - page 232 / 352 » Overview of Generative Software Development |
132
Voted
ICSE
2004
IEEE-ACM
16 years 25 days ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
105
click to vote
ISPASS
2008
IEEE
15 years 7 months ago
2008
IEEE
— This work addresses the problem of building representative subsets of benchmarks from an original large set of benchmarks, using statistical analysis techniques. The subsets sh...
SKG
2005
IEEE
15 years 6 months ago
2005
IEEE
The upcoming next generation of the internet, often referred to as the Semantic Web, will bring a lot of new technologies, one of which is the Web Ontology Language (OWL). One fea...
105
Voted
MIE
2008
15 years 2 months ago
2008
This paper describes the results of the KINELECTRICS project. Since more and more clinical documents are stored and transmitted in an electronic way, the aim of this project was to...
KBS
2007
15 years 18 days ago
2007
Data mining has proven a successful gateway for discovering useful knowledge and for enhancing business intelligence in a range of application fields. Incorporating this knowledg...