3425 search results - page 567 / 685 » A Model Driven Approach for Software Systems Reliability |
150
Voted
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
150
Voted
CODASPY
2012
13 years 11 months ago
2012
Main stream operating system kernels lack a strong and reliable mechanism for identifying the running processes and binding them to the corresponding executable applications. In t...
123
click to vote
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Lean buffering is the smallest buffer capacity, which is necessary and sufficient to ensure the desired production rate of a manufacturing system. Literature offers methods for des...
136
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
An innovative technique to model and simulate partial and dynamic reconfigurable processors is presented in this paper. The basis for development is a SystemC kernel modified for ...
121
Voted
COORDINATION
2010
Springer
15 years 6 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...