Sciweavers

2811 search results - page 128 / 563
» Real-Time Component-Based Systems
Sort
View
UIST
1992
ACM
14 years 2 months ago
Transparency and Awareness in a Real-Time Groupware System
Michel Beaudouin-Lafon, Alain Karsenty
FSEN
2009
Springer
14 years 1 months ago
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane