1105 search results - page 121 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
157
Voted
HCW
1999
IEEE
15 years 8 months ago
1999
IEEE
A framework for task assignment in heterogeneous computing systems is presented in this work. The framework is based on a learning automata model. The proposed model can be used f...
153
Voted
CMSB
2007
Springer
15 years 9 months ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
126
click to vote
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
139
Voted
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
113
Voted
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
We are concerned with the availability of systems, defined as the ratio between time of correct functioning and uptime. We propose to model guaranteed availability in terms of regu...