1105 search results - page 105 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
127
Voted
ECBS
2009
IEEE
15 years 10 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...
150
Voted
SPLC
2010
15 years 5 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...
132
Voted
IPPS
2006
IEEE
15 years 9 months 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...
127
Voted
RTAS
2005
IEEE
15 years 9 months ago
2005
IEEE
145
Voted
CORR
2010
Springer
15 years 3 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...