11172 search results - page 1988 / 2235 » Testing Physical Systems |
121
click to vote
ACSD
2003
IEEE
15 years 10 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
150
click to vote
CLUSTER
2003
IEEE
15 years 10 months ago
2003
IEEE
Mobility is a fundamental functionality of the next generation internet computing. How to support mobility for legacy codes, however, is still an issue of research. The key to sol...
138
click to vote
CODES
2003
IEEE
15 years 10 months ago
2003
IEEE
The analysis of the amount of human resources required to complete a project is felt as a critical issue in any company of the electronics industry. In particular, early estimatin...
129
click to vote
DSN
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract: We present a new approach that uses compilerdirected fault-injection for coverage testing of recovery code in Internet services to evaluate their robustness to operating ...
137
click to vote
EUROMICRO
2003
IEEE
15 years 10 months ago
2003
IEEE
The idea of component based software systems has a long tradition in the field of software engineering. Component markets have been an integral part of this idea. However, such ma...