1665 search results - page 33 / 333 » Monitoring Timing Constraints in Distributed Real-Time Syste... |
ECOOP
1995
Springer
15 years 1 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
RTCSA
2005
IEEE
15 years 3 months ago
2005
IEEE
Designing and constructing Real-Time Distributed Industrial Vision Systems (RT-DIVS) from scratch is very complicated task. RT-DIVS has Conflicting requirements such as reasonable...
WORDS
2005
IEEE
15 years 3 months ago
2005
IEEE
The latest version of Real-Time CORBA defines a Distributable Thread primitive to support real-time computing in a dynamic distributed environment. However, this standard does not...
IICS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
CONCUR
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...