19 search results - page 1 / 4 » Validating Objected-Oriented Prototype of Real-Time Systems ... |
RSP
2002
IEEE
13 years 10 months ago
2002
IEEE
HASE
1998
IEEE
13 years 9 months ago
1998
IEEE
: A middleware architecture named ROAFTS (Real-time Object-oriented Adaptive Fault Tolerance Support) is presented. ROAFTS is designed to support adaptive fault-tolerant execution ...
COMPSAC
1998
IEEE
13 years 9 months ago
1998
IEEE
Middleware implementation of various critical services required by large-scale and complex real-time applications on top of COTS operating system is currently an approach of growi...
ISORC
2000
IEEE
13 years 9 months ago
2000
IEEE
This paper describes experiences in using an O.O. language (Java) in designing, prototyping and evaluating a CPU manager. QoS Animator facilitates the execution of object oriented...
FASE
2004
Springer
13 years 9 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...