Sciweavers

2811 search results - page 228 / 563
» Real-Time Component-Based Systems
Sort
View
FASE
2001
Springer
15 years 7 months ago
A Real-Time Execution Semantics for UML Activity Diagrams
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...
Rik Eshuis, Roel Wieringa
ICIP
1999
IEEE
15 years 7 months ago
Real-Time Image Mosaicing from a Video Sequence
This paper describes a fast and robust image registration method that can be used to create a panoramic image/video from video sequences. To estimate alignment parameters for imag...
Masakatsu Kourogi, Takeshi Kurata, Junichi Hoshino...
IPPS
1998
IEEE
15 years 7 months ago
EDF Consensus on CAN Bus Access for Dynamic Real-Time Applications
The paper introduces a mechanism to implement distributed scheduling for CAN-bus resource in order to meet the requirements of a dynamic distributed real-time system. The key issu...
Mohammad Ali Livani, Jörg Kaiser
IWMM
1998
Springer
117views Hardware» more  IWMM 1998»
15 years 7 months ago
Guaranteeing Non-Disruptiveness and Real-Time Deadlines in an Incremental Garbage Collector
For Garbage Collection (GC) to be a generally accepted means of memory management it is required to prove its efficiency. This paper presents a scheme that guarantees that an incr...
Fridtjof Siebert
FM
1997
Springer
126views Formal Methods» more  FM 1997»
15 years 7 months ago
Reconciling Real-Time with Asynchronous Message Passing
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...
Manfred Broy, Radu Grosu, Cornel Klein