2847 search results - page 441 / 570 » Dynamic Distribution of Java Applications |
97
Voted
KI
2008
Springer
15 years 2 months ago
2008
Springer
: This paper presents an evolutionary algorithm applicable to the task of device adjustment in smart appliances ensembles. The algorithm requires very little environmental knowledg...
137
click to vote
SIGMETRICS
2008
ACM
15 years 2 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
129
click to vote
ADT
2005
15 years 2 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
114
click to vote
MAGS
2007
15 years 2 months ago
2007
Abstract. The availability of massive amounts of biological data, distributed in various data sources, has prompted the development of a wide range of data analysis tools. However,...
139
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
This paper proposes a nonparametric Bayesian method for exploratory data analysis and feature construction in continuous time series. Our method focuses on understanding shared fe...