5639 search results - page 107 / 1128 » Timed Abstract Non-interference |
119
Voted
ISOLA
2010
Springer
15 years 4 days ago
2010
Springer
Abstract. Interface-based design relies on the idea that different components of a system may be developed independently and a system designer can connect them together only if th...
JUCS
2010
15 years 3 days ago
2010
Abstract: This paper presents a nonlinear solver based on the Newton-Krylov methods, where the Newton equations are solved by Krylov-subspace type approaches. We focus on the solut...
127
click to vote
SPIN
2010
Springer
15 years 2 days ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
126
click to vote
VIS
2007
IEEE
16 years 2 months ago
2007
IEEE
Abstract-- We describe a system for interactively rendering isosurfaces of tetrahedral finite-element scalar fields using coherent ray tracing techniques on the CPU. By employing s...
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—This paper proposes a low-complexity twodimensional channel estimator for MIMO-OFDM systems derived from a time-frequency variant channel estimator previously proposed. ...