14360 search results - page 303 / 2872 » Time Modeling in MARTE |
141
Voted
CSCW
2011
ACM
14 years 7 months ago
2011
ACM
The presence of network latency leads to usability problems in distributed groupware applications. Example problems include difficulty synchronizing tightly-coupled collaboration...
217
click to vote
DASFAA
2011
IEEE
14 years 4 months ago
2011
IEEE
In this demo, we present the StreamFitter system for real-time regression analysis on continuous data streams. In order to perform regression on data streams, it is necessary to co...
115
click to vote
RTS
2006
15 years 17 days ago
2006
Estimating the Worst Case Execution Time (WCET) of a program on a given processor is important for the schedulability analysis of real-time systems. WCET analysis techniques typic...
112
click to vote
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
89
Voted
IJFCS
2006
15 years 19 days ago
2006
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...