80 search results - page 12 / 16 » Hierarchical Hybrid Control: A Case Study |
TKDE
1998
13 years 7 months ago
1998
—There is an ever-increasing demand for more complex transactions and higher throughputs in transaction processing systems leading to higher degrees of transaction concurrency an...
MOVEP
2000
13 years 11 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
RTSS
1999
IEEE
13 years 12 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
WSC
2000
13 years 9 months ago
2000
The proposed implementation is a monitor system able to train operators for on-line real time manufacturing control in order to analyze the performance of a production process. Th...
ISVC
2010
Springer
13 years 6 months ago
2010
Springer
We present Subversion Statistics Sifter, a visualisation and statistics system for exploring the structure and evolution of data contained in Subversion repositories with respect t...