127 search results - page 19 / 26 » Contract-Based Approach to Analyze Software Components |
122
click to vote
CCGRID
2007
IEEE
15 years 8 months ago
2007
IEEE
The number of processors embedded on high performance computing platforms is continuously increasing to accommodate user desire to solve larger and more complex problems. However,...
124
click to vote
ICSEA
2006
IEEE
15 years 7 months ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
147
Voted
APSEC
1998
IEEE
15 years 6 months ago
1998
IEEE
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...
137
Voted
JUCS
2000
15 years 1 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
180
click to vote
BDIM
2008
IEEE
15 years 8 months ago
2008
IEEE
—Knowing the dependencies among computing assets and services provides insights into the computing and business landscape, therefore, facilitating low-risk timely changes in supp...