4890 search results - page 341 / 978 » From system specifications to component behavioral models |
186
click to vote
ECAI
1998
Springer
15 years 11 months ago
1998
Springer
Abstract: Lazy computation is not new in model-based diagnosis of active systems (and of discreteevent systems in general). Up to a decade ago, diagnosis methods for discrete-event...
206
click to vote
ICAC
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we construct an evaluation framework for a self-healing system, VM-Rejuv – a virtual machine based rejuvenation scheme for web-application servers – using simple...
197
click to vote
VALUETOOLS
2006
ACM
16 years 25 days ago
2006
ACM
Run-time management of modern Web-based services requires the integration of several algorithms and mechanisms for job dispatching, load sharing, admission control, overload detec...
178
click to vote
COGSCI
2008
15 years 6 months ago
2008
This article investigates the potential of fMRI to test assumptions about different components in models of complex cognitive tasks. If the components of a model can be associated...
174
click to vote
PIMRC
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper tackles the problem of fast varying channel estimation in LTE systems. Particular attention is given to downlink transmission where OFDMA is used as the multiple access ...