3199 search results - page 266 / 640 » Variability in Automation System Models |
182
click to vote
SIGADA
2004
Springer
15 years 12 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
110
click to vote
ADCM
2002
15 years 6 months ago
2002
We classify the homogeneous polynomials in three variables whose toric polar linear system defines a Cremona transformation. This classification includes, as a proper subset, the c...
162
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
A dimension reduction method called Discrete Empirical Interpolation (DEIM) is proposed and shown to dramatically reduce the computational complexity of the popular Proper Orthogo...
160
click to vote
JCS
2011
15 years 1 months ago
2011
In this paper we consider the problem of verifying trace-based information flow properties for different classes of system models. We begin by proposing an automata-theoretic te...
184
click to vote
WSC
2008
15 years 9 months ago
2008
Currently, system engineering problems are solved using a wide range of domain-specific models and corresponding languages. It is unlikely that a single unified modeling language ...