4270 search results - page 56 / 854 » A Permutation Approach to Validation |
221
click to vote
TSE
2012
13 years 6 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
130
click to vote
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
Device drivers typically execute in supervisor mode and thus must be fully trusted. This paper describes how to move them out of the trusted computing base, by running them withou...
160
click to vote
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
145
click to vote
MICCAI
2008
Springer
16 years 5 months ago
2008
Springer
We propose a new approach for validating deformable image registration algorithms. Since difference images do not necessarily reflect the 3D correspondence of organs, we propose to...
162
click to vote
ASWEC
2006
IEEE
15 years 10 months ago
2006
IEEE
Web services are designed for composition and use by third parties through dynamic discovery. As such, the issue of interoperability between services is of great importance to ens...