244 search results - page 9 / 49 » A Model of Components with Non-regular Protocols |
WIOPT
2005
IEEE
15 years 5 months ago
2005
IEEE
The log-normal shadowing radio model has frequently been used to model radio propagation conditions. There exist accurate calculation methods for estimation of interference power ...
90
Voted
EUROMICRO
2007
IEEE
15 years 6 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
88
Voted
ISSS
1998
IEEE
15 years 3 months ago
1998
IEEE
This paper presents a codesign approach which incorporates communication protocol selection as a design parameter within hardware/software partitioning. The presented approach tak...
104
Voted
FSEN
2009
Springer
15 years 3 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
100
click to vote
CBSE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Predicting the performance of component-based applications is difficult due to the complexity of the underlying component technology. This problem is exacerbated when a m...