1105 search results - page 78 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
WSC
2007
13 years 11 months ago
2007
Suppose that there are a number of alternative ways of operating a system, and a performance measure is available for comparing them. Simulation runs can be carried out to estimat...
EMSOFT
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
RTCSA
2008
IEEE
14 years 3 months ago
2008
IEEE
Nowadays, systems often integrate a variety of applications whose service requirements are heterogeneous. Consequently, systems must be able to concurrently serve applications whi...
FMSD
2006
13 years 8 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
ISMS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Surgical simulations with the aid of computers is a topic of increasingly extensive research. Realtime response and interactivity are crucial components of any such syste...