Sciweavers

9387 search results - page 54 / 1878
» An Optimal Process Model for a Real Time Process
Sort
View
ADAEUROPE
2007
Springer
15 years 5 months ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega
91
Voted
ICDE
1994
IEEE
127views Database» more  ICDE 1994»
15 years 3 months ago
Approximate Analysis of Real-Time Database Systems
During the past few years, several studies have been made on the performance of real-time database systems with respect to the number of transactions that miss their deadlines. Th...
Jayant R. Haritsa
CDC
2008
IEEE
129views Control Systems» more  CDC 2008»
15 years 1 months ago
Optimal control of a fedbatch fermentation process: Numerical methods, sufficient conditions and sensitivity analysis
Bang-bang and singular optimal controls in a fedbatch fermentation process are computed for a range of time horizons. Numerical algorithms for determining the optimal control struc...
Adam Korytowski, Maciej Szymkat, Helmut Maurer, Ge...
MOR
2008
98views more  MOR 2008»
14 years 11 months ago
An Analysis of Monotone Follower Problems for Diffusion Processes
We consider a singular stochastic control problem, which is called the Monotone Follower Stochastic Control Problem and give sufficient conditions for the existence and uniqueness...
Erhan Bayraktar, Masahiko Egami
ICIAR
2004
Springer
15 years 5 months ago
Real Time Multiple Object Tracking Based on Active Contours
Abstract. In this paper our purpose is to present some solutions to multiple object tracking in an image sequence with a real time constraint and a possible mobile camera. We propo...
Sébastien Lefèvre, Nicole Vincent