226 search results - page 26 / 46 » Model-Based Control |
IOR
2008
13 years 9 months ago
2008
The stochastic knapsack has been used as a model in wide ranging applications from dynamic resource allocation to admission control in telecommunication. In recent years, a variat...
CCE
2005
13 years 9 months ago
2005
High purity distillation columns are critical unit operations in cryogenic air separation plants. The development of nonlinear control technology is motivated by the need to frequ...
DBSEC
2010
13 years 6 months ago
2010
Abstract. This paper describes how to preserve integrity and confidentiality of a directed acyclic graph (DAG) model of provenance database. We show a method to preserve integrity ...
TAP
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
RTSS
1996
IEEE
14 years 2 months ago
1996
IEEE
In this paper we address the problem of middleware design for constructing ATM LAN based distributed industrial plant monitoring and control systems. In particular, we present a re...