14360 search results - page 199 / 2872 » Time Modeling in MARTE |
DSN
2005
IEEE
14 years 3 months ago
2005
IEEE
Designing a distributed fault tolerance algorithm requires careful analysis of both fault models and diagnosis strategies. A system will fail if there are too many active faults, ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We study a variant of the well known Maxwell model for viscoelastic fluids, namely we consider the Maxwell fluid with viscosity and relaxation time depending on the pressure. Such...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— In this paper we present a structure theory for generalized linear dynamic factor models (GDFM’s). Emphasis is laid on the so-called zeroless case. GDFM’s provide a way of ...
WSDM
2009
ACM
14 years 5 months ago
2009
ACM
Temporal expressions, such as between 1992 and 2000, are frequent across many kinds of documents. Text retrieval, though, treats them as common terms, thus ignoring their inherent...
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...