2878 search results - page 181 / 576 » Analyzing the Uses of a Software Modeling Tool |
177
click to vote
EUROMICRO
2004
IEEE
15 years 9 months ago
2004
IEEE
There is a need for mechanisms for maintaining and restoring software integrity on deployed systems. Dynamic replacement, removal and addition of components in deployed systems is...
222
click to vote
DANCE
2002
IEEE
15 years 10 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
138
click to vote
ISSS
1995
IEEE
15 years 9 months ago
1995
IEEE
This paper describes the application of a measurement based power analysis technique for an embedded DSP processor. An instruction-level power model for the processor has been dev...
156
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: The occurrence of a genetic bottleneck in HIV sexual or mother-to-infant transmission has been well documented. This results in a majority of new infections being homo...
174
click to vote
CSEE
2006
Springer
15 years 9 months ago
2006
Springer
This paper shows how Theory-W and the WinWin requirements negotiation approach are used in software engineering education at several universities in the US, Europe, and Asia. We b...