1008 search results - page 38 / 202 » Multiobjective process controllability analysis |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The success of probabilistic model checking for discrete-time Markov decision processes and continuous-time Markov chains has led to rich academic and industrial applications. The ...
BIRTHDAY
2006
Springer
14 years 1 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
HCI
2007
13 years 11 months ago
2007
This paper reports on five different models of command and control. Four different models are reviewed: a process model, a contextual control model, a decision ladder model and a ...
DEDS
2010
13 years 7 months ago
2010
We consider Discrete Event Systems (DES) involving tasks with real-time constraints and seek to control processing times so as to minimize a cost function subject to each task mee...
ICSEA
2008
IEEE
14 years 4 months ago
2008
IEEE
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...