1341 search results - page 93 / 269 » Unified Modeling of Complex Real-Time Control Systems |
VMCAI
2010
Springer
14 years 5 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
EUROMICRO
2004
IEEE
14 years 2 days ago
2004
IEEE
The new generation of television viewers is currently being confronted and becoming acquainted with a series of technological developments in the realm of consumer electronics and...
CDC
2009
IEEE
13 years 6 months ago
2009
IEEE
Abstract-- A kind of complex dynamical networks with timevarying coupling delays is proposed. By some transformation, the synchronization problem of the complex networks is transfe...
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
AAAI
1996
13 years 9 months ago
1996
An important problem faced by auditors is gauging how much reliance can be placed on the accounting systems that process millions of transactions to produce the numbers summarized...