4799 search results - page 179 / 960 » Model Based Requirements Engineering for Embedded Software |
122
click to vote
ICMCS
1999
IEEE
15 years 7 months ago
1999
IEEE
The aim of this demonstration is to present the ongoing performance of our R. and D. watermarking scheme software. The proposed illustrations cover a large panel of original image...
108
click to vote
COMPSAC
2008
IEEE
15 years 9 months ago
2008
IEEE
Commercial-off-the-shelf components (COTS) are widely reused at present and black-box composition is the unique way to integrate them into the target system. However, various mism...
124
Voted
COMPSAC
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper, we first show that the logistic testing-effort function is practically acceptable/helpful for modeling software reliability growth and providing a reasonable descri...
112
click to vote
LCTRTS
2004
Springer
15 years 8 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
149
click to vote
EUROMICRO
2006
IEEE
15 years 6 months ago
2006
IEEE
Dynamic reconfiguration allows modifying a system during its execution, and can be used to apply patches and updates, to implement adaptive systems, dynamic instrumentation, or to...