1091 search results - page 53 / 219 » The State of Cognitive Systems Engineering |
AUTOMATICA
2006
13 years 7 months ago
2006
This paper is concerned with the optimal control of linear discrete-time systems, which are subject to unknown but bounded state disturbances and mixed constraints on the state an...
CSREAEEE
2006
13 years 9 months ago
2006
The business world has been reinventing the human. Employee participative transition projects for management strategies are becoming more important in IT organizations day by day....
TACS
2001
Springer
14 years 3 days ago
2001
Springer
Lossy channel systems are systems of finite state automata that communicate via unreliable unbounded fifo channels. Today the main open question in the theory of lossy channel sy...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
: The asynchronous systems are the models of the asynchronous circuits from the digital electrical engineering. An asynchronous system f is a multi-valued function that assigns to ...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...