3381 search results - page 54 / 677 » Using VCL as an Aspect-Oriented Approach to Requirements Mod... |
148
click to vote
DESRIST
2009
Springer
15 years 2 months ago
2009
Springer
Design science research involves creating and evaluating innovative methods and approaches to be used in design practice. We present an approach to be used in the process of desig...
120
click to vote
WSC
2004
15 years 6 months ago
2004
When major transportation infrastructures such as freight corridors or port systems are being planned, there are typically multiple phases of preliminary engineering required. Dur...
133
click to vote
BIOSYSTEMS
2007
15 years 4 months ago
2007
This paper proposes and evaluates a multi-objective evolutionary algorithm for survival analysis. One aim of survival analysis is the extraction of models from data that approxima...
165
click to vote
MKWI
2008
15 years 6 months ago
2008
Abstract: In order to fulfil sets of similar user requirements within a specific application domain, one typically uses software product line engineering. In this paper, we investi...
183
click to vote
NFM
2011
14 years 11 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...