3218 search results - page 61 / 644 » Timed Extensions for SDL |
ICTAC
2004
Springer
14 years 3 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
ASYNC
1999
IEEE
14 years 2 months ago
1999
IEEE
We describe an extension of the virtual volume concept to multiple sensors. Data from multiple sensors are combined in real-time and mapped into a constantly updating three-dimens...
RTCSA
1999
IEEE
14 years 2 months ago
1999
IEEE
Abstract. We present an approach to static priority preemptive process scheduling for the synthesis of hard realtime distributed embedded systems where communication plays an impor...
CHARME
2001
Springer
14 years 1 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
HCI
2007
13 years 11 months ago
2007
This paper presents an extension to the ePresence Interactive Media webcasting infrastructure to support real-time voice and video conferencing for a few attendees while concurrent...