1105 search results - page 105 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
165
click to vote
ECBS
2009
IEEE
16 years 1 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
183
click to vote
SPLC
2010
15 years 7 months ago
2010
Groupware are computer-based systems designed to support groups of people working together providing a shared environment. Given that developing this kind of application is not a t...
165
click to vote
IPPS
2006
IEEE
16 years 8 days ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
163
Voted
RTAS
2005
IEEE
15 years 11 months ago
2005
IEEE
174
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applic...