5159 search results - page 455 / 1032 » Structural Testing of Executables |
223
click to vote
ENTCS
2007
15 years 7 months ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
209
click to vote
PERVASIVE
2007
Springer
15 years 7 months ago
2007
Springer
Inexpensive portable storage devices that are available in the market today have made it easier for users to carry data and programs with them and borrow computing platforms when ...
159
click to vote
TRIDENTCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
As experimentation becomes one of the de-facto approaches for benchmarking, researchers are turning to testbeds to test, review and verify their work. As a result, several research...
202
click to vote
EUSFLAT
2009
15 years 5 months ago
2009
The approach of continuous evaluation is an important tool in the learning process. However, only recently it was applied in training based on virtual reality. This paper presents ...
222
click to vote
TSE
2010
15 years 2 months ago
2010
The increasing reliance put on networked computer systems demands higher levels of dependability. This is even more relevant as new threats and forms of attack are constantly being...