586 search results - page 19 / 118 » Network invariants for real-time systems |
FM
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
CBMS
1995
IEEE
13 years 11 months ago
1995
IEEE
We present the design and implementation of a digital image capture and distribution system that supports remote ultrasound ezaminations and, in particular, real-time diagnosis fo...
CGVR
2006
13 years 9 months ago
2006
Supporting awareness of other cooperators is an idea that holds promise for improving the usability of real-time distributed collaborative graphics design systems. However, networ...
ICDCS
1998
IEEE
14 years 5 days ago
1998
IEEE
Novel real-time applications require highperformance real-time distributed systems, and therefore high-performance real-time networks. We examine a Hard Real-Time Distributed Mult...
FORTEST
2008
13 years 9 months ago
2008
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...