12333 search results - page 439 / 2467 » System Level Modelling for Hardware Software Systems |
177
click to vote
EJIS
2007
15 years 6 months ago
2007
Model-Driven Architecture (MDA) supports the transformation from reusable models to executable software. Business representations, however, cannot be fully and explicitly represen...
155
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
In battery-powered embedded systems, dedicated circuitry is used to convert stored energy into a form that can be directly used by processors. These power regulation devices seek ...
128
click to vote
ISCC
2006
IEEE
16 years 26 days ago
2006
IEEE
— In this paper, we propose an adaptive capacity allocation scheme at the call level for a blocked call cleared loss system. The scheme aims to maintain the connection blocking p...
201
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
201
click to vote
WICSA
2004
15 years 8 months ago
2004
A software reconfiguration pattern is a solution to a problem in component-based software systems where the configuration needs to be updated while the system is operational. It d...