3555 search results - page 254 / 711 » Security-Critical System Development with Extended Use Cases |
155
click to vote
DAIS
2009
15 years 7 months ago
2009
Large-scale industrial systems involve nowadays hundreds of developers working on hundreds of models representing parts of the whole system specification. Unfortunately, few tool s...
159
click to vote
AGP
2003
IEEE
15 years 11 months ago
2003
IEEE
In ordered logic programs, i.e. partially ordered sets of clauses where smaller rules carry more preference, inconsistencies, which appear as conflicts between applicable rules, a...
202
click to vote
DSD
2008
IEEE
15 years 7 months ago
2008
IEEE
Due to modern technology trends such as decreasing feature sizes and lower voltage levels, fault tolerance is becoming increasingly important in computing systems. Shared memory i...
183
click to vote
AUTOMATICA
2010
15 years 6 months ago
2010
This paper describes a new kernel-based approach for linear system identification of stable systems. We model the impulse response as the realization of a Gaussian process whose s...
175
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Takens' Embedding Theorem remarkably established that concatenating M previous outputs of a dynamical system into a vector (called a delay coordinate map) can be a one-to-one...