2969 search results - page 424 / 594 » The Case for User-Centered CASE Tools |
169
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we describe a decompositional approach to convergence proofs for stochastic hybrid systems given as probabilistic hybrid automata. We focus on a concept called “st...
157
click to vote
ECTEL
2009
Springer
16 years 1 months ago
2009
Springer
Reusable adaptation specifications for adaptive behaviour has come to the forefront of adaptive research recently, with EU projects such as GRAPPLE1, and PhD research efforts on de...
167
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
We present a probabilistic formulation of UCS (a sUpervised Classifier System). UCS is shown to be a special case of mixture of experts where the experts are learned independentl...
169
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
We present the living application, a method to autonomously manage applications on the grid. During its execution on the grid, the living application makes choices on the resources...
213
click to vote
ICMT
2009
Springer
16 years 1 months ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...