419 search results - page 39 / 84 » A Control-Theoretic Approach to Flow Control |
135
click to vote
FMCO
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
106
click to vote
SERP
2008
15 years 3 months ago
2008
Model-driven development (MDD) is an emerging paradigm and has become state-of-the-art for embedded systems software design. In the overall design process, several steps have to be...
138
click to vote
SIAMSC
2010
15 years 10 days ago
2010
In this article we consider the a posteriori error estimation and adaptive mesh refinement of discontinuous Galerkin finite element approximations of the hydrodynamic stability p...
106
click to vote
CASSIS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
128
click to vote
CCR
2006
15 years 2 months ago
2006
The correct admission of flows in the Differentiated Services (DiffServ) environment is critical to provide stable and predictable quality of service (QoS) to the end user. Withou...