592 search results - page 86 / 119 » Refining Goal Models by Evaluating System Behaviour |
105
click to vote
TCBB
2010
14 years 10 months ago
2010
—The literature on protein function prediction is currently dominated by works aimed at maximizing predictive accuracy, ignoring the important issues of validation and interpreta...
BPM
2005
Springer
15 years 5 months ago
2005
Springer
This article describes the method of Mobile Process Landscaping by example of a project in which the service processes of a company from the housing industry were analyzed regardin...
100
click to vote
GECCO
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we present the application of an evolution strategy to the problem of detecting multi-planet transit events in photometric time-data series. Planetary transits occur...
EMSOFT
2009
Springer
15 years 6 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
MONTEREY
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...